Portability | rank-2 Types required for correctness of shift, but they can be removed |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Indexed.Cont
Description
Documentation
class IxMonad m => IxMonadCont m whereSource
Methods
reset :: m a o o -> m r r aSource
shift :: (forall i. (a -> m i i o) -> m r j j) -> m r o aSource
Instances
IxMonadCont IxCont | |
Monad m => IxMonadCont (IxContT m) |
newtype IxContT m r o a Source
Constructors
IxContT | |
Fields
|
Instances
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