Portability | rank-2 Types required for correctness of shift, but they can be removed |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class IxMonad m => IxMonadCont m whereSource
IxMonadCont IxCont | |
Monad m => IxMonadCont (IxContT m) |
newtype IxContT m r o a Source
IxContT | |
|
IxMonadTrans IxContT | |
MonadReader e m => MonadReader e (IxContT m i i) | |
MonadState e m => MonadState e (IxContT m i i) | |
IxPointed (IxContT m) | |
Monad m => IxApplicative (IxContT m) | |
IxFunctor (IxContT m) | |
Monad m => IxMonad (IxContT m) | |
Monad m => IxMonadCont (IxContT m) | |
Monad m => Monad (IxContT m i i) | |
Monad m => Functor (IxContT m i j) | |
Monad m => Applicative (IxContT m i i) | |
MonadIO m => MonadIO (IxContT m i i) | |
Monad m => Pointed (IxContT m i i) |
runIxContT_ :: Monad m => IxContT m r a a -> m rSource
runIxCont_ :: IxCont r a a -> rSource