| Portability | non-portable (rank-2 polymorphism) |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Codensity
Description
Documentation
Constructors
| Codensity | |
Fields
| |
Instances
| MonadTrans Codensity | |
| MonadFree f m => MonadFree f (Codensity m) | |
| MonadReader r m => MonadState r (Codensity m) | |
| Monad (Codensity f) | |
| Functor (Codensity k) | |
| MonadPlus v => MonadPlus (Codensity v) | |
| Applicative (Codensity f) | |
| Alternative v => Alternative (Codensity v) | |
| MonadIO m => MonadIO (Codensity m) | |
| Apply (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