Michelson.ErrorPos

Documentation

mkPos :: Int -> Maybe Pos

unsafeMkPos :: Int -> Pos

newtype Pos

Constructors

Pos

Fields

• unPos :: Word

Instances

Eq Pos

Defined in Michelson.ErrorPos

Methods

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

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

Data Pos

Defined in 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

Ord Pos

Defined in 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

Show Pos

Defined in Michelson.ErrorPos

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Generic Pos

Defined in Michelson.ErrorPos

Associated Types

type Rep Pos :: Type -> Type

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

ToJSON Pos

Defined in Michelson.ErrorPos

Methods

toJSON :: Pos -> Value

toEncoding :: Pos -> Encoding

toJSONList :: [Pos] -> Value

toEncodingList :: [Pos] -> Encoding

FromJSON Pos

Defined in Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser Pos

parseJSONList :: Value -> Parser [Pos]

NFData Pos

Defined in Michelson.ErrorPos

Methods

rnf :: Pos -> ()

Default Pos

Defined in Michelson.ErrorPos

Methods

def :: Pos

type Rep Pos

Defined in Michelson.ErrorPos

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

data SrcPos

Constructors

SrcPos

Fields

• srcLine :: Pos
• srcCol :: Pos

Instances

Eq SrcPos

Defined in Michelson.ErrorPos

Methods

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

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

Data SrcPos

Defined in 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

Ord SrcPos

Defined in Michelson.ErrorPos

Methods

compare :: SrcPos -> SrcPos -> Ordering

(<) :: SrcPos -> SrcPos -> Bool

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

(>) :: SrcPos -> SrcPos -> Bool

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

max :: SrcPos -> SrcPos -> SrcPos

min :: SrcPos -> SrcPos -> SrcPos

Show SrcPos

Defined in Michelson.ErrorPos

Methods

showsPrec :: Int -> SrcPos -> ShowS

show :: SrcPos -> String

showList :: [SrcPos] -> ShowS

Generic SrcPos

Defined in Michelson.ErrorPos

Associated Types

type Rep SrcPos :: Type -> Type

Methods

from :: SrcPos -> Rep SrcPos x

to :: Rep SrcPos x -> SrcPos

ToJSON SrcPos

Defined in Michelson.ErrorPos

Methods

toJSON :: SrcPos -> Value

toEncoding :: SrcPos -> Encoding

toJSONList :: [SrcPos] -> Value

toEncodingList :: [SrcPos] -> Encoding

FromJSON SrcPos

Defined in Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser SrcPos

parseJSONList :: Value -> Parser [SrcPos]

NFData SrcPos

Defined in Michelson.ErrorPos

Methods

rnf :: SrcPos -> ()

Default SrcPos

Defined in Michelson.ErrorPos

Methods

def :: SrcPos

Buildable SrcPos

Defined in Michelson.ErrorPos

Methods

build :: SrcPos -> Builder

type Rep SrcPos

Defined in Michelson.ErrorPos

