Safe Haskell | None |
---|---|
Language | Haskell2010 |
Michelson.ErrorPos
Documentation
Instances
Eq Pos Source # | |
Data Pos Source # | |
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 # 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 # | |
Show Pos Source # | |
Generic Pos Source # | |
Arbitrary Pos Source # | |
ToJSON Pos Source # | |
Defined in Michelson.ErrorPos | |
FromJSON Pos Source # | |
NFData Pos Source # | |
Defined in Michelson.ErrorPos | |
Default Pos Source # | |
Defined in Michelson.ErrorPos | |
ToADTArbitrary Pos Source # | |
Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy Pos -> Gen (ADTArbitrarySingleton Pos) # toADTArbitrary :: Proxy Pos -> Gen (ADTArbitrary Pos) # | |
type Rep Pos Source # | |
Defined in Michelson.ErrorPos |
Instances
data InstrCallStack Source #
Constructors
InstrCallStack | |
Fields |
Instances
type LetCallStack = [LetName] Source #
Instances
Eq LetName Source # | |
Data LetName Source # | |
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 # | |
Show LetName Source # | |
Generic LetName Source # | |
Arbitrary LetName Source # | |
ToJSON LetName Source # | |
Defined in Michelson.ErrorPos | |
FromJSON LetName Source # | |
NFData LetName Source # | |
Defined in Michelson.ErrorPos | |
ToADTArbitrary LetName Source # | |
Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy LetName -> Gen (ADTArbitrarySingleton LetName) # toADTArbitrary :: Proxy LetName -> Gen (ADTArbitrary LetName) # | |
type Rep LetName Source # | |
Defined in Michelson.ErrorPos |