Monatron-0.3: Monad transformer library with uniform liftings Contents Index

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

Produced by Haddock version 2.4.2