Control.Monad.Indexed.Cont

Portability	rank-2 Types required for correctness of shift, but they can be removed
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

Documentation

class IxMonad m => IxMonadCont m where

Source

Methods

reset :: m a o o -> m r r a

Source

shift :: (forall i. (a -> m i i o) -> m r j j) -> m r o a

Source

Instances

IxMonadCont IxCont

Monad m => IxMonadCont (IxContT m)

newtype IxContT m r o a

Source

Constructors

IxContT

runIxContT :: (a -> m o) -> m r

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 r

Source

newtype IxCont r o a

Source

Constructors

IxCont (IxContT Identity r o a)

Instances

Monad (IxCont i i)

Functor (IxCont i j)

Applicative (IxCont i i)

Pointed (IxCont i i)

runIxCont :: IxCont r o a -> (a -> o) -> r

Source

runIxCont_ :: IxCont r a a -> r

Source

Produced by Haddock version 2.3.0