| Portability | non-portable (rank-2 polymorphism) |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Codensity
Description
Documentation
newtype CodensityT m a Source
Constructors
| CodensityT | |
Fields
| |
Instances
| MonadTrans CodensityT | |
| Monad (CodensityT f) | |
| Functor (CodensityT k) | |
| Applicative (CodensityT f) | |
| MonadIO m => MonadIO (CodensityT m) | |
| Apply (CodensityT f) |
lowerCodensityT :: Monad m => CodensityT m a -> m aSource
codensityTToAdjunction :: Adjunction f g => CodensityT g a -> g (f a)Source
adjunctionToCodensityT :: Adjunction f g => g (f a) -> CodensityT g aSource