| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | ross@soi.city.ac.uk |
| Safe Haskell | Safe-Inferred |
Control.Monad.Signatures
Description
Signatures for monad operations that require specialized lifting.
Documentation
type CallCC m a b = ((a -> m b) -> m a) -> m aSource
Signature of the callCC operation,
introduced in Control.Monad.Trans.Cont.
type Catch e m a = m a -> (e -> m a) -> m aSource
Signature of the catchE operation,
introduced in Control.Monad.Trans.Except.
type Listen w m a = m a -> m (a, w)Source
Signature of the listen operation,
introduced in Control.Monad.Trans.Writer.
type Pass w m a = m (a, w -> w) -> m aSource
Signature of the pass operation,
introduced in Control.Monad.Trans.Writer.