Monatron-0.3.1: Monad transformer library with uniform liftings
Control.Monatron.Monad
type State s = StateT s IdSource
type Writer w = WriterT w IdSource
type Reader r = ReaderT r IdSource
type Exception x = ExcT x IdSource
type Cont r = ContT r IdSource
state :: (s -> (a, s)) -> State s aSource
writer :: Monoid w => (a, w) -> Writer w aSource
reader :: (r -> a) -> Reader r aSource
exception :: Either x a -> Exception x aSource
cont :: ((a -> r) -> r) -> Cont r aSource
runState :: s -> State s a -> (a, s)Source
runWriter :: Monoid w => Writer w a -> (a, w)Source
runReader :: r -> Reader r a -> aSource
runException :: Exception x a -> Either x aSource
runCont :: (a -> r) -> Cont r a -> rSource
newtype Id a Source
Constructors
Fields
Instances
data Lift a Source