|
| Control.Monad.Cont | | Portability | non-portable (multi-parameter type classes) | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
| Continuation monads.
|
|
|
| Documentation |
|
| class Monad m => MonadCont m where |
| | Methods | | callCC :: ((a -> m b) -> m a) -> m a |
| | | Instances | |
|
|
| newtype Cont r a |
| Constructors | | Cont | | | runCont :: ((a -> r) -> r) | |
|
| | Instances | |
|
|
| mapCont :: (r -> r) -> Cont r a -> Cont r a |
|
| withCont :: ((b -> r) -> a -> r) -> Cont r a -> Cont r b |
|
| newtype ContT r m a |
| Constructors | | ContT | | | runContT :: ((a -> m r) -> m r) | |
|
| | Instances | |
|
|
| mapContT :: (m r -> m r) -> ContT r m a -> ContT r m a |
|
| withContT :: ((b -> m r) -> a -> m r) -> ContT r m a -> ContT r m b |
|
| module Control.Monad |
|
| module Control.Monad.Trans |
|
| Produced by Haddock version 0.6 |