Control.Monad.Trans.Operational.Mini

Simple operational monad transformer

Documentation

newtype ProgramT t m a

Constructors

ProgramT

Fields

unProgram :: forall r. (a -> m r) -> (forall x. t x -> (x -> m r) -> m r) -> m r

Instances

Operational t (ProgramT t m)

MonadTrans (ProgramT t)

Monad (ProgramT t m)

Functor (ProgramT t m)

Applicative (ProgramT t m)

interpret :: Monad m => (forall x. t x -> m x) -> ProgramT t m a -> m a

Interpret a Program using the given transformation.

module Control.Monad.Operational.Class