category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Codensity

Description

 

Documentation

toCodensity :: Functor s => (forall a. s (k a) -> k a) -> s :~> Codensity kSource

fromCodensity :: (s :~> Codensity k) -> s (k a) -> k aSource

improveFree :: Functor f => (forall m. MonadFree f m => m a) -> Free f aSource