morley-1.20.0: Developer tools for the Michelson Language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Morley.Michelson.ErrorPos

Documentation

newtype Pos Source #

Constructors

Pos 

Fields

Instances

Instances details
FromJSON Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

ToJSON Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Data Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos #

toConstr :: Pos -> Constr #

dataTypeOf :: Pos -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) #

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r #

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

Generic Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep Pos :: Type -> Type #

Methods

from :: Pos -> Rep Pos x #

to :: Rep Pos x -> Pos #

Show Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

showsPrec :: Int -> Pos -> ShowS #

show :: Pos -> String #

showList :: [Pos] -> ShowS #

Default Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

def :: Pos #

NFData Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: Pos -> () #

Eq Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

(==) :: Pos -> Pos -> Bool #

(/=) :: Pos -> Pos -> Bool #

Ord Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

compare :: Pos -> Pos -> Ordering #

(<) :: Pos -> Pos -> Bool #

(<=) :: Pos -> Pos -> Bool #

(>) :: Pos -> Pos -> Bool #

(>=) :: Pos -> Pos -> Bool #

max :: Pos -> Pos -> Pos #

min :: Pos -> Pos -> Pos #

type Rep Pos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

type Rep Pos = D1 ('MetaData "Pos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "Pos" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data SrcPos Source #

Constructors

SrcPos 

Fields

Instances

Instances details
FromJSON SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

ToJSON SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Data SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcPos -> c SrcPos #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcPos #

toConstr :: SrcPos -> Constr #

dataTypeOf :: SrcPos -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcPos) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcPos) #

gmapT :: (forall b. Data b => b -> b) -> SrcPos -> SrcPos #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcPos -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcPos -> r #

gmapQ :: (forall d. Data d => d -> u) -> SrcPos -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcPos -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcPos -> m SrcPos #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcPos -> m SrcPos #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcPos -> m SrcPos #

Generic SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep SrcPos :: Type -> Type #

Methods

from :: SrcPos -> Rep SrcPos x #

to :: Rep SrcPos x -> SrcPos #

Show SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Default SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

def :: SrcPos #

NFData SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: SrcPos -> () #

Eq SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

(==) :: SrcPos -> SrcPos -> Bool #

(/=) :: SrcPos -> SrcPos -> Bool #

Ord SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Buildable SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

build :: SrcPos -> Doc

buildList :: [SrcPos] -> Doc

type Rep SrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

type Rep SrcPos = D1 ('MetaData "SrcPos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'False) (C1 ('MetaCons "SrcPos" 'PrefixI 'True) (S1 ('MetaSel ('Just "srcLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: S1 ('MetaSel ('Just "srcCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos)))

newtype ErrorSrcPos Source #

Constructors

ErrorSrcPos 

Instances

Instances details
FromJSON ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

ToJSON ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Data ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrorSrcPos -> c ErrorSrcPos #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ErrorSrcPos #

toConstr :: ErrorSrcPos -> Constr #

dataTypeOf :: ErrorSrcPos -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ErrorSrcPos) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ErrorSrcPos) #

gmapT :: (forall b. Data b => b -> b) -> ErrorSrcPos -> ErrorSrcPos #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrorSrcPos -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrorSrcPos -> r #

gmapQ :: (forall d. Data d => d -> u) -> ErrorSrcPos -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrorSrcPos -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrorSrcPos -> m ErrorSrcPos #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorSrcPos -> m ErrorSrcPos #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorSrcPos -> m ErrorSrcPos #

Generic ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep ErrorSrcPos :: Type -> Type #

Show ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Default ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

def :: ErrorSrcPos #

NFData ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: ErrorSrcPos -> () #

Eq ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Ord ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Buildable ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

Methods

build :: ErrorSrcPos -> Doc

buildList :: [ErrorSrcPos] -> Doc

type Rep ErrorSrcPos Source # 
Instance details

Defined in Morley.Michelson.ErrorPos

type Rep ErrorSrcPos = D1 ('MetaData "ErrorSrcPos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "ErrorSrcPos" 'PrefixI 'True) (S1 ('MetaSel ('Just "unErrorSrcPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcPos)))