Control.Monatron.Monad

Documentation

type State s = StateT s Id

type Writer w = WriterT w Id

type Reader r = ReaderT r Id

type Exception x = ExcT x Id

type Cont r = ContT r Id

state :: (s -> (a, s)) -> State s a

writer :: Monoid w => (a, w) -> Writer w a

reader :: (r -> a) -> Reader r a

exception :: Either x a -> Exception x a

cont :: ((a -> r) -> r) -> Cont r a

runState :: s -> State s a -> (a, s)

runWriter :: Monoid w => Writer w a -> (a, w)

runReader :: r -> Reader r a -> a

runException :: Exception x a -> Either x a

runCont :: (a -> r) -> Cont r a -> r

newtype Id a

Constructors

Id

Fields

runId :: a

Instances

Monad Id

Functor Id

MonadFix Id

data Lift a

Constructors

L

Fields

runLift :: a

Instances

Monad Lift

Functor Lift

MonadFix Lift