ContT -package:monadology

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.

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 r m is strict if and only if m is.

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.

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

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

• evalContT (lift m) = m

Apply a function to transform the result of a continuation-passing computation. This has a more restricted type than the map operations for other monad transformers, because ContT does not define a functor in the category of monads.

• runContT (mapContT f m) = f . runContT
  m

Apply a function to transform the continuation passed to a CPS computation.

• runContT (withContT f m) = runContT m .
  f

Convert a selection computation to a continuation-passing computation.

evalContT with MergingStrategy knowledge propagation.

runContT with MergingStrategy knowledge propagation.

Not on Stackage, so not searched. A ContT-based wrapper for Haskell-to-C marshalling functions.