|
| Control.Monad.Cont | | Portability | non-portable | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
| Continuation monads.
|
|
|
|
| class (Monad m) => MonadCont m where |
| | Methods | | callCC :: ((a -> m b) -> m a) -> m a |
| | | Instances | |
|
|
| data Cont r a |
| Constructors | | Cont | | | runCont :: ((a -> r) -> r) | |
|
| | Instances | |
|
|
| runCont :: Cont r a -> (a -> r) -> r |
|
| mapCont :: (r -> r) -> Cont r a -> Cont r a |
|
| withCont :: ((b -> r) -> a -> r) -> Cont r a -> Cont r b |
|
| data ContT r m a |
| Constructors | | ContT | | | runContT :: ((a -> m r) -> m r) | |
|
| | Instances | |
|
|
| runContT :: ContT r m a -> (a -> m r) -> m r |
|
| 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.4 |