category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Monad.Codensity Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

data Codensity m a

Instances MonadReader r m => MonadReader r (Codensity m) MonadState s m => MonadState s (Codensity m) RunMonadFree f m => RunMonadFree f (Codensity m) MonadFree f m => MonadFree f (Codensity m) Monad (Codensity f) Functor (Codensity k) Pointed (Codensity f) MonadIO m => MonadIO (Codensity m)

liftCodensity :: Monad m => m :~> Codensity m

lowerCodensity :: Monad m => Codensity m :~> m

codensityToRan :: Codensity m :~> Ran m m

ranToCodensity :: Ran m m :~> Codensity m

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

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

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

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

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

Produced by Haddock version 2.1.0