Control.Monad.Codensity

Documentation

newtype Codensity m a

Constructors

Codensity

Fields

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

Instances

MonadTrans Codensity

MonadFree f m => MonadFree f (Codensity m)

MonadReader r m => MonadState r (Codensity m)

Monad (Codensity f)

Functor (Codensity k)

MonadPlus v => MonadPlus (Codensity v)

Applicative (Codensity f)

Alternative v => Alternative (Codensity v)

MonadIO m => MonadIO (Codensity m)

Apply (Codensity f)

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

codensityToAdjunction :: Adjunction f g => Codensity g a -> g (f a)

adjunctionToCodensity :: Adjunction f g => g (f a) -> Codensity g a