Control.Monad.Trans.ContT

Documentation

newtype ContT m a

Constructors

ContT

Fields

unContT :: forall w. (a -> m w) -> m w

Instances

MonadTrans ContT

Monad m => MonadState s (ContT (ReaderT s m))

Monad m => Monad (ContT m)

MonadPlus m => MonadPlus (ContT m)

runContT :: Monad m => ContT m a -> m a