Safe Haskell	None
Language	Haskell2010

Michelson.ErrorPos

Documentation

mkPos :: Int -> Pos Source #

newtype Pos Source #

Constructors

Pos Word

Instances

Instances details

Eq Pos Source #
Instance details Defined in Michelson.ErrorPos Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Data Pos Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Michelson.ErrorPos Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Generic Pos Source #
Instance details Defined in Michelson.ErrorPos Associated Types type Rep Pos :: Type -> Type # Methods from :: Pos -> Rep Pos x # to :: Rep Pos x -> Pos #
Arbitrary Pos Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen Pos # shrink :: Pos -> [Pos] #
ToJSON Pos Source #
Instance details Defined in Michelson.ErrorPos Methods toJSON :: Pos -> Value # toEncoding :: Pos -> Encoding # toJSONList :: [Pos] -> Value # toEncodingList :: [Pos] -> Encoding #
FromJSON Pos Source #
Instance details Defined in Michelson.ErrorPos Methods parseJSON :: Value -> Parser Pos # parseJSONList :: Value -> Parser [Pos] #
NFData Pos Source #
Instance details Defined in Michelson.ErrorPos Methods rnf :: Pos -> () #
Default Pos Source #
Instance details Defined in Michelson.ErrorPos Methods def :: Pos #
ToADTArbitrary Pos Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy Pos -> Gen (ADTArbitrarySingleton Pos) # toADTArbitrary :: Proxy Pos -> Gen (ADTArbitrary Pos) #
type Rep Pos Source #
Instance details Defined in Michelson.ErrorPos type Rep Pos = D1 ('MetaData "Pos" "Michelson.ErrorPos" "morley-1.7.0-inplace" 'True) (C1 ('MetaCons "Pos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data SrcPos Source #

Constructors

SrcPos Pos Pos

Instances

Instances details

Eq SrcPos Source #
Instance details Defined in Michelson.ErrorPos Methods (==) :: SrcPos -> SrcPos -> Bool # (/=) :: SrcPos -> SrcPos -> Bool #
Data SrcPos Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Michelson.ErrorPos Methods showsPrec :: Int -> SrcPos -> ShowS # show :: SrcPos -> String # showList :: [SrcPos] -> ShowS #
Generic SrcPos Source #
Instance details Defined in Michelson.ErrorPos Associated Types type Rep SrcPos :: Type -> Type # Methods from :: SrcPos -> Rep SrcPos x # to :: Rep SrcPos x -> SrcPos #
Arbitrary SrcPos Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen SrcPos # shrink :: SrcPos -> [SrcPos] #
ToJSON SrcPos Source #
Instance details Defined in Michelson.ErrorPos Methods toJSON :: SrcPos -> Value # toEncoding :: SrcPos -> Encoding # toJSONList :: [SrcPos] -> Value # toEncodingList :: [SrcPos] -> Encoding #
FromJSON SrcPos Source #
Instance details Defined in Michelson.ErrorPos Methods parseJSON :: Value -> Parser SrcPos # parseJSONList :: Value -> Parser [SrcPos] #
NFData SrcPos Source #
Instance details Defined in Michelson.ErrorPos Methods rnf :: SrcPos -> () #
Default SrcPos Source #
Instance details Defined in Michelson.ErrorPos Methods def :: SrcPos #
ToADTArbitrary SrcPos Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy SrcPos -> Gen (ADTArbitrarySingleton SrcPos) # toADTArbitrary :: Proxy SrcPos -> Gen (ADTArbitrary SrcPos) #
type Rep SrcPos Source #
Instance details Defined in Michelson.ErrorPos type Rep SrcPos = D1 ('MetaData "SrcPos" "Michelson.ErrorPos" "morley-1.7.0-inplace" 'False) (C1 ('MetaCons "SrcPos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos)))

srcPos :: Word -> Word -> SrcPos Source #

data InstrCallStack Source #

Constructors

InstrCallStack
Fields icsCallStack :: LetCallStack icsSrcPos :: SrcPos

Instances

Instances details

Eq InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Methods (==) :: InstrCallStack -> InstrCallStack -> Bool # (/=) :: InstrCallStack -> InstrCallStack -> Bool #
Data InstrCallStack Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Michelson.ErrorPos Methods showsPrec :: Int -> InstrCallStack -> ShowS # show :: InstrCallStack -> String # showList :: [InstrCallStack] -> ShowS #
Generic InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Associated Types type Rep InstrCallStack :: Type -> Type # Methods from :: InstrCallStack -> Rep InstrCallStack x # to :: Rep InstrCallStack x -> InstrCallStack #
Arbitrary InstrCallStack Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen InstrCallStack # shrink :: InstrCallStack -> [InstrCallStack] #
ToJSON InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Methods toJSON :: InstrCallStack -> Value # toEncoding :: InstrCallStack -> Encoding # toJSONList :: [InstrCallStack] -> Value # toEncodingList :: [InstrCallStack] -> Encoding #
FromJSON InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Methods parseJSON :: Value -> Parser InstrCallStack # parseJSONList :: Value -> Parser [InstrCallStack] #
NFData InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Methods rnf :: InstrCallStack -> () #
Default InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos Methods def :: InstrCallStack #
ToADTArbitrary InstrCallStack Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy InstrCallStack -> Gen (ADTArbitrarySingleton InstrCallStack) # toADTArbitrary :: Proxy InstrCallStack -> Gen (ADTArbitrary InstrCallStack) #
type Rep InstrCallStack Source #
Instance details Defined in Michelson.ErrorPos type Rep InstrCallStack = D1 ('MetaData "InstrCallStack" "Michelson.ErrorPos" "morley-1.7.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] Source #

newtype LetName Source #

Constructors

LetName Text

Instances

Instances details

Eq LetName Source #
Instance details Defined in Michelson.ErrorPos Methods (==) :: LetName -> LetName -> Bool # (/=) :: LetName -> LetName -> Bool #
Data LetName Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Michelson.ErrorPos Methods showsPrec :: Int -> LetName -> ShowS # show :: LetName -> String # showList :: [LetName] -> ShowS #
Generic LetName Source #
Instance details Defined in Michelson.ErrorPos Associated Types type Rep LetName :: Type -> Type # Methods from :: LetName -> Rep LetName x # to :: Rep LetName x -> LetName #
Arbitrary LetName Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen LetName # shrink :: LetName -> [LetName] #
ToJSON LetName Source #
Instance details Defined in Michelson.ErrorPos Methods toJSON :: LetName -> Value # toEncoding :: LetName -> Encoding # toJSONList :: [LetName] -> Value # toEncodingList :: [LetName] -> Encoding #
FromJSON LetName Source #
Instance details Defined in Michelson.ErrorPos Methods parseJSON :: Value -> Parser LetName # parseJSONList :: Value -> Parser [LetName] #
NFData LetName Source #
Instance details Defined in Michelson.ErrorPos Methods rnf :: LetName -> () #
Buildable LetName Source #
Instance details Defined in Michelson.ErrorPos Methods build :: LetName -> Builder #
ToADTArbitrary LetName Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy LetName -> Gen (ADTArbitrarySingleton LetName) # toADTArbitrary :: Proxy LetName -> Gen (ADTArbitrary LetName) #
type Rep LetName Source #
Instance details Defined in Michelson.ErrorPos type Rep LetName = D1 ('MetaData "LetName" "Michelson.ErrorPos" "morley-1.7.0-inplace" 'True) (C1 ('MetaCons "LetName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))