Control.Monad.Codensity

Useful for:

Algebraization of operations

The Codensity monad (also called the Backtracking monad).

Documentation

newtype Codensity f a

Constructors

Codensity

Fields

runCodensity :: forall b. (a -> f b) -> f b

Instances

Monad (Codensity f)

Functor (Codensity f)

MonadFix m => MonadFix (Codensity m)

toCodensity :: Monad m => m a -> Codensity m a

fromCodensity :: Monad m => Codensity m a -> m a

module Control.Monad