Haskell Hierarchical Libraries (mtl package)ContentsIndex
Control.Monad.Cont
Portability non-portable (multi-parameter type classes)
Stability experimental
Maintainer libraries@haskell.org
Description
Continuation monads.
Synopsis
class Monad m => MonadCont m where
callCC :: ((a -> m b) -> m a) -> m a
newtype Cont r a = Cont {
runCont :: ((a -> r) -> r)
}
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 = ContT {
runContT :: ((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.6