Haskell Core Libraries (base package)ParentContentsIndex
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
MonadCont (Cont r)
(Monad m) => MonadCont (ContT r m)
(MonadCont m) => MonadCont (ReaderT r m)
(MonadCont m) => MonadCont (StateT s m)
(Monoid w, MonadCont m) => MonadCont (WriterT w m)
(Monoid w, MonadCont m) => MonadCont (RWST r w s m)
(Error e, MonadCont m) => MonadCont (ErrorT e m)
(MonadCont m) => MonadCont (ListT m)
data Cont r a
Constructors
Cont
runCont :: ((a -> r) -> r)
Instances
Functor (Cont r)
Monad (Cont r)
MonadCont (Cont r)
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
(Monad m) => Functor (ContT r m)
(Monad m) => Monad (ContT r m)
(Monad m) => MonadCont (ContT r m)
MonadTrans (ContT r)
(MonadIO m) => MonadIO (ContT r m)
(MonadReader r' m) => MonadReader r' (ContT r m)
(MonadState s m) => MonadState s (ContT r m)
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