Control.Monad.Indexed.Cont

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

Fields

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

Instances

IxPointed (IxContT m)

Monad m => IxApplicative (IxContT m)

IxFunctor (IxContT m)

Monad m => IxMonad (IxContT m)

Monad m => IxMonadCont (IxContT m)

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

IxApplicative IxCont

IxFunctor IxCont

IxMonad IxCont

IxMonadCont IxCont

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

runIxCont_ :: IxCont r a a -> r