Haskell Hierarchical Libraries (base package)
Contents
Index
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