| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Untyped.HoistInstr
Synopsis
- class HoistInstr n where
- hoistInstr :: (f a -> g a) -> n f a -> n g a
Documentation
class HoistInstr n where Source #
Helper class used to change underlying sequence functor in instructions.
Methods
hoistInstr :: (f a -> g a) -> n f a -> n g a Source #
Instances
| HoistInstr ExtInstrAbstract Source # | |
Defined in Morley.Michelson.Untyped.Ext Methods hoistInstr :: forall f (a :: k) g. (f a -> g a) -> ExtInstrAbstract f a -> ExtInstrAbstract g a Source # | |
| HoistInstr TestAssert Source # | |
Defined in Morley.Michelson.Untyped.Ext Methods hoistInstr :: forall f (a :: k) g. (f a -> g a) -> TestAssert f a -> TestAssert g a Source # | |
| HoistInstr InstrAbstract Source # | |
Defined in Morley.Michelson.Untyped.Instr Methods hoistInstr :: forall f (a :: k) g. (f a -> g a) -> InstrAbstract f a -> InstrAbstract g a Source # | |
| HoistInstr (Elt :: (k -> Type) -> k -> Type) Source # | |
Defined in Morley.Michelson.Untyped.Value Methods hoistInstr :: forall f (a :: k0) g. (f a -> g a) -> Elt f a -> Elt g a Source # | |
| HoistInstr (Value' :: (k -> Type) -> k -> Type) Source # | |
Defined in Morley.Michelson.Untyped.Value Methods hoistInstr :: forall f (a :: k0) g. (f a -> g a) -> Value' f a -> Value' g a Source # | |