Monatron-0.3: Monad transformer library with uniform liftings Contents Index

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 runId :: a Instances Monad Id Functor Id MonadFix Id

data Lift a

Constructors L runLift :: a Instances Monad Lift Functor Lift MonadFix Lift

Produced by Haddock version 2.4.2