Control.Monad.Signatures (original) (raw)
| Copyright | (c) Ross Paterson 2012 |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | R.Paterson@city.ac.uk |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Control.Monad.Signatures
Description
Signatures for monad operations that require specialized lifting. Each signature has a uniformity property that the lifting should satisfy.
Synopsis
- type CallCC m a b = ((a -> m b) -> m a) -> m a
- type Catch e m a = m a -> (e -> m a) -> m a
- type Listen w m a = m a -> m (a, w)
- type Pass w m a = m (a, w -> w) -> m a