 Monatron0.3: Monad transformer library with uniform liftings  Contents  Index 





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   Instances  


data Lift a 
Constructors   Instances  


Produced by Haddock version 2.4.2 