| Portability | non-portable (rank-2 polymorphism) |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Trans.Codensity
Description
Documentation
Constructors
| Codensity | |
Fields
| |
Instances
| MonadTrans Codensity | |
| Monad (Codensity f) | |
| Functor (Codensity k) | |
| Applicative (Codensity f) | |
| FunctorApply (Codensity f) |
lowerCodensity :: Monad m => Codensity m a -> m aSource
codensityToAdjunction :: Adjunction f g => Codensity g a -> g (f a)Source
adjunctionToCodensity :: Adjunction f g => g (f a) -> Codensity g aSource