Portability | Rank-2 Types |
---|---|
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
|
runIxContT_ :: Monad m => IxContT m r a a -> m rSource
runIxCont_ :: IxCont r a a -> rSource