type Rep SrcPos = D1 ('MetaData "SrcPos" "Michelson.ErrorPos" "morley-1.12.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)))

srcPos :: Word -> Word -> SrcPos

data InstrCallStack

Constructors

InstrCallStack

Fields

• icsCallStack :: LetCallStack
• icsSrcPos :: SrcPos

Instances

Eq InstrCallStack

Defined in Michelson.ErrorPos

Methods

(==) :: InstrCallStack -> InstrCallStack -> Bool

(/=) :: InstrCallStack -> InstrCallStack -> Bool

Data InstrCallStack

Defined in Michelson.ErrorPos

Methods

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

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

toConstr :: InstrCallStack -> Constr

dataTypeOf :: InstrCallStack -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> InstrCallStack -> InstrCallStack

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

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

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

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

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

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

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

Ord InstrCallStack

Defined in Michelson.ErrorPos

Methods

compare :: InstrCallStack -> InstrCallStack -> Ordering

(<) :: InstrCallStack -> InstrCallStack -> Bool

(<=) :: InstrCallStack -> InstrCallStack -> Bool

(>) :: InstrCallStack -> InstrCallStack -> Bool

(>=) :: InstrCallStack -> InstrCallStack -> Bool

max :: InstrCallStack -> InstrCallStack -> InstrCallStack

min :: InstrCallStack -> InstrCallStack -> InstrCallStack

Show InstrCallStack

Defined in Michelson.ErrorPos

Methods

showsPrec :: Int -> InstrCallStack -> ShowS

show :: InstrCallStack -> String

showList :: [InstrCallStack] -> ShowS

Generic InstrCallStack

Defined in Michelson.ErrorPos

Associated Types

type Rep InstrCallStack :: Type -> Type

Methods

from :: InstrCallStack -> Rep InstrCallStack x

to :: Rep InstrCallStack x -> InstrCallStack

ToJSON InstrCallStack

Defined in Michelson.ErrorPos

Methods

toJSON :: InstrCallStack -> Value

toEncoding :: InstrCallStack -> Encoding

toJSONList :: [InstrCallStack] -> Value

toEncodingList :: [InstrCallStack] -> Encoding

FromJSON InstrCallStack

Defined in Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser InstrCallStack

parseJSONList :: Value -> Parser [InstrCallStack]

NFData InstrCallStack

Defined in Michelson.ErrorPos

Methods

rnf :: InstrCallStack -> ()

Default InstrCallStack

Defined in Michelson.ErrorPos

Methods

def :: InstrCallStack

type Rep InstrCallStack

Defined in Michelson.ErrorPos

type Rep InstrCallStack = D1 ('MetaData "InstrCallStack" "Michelson.ErrorPos" "morley-1.12.0-inplace" 'False) (C1 ('MetaCons "InstrCallStack" 'PrefixI 'True) (S1 ('MetaSel ('Just "icsCallStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LetCallStack) :*: S1 ('MetaSel ('Just "icsSrcPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SrcPos)))

type LetCallStack = [LetName]

newtype LetName

Constructors

LetName Text

Instances

Eq LetName

Defined in Michelson.ErrorPos

Methods

(==) :: LetName -> LetName -> Bool

(/=) :: LetName -> LetName -> Bool

Data LetName

Defined in Michelson.ErrorPos

Methods

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

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

toConstr :: LetName -> Constr

dataTypeOf :: LetName -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> LetName -> LetName

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

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

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

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

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

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

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

Ord LetName

Defined in Michelson.ErrorPos

Methods

compare :: LetName -> LetName -> Ordering

(<) :: LetName -> LetName -> Bool

(<=) :: LetName -> LetName -> Bool

(>) :: LetName -> LetName -> Bool

(>=) :: LetName -> LetName -> Bool

max :: LetName -> LetName -> LetName

min :: LetName -> LetName -> LetName

Show LetName

Defined in Michelson.ErrorPos

Methods

showsPrec :: Int -> LetName -> ShowS

show :: LetName -> String

showList :: [LetName] -> ShowS

Generic LetName

Defined in Michelson.ErrorPos

Associated Types

type Rep LetName :: Type -> Type

Methods

from :: LetName -> Rep LetName x

to :: Rep LetName x -> LetName

ToJSON LetName

Defined in Michelson.ErrorPos

Methods

toJSON :: LetName -> Value

toEncoding :: LetName -> Encoding

toJSONList :: [LetName] -> Value

toEncodingList :: [LetName] -> Encoding

FromJSON LetName

Defined in Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser LetName

parseJSONList :: Value -> Parser [LetName]

NFData LetName

Defined in Michelson.ErrorPos

Methods

rnf :: LetName -> ()

Buildable LetName

Defined in Michelson.ErrorPos

Methods

build :: LetName -> Builder

type Rep LetName

Defined in Michelson.ErrorPos

type Rep LetName = D1 ('MetaData "LetName" "Michelson.ErrorPos" "morley-1.12.0-inplace" 'True) (C1 ('MetaCons "LetName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))