category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Codensity
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
data Codensity m a Source
show/hide Instances
liftCodensity :: Monad m => m :~> Codensity mSource
lowerCodensity :: Monad m => Codensity m :~> mSource
codensityToRan :: Codensity m :~> Ran m mSource
ranToCodensity :: Ran m m :~> Codensity mSource
toCodensity :: Functor s => (forall a. s (k a) -> k a) -> s :~> Codensity kSource
fromCodensity :: (s :~> Codensity k) -> s (k a) -> k aSource
codensityToAdjunction :: Adjunction f g => Codensity g a -> g (f a)Source
adjunctionToCodensity :: Adjunction f g => g (f a) -> Codensity g aSource
improveFree :: Functor f => (forall m. MonadFree f m => m a) -> Free f aSource
Produced by Haddock version 2.4.2