Control.Monad.Operational.Interpret

Documentation

data Around m instr

Constructors

Around

Fields

• getAround :: forall a. instr a -> (m (), a -> m ())

Instances

Applicative m => Monoid (Around m instr)

Methods

mempty :: Around m instr

mappend :: Around m instr -> Around m instr -> Around m instr

mconcat :: [Around m instr] -> Around m instr

data ApplyInstr m instr

Constructors

ApplyInstr

Fields

• getApplyInstr :: forall a. instr a -> m a

mapProgramT :: Monad m => (forall b. instr1 b -> instr2 b) -> ProgramT instr1 m a -> ProgramT instr2 m a

hoistProgramT :: (Monad m, Monad n) => (forall a. m a -> n a) -> ProgramT instr m a -> ProgramT instr n a

interpretWithMonadT :: forall instr m b. Monad m => (forall a. instr a -> m a) -> ProgramT instr m b -> m b

interpretAroundMonadT :: forall instr m b. Monad m => Around m instr -> (forall a. instr a -> m a) -> ProgramT instr m b -> m b