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

Monatron.Transformer

Documentation

data StateT s m a

Instances Monad m => StateM z (StateT z m) MMonadT (StateT s) FMonadT (StateT s) MonadT (StateT s) MonadFix m => MonadFix (StateT s m)

stateT :: (s -> m (a, s)) -> StateT s m a

runStateT :: s -> StateT s m a -> m (a, s)

data WriterT w m a

Instances (Monoid z, Monad m) => WriterM z (WriterT z m) Monoid w => MMonadT (WriterT w) Monoid w => FMonadT (WriterT w) Monoid w => MonadT (WriterT w)

writerT :: (Monoid w, Monad m) => m (a, w) -> WriterT w m a

runWriterT :: Monoid w => WriterT w m a -> m (a, w)

data ReaderT s m a

Instances Monad m => ReaderM z (ReaderT z m) MMonadT (ReaderT s) FMonadT (ReaderT s) MonadT (ReaderT s)

readerT :: Monad m => (e -> m a) -> ReaderT e m a

runReaderT :: s -> ReaderT s m a -> m a

data ExcT x m a

Instances Monad m => ExcM z (ExcT z m) FMonadT (ExcT x) MonadT (ExcT x) MonadFix m => MonadFix (ExcT x m)

excT :: Monad m => m (Either x a) -> ExcT x m a

runExcT :: Monad m => ExcT x m a -> m (Either x a)

data ContT r m a

Instances MonadT (ContT r) Monad m => ContM (m r) (ContT r m)

contT :: ((a -> m r) -> m r) -> ContT r m a

runContT :: (a -> m r) -> ContT r m a -> m r

data StepT f m x

Instances Functor f => FMonadT (StepT f) Functor f => MonadT (StepT f)

stepT :: m (Either x (f (StepT f m x))) -> StepT f m x

runStepT :: StepT f m x -> m (Either x (f (StepT f m x)))

caseStepT :: (Functor f, Monad m) => (a -> StepT f m x) -> (f (StepT f m a) -> StepT f m x) -> StepT f m a -> StepT f m x

unfoldStepT :: (Functor f, Monad m) => (y -> m (Either x (f y))) -> y -> StepT f m x

data ListT m a

Instances FMonadT ListT MonadT ListT Monad m => ListM (ListT m)

listT :: m (LSig (ListT m) a ()) -> ListT m a

runListT :: ListT m a -> m (LSig (ListT m) a ())

foldListT :: Monad m => (a -> m b -> m b) -> m b -> ListT m a -> m b

collectListT :: Monad m => ListT m a -> m [a]

emptyL :: Monad m => ListT m a

appendL :: Monad m => ListT m a -> ListT m a -> ListT m a

module Monatron.MonadT

module Data.Monoid

Produced by Haddock version 2.4.2