Control.Monatron.Codensity

Documentation

data Codensity f a

Instances

MonadT Codensity

MonadFix m => MonadFix (Codensity m)

codensity :: (forall b. (a -> f b) -> f b) -> Codensity f a

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