category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Indexed.Cont
Portabilityrank-2 Types required for correctness of shift, but they can be removed
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
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
show/hide Instances
newtype IxContT m r o a Source
Constructors
IxContT
runIxContT :: (a -> m o) -> m r
show/hide Instances
runIxContT_ :: Monad m => IxContT m r a a -> m rSource
newtype IxCont r o a Source
Constructors
IxCont (IxContT Identity r o a)
show/hide Instances
runIxCont :: IxCont r o a -> (a -> o) -> rSource
runIxCont_ :: IxCont r a a -> rSource
Produced by Haddock version 2.4.2