ContT -package:transformers

newtype ContT (r :: k) (m :: k -> Type) a

mtl Control.Monad.Cont, monads-tf Control.Monad.Cont, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT

The continuation monad transformer. Can be used to add continuation handling to any type constructor: the Monad instance and most of the operations do not require m to be a monad. ContT is not a functor on the category of monads, and many operations cannot be lifted through it.

ContT :: ((a -> m r) -> m r) -> ContT (r :: k) (m :: k -> Type) a

mtl Control.Monad.Cont, monads-tf Control.Monad.Cont, rebase Rebase.Prelude, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT

newtype () => ContT (r :: k) (m :: k -> Type) a

rebase Rebase.Prelude

The continuation monad transformer. Can be used to add continuation handling to any type constructor: the Monad instance and most of the operations do not require m to be a monad. ContT is not a functor on the category of monads, and many operations cannot be lifted through it.

module Control.Monad.Ology.Specific.ContT

type family ContTuple (xs :: [Type]) r

variant Data.Variant.ContFlow

Convert a list of types into the actual data type representing the continuations.

conTToName :: Type -> Name

deriving-compat Data.Deriving.Internal

Extract the Name from a type constructor. If the argument Type is not a type variable, throw an error.

contToState :: BirthPos -> Results s t a -> Cont s r e t a c -> State s r e t c

Earley Text.Earley.Generator.Internal

contToState :: BirthPos -> Results s a -> Cont s r e t a c -> State s r e t c

Earley Text.Earley.Parser.Internal

contToVariant :: ContVariant xs => ContFlow xs (V xs) -> V xs

variant Data.Variant

Convert a multi-continuation into a Variant

contToVariantM :: (ContVariant xs, Monad m) => ContFlow xs (m (V xs)) -> m (V xs)

variant Data.Variant

Convert a multi-continuation into a Variant

contToEADT :: ContVariant (ApplyAll (EADT xs) xs) => ContFlow (ApplyAll (EADT xs) xs) (V (ApplyAll (EADT xs) xs)) -> EADT xs

variant Data.Variant.EADT

Convert a multi-continuation into an EADT

contToEADTM :: (ContVariant (ApplyAll (EADT xs) xs), Monad f) => ContFlow (ApplyAll (EADT xs) xs) (f (V (ApplyAll (EADT xs) xs))) -> f (EADT xs)

variant Data.Variant.EADT

Convert a multi-continuation into an EADT

contToVariantF :: forall xs e . ContVariant (ApplyAll e xs) => ContFlow (ApplyAll e xs) (V (ApplyAll e xs)) -> VariantF xs e

variant Data.Variant.VariantF

Convert a multi-continuation into a VariantF

contToVariantFM :: forall xs e m . (ContVariant (ApplyAll e xs), Monad m) => ContFlow (ApplyAll e xs) (m (V (ApplyAll e xs))) -> m (VariantF xs e)

variant Data.Variant.VariantF

Convert a multi-continuation into a VariantF

evalContT :: Monad m => ContT r m r -> m r

mtl Control.Monad.Cont, rebase Rebase.Prelude, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT

The result of running a CPS computation with return as the final continuation.

```
evalContT (lift m) = m
```

runContT :: ContT r m a -> (a -> m r) -> m r

mtl Control.Monad.Cont

scContToXml :: Schema -> (Attributes, XmlTrees)

hxt Text.XML.HXT.Arrow.Pickle.DTD

runContT :: ContT (r :: k) (m :: k -> Type) a -> (a -> m r) -> m r

monads-tf Control.Monad.Cont, rebase Rebase.Prelude, mtl-prelude MTLPrelude, monadology Control.Monad.Ology.Specific.ContT

liftContT :: (forall a . ContT a IO ptr) -> Creator () ptr

comfort-array Data.Array.Comfort.Storable.Unchecked.Creator

mrgEvalContT :: (TryMerge m, Mergeable r, Monad m) => ContT r m r -> m r

grisette Grisette.Lib.Control.Monad.Trans.Cont

evalContT with MergingStrategy knowledge propagation.

mrgRunContT :: (TryMerge m, Mergeable r) => ContT r m a -> (a -> m r) -> m r

grisette Grisette.Lib.Control.Monad.Trans.Cont

runContT with MergingStrategy knowledge propagation.

hoistContT :: (m1 r1 -> m2 r2) -> (m2 r2 -> m1 r1) -> ContT r1 m1 a -> ContT r2 m2 a

monadology Control.Monad.Ology.Specific.ContT

stateToReaderContT :: Monad m => StateT s m a -> ContT r (ReaderT s m) a

monadology Control.Monad.Ology.Specific.ContT

updateContT :: (m r -> m r) -> ContT r m ()

monadology Control.Monad.Ology.Specific.ContT

fromContT :: ContT i m x -> ContIx i i m x

indexed-transformers Control.Monad.Trans.Indexed.Cont