Portability | non-portable (Rank-2 Types) |
---|---|
Stability | experimental |
Maintainer | mjj@cs.nott.ac.uk |
- Useful for:
- Algebraization of operations
The Codensity monad (also called the Backtracking monad).
Documentation
Codensity | |
|
toCodensity :: Monad m => m a -> Codensity m aSource
fromCodensity :: Monad m => Codensity m a -> m aSource
module Control.Monad