category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Methods reset :: m a o o -> m r r a shift :: (forall i. (a -> m i i o) -> m r j j) -> m r o a Instances IxMonadCont IxCont Monad m => IxMonadCont (IxContT m)

newtype IxContT m r o a

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) IxFunctor (IxContT m) Monad m => IxApplicative (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 => Pointed (IxContT m i i) Monad m => Applicative (IxContT m i i) MonadIO m => MonadIO (IxContT m i i)

runIxContT_ :: Monad m => IxContT m r a a -> m r

newtype IxCont r o a

Constructors IxCont (IxContT Identity r o a) Instances IxPointed IxCont IxFunctor IxCont IxApplicative IxCont IxMonad IxCont IxMonadCont IxCont Monad (IxCont i i) Functor (IxCont i j) Pointed (IxCont i i) Applicative (IxCont i i)

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

runIxCont_ :: IxCont r a a -> r

Produced by Haddock version 2.1.0