ContentsIndex
Org.Org.Semantic.HBase.Category.MonadCont
Synopsis
class Monad m => MonadCont m where
callCC :: ((a -> m b) -> m a) -> m a
class MonadCont m => HasContinuations p m | m -> p where
useContinuation :: p -> m a
withContinuation :: ((a -> p) -> m a) -> m a
class MonadCont m => MonadExit q m | m -> q where
exitTo :: forall a . q -> m a
exitWith :: (HasReturn n, MonadExit (n r) m) => r -> m a
exit :: (HasReturn n, MonadExit (n ()) m) => m a
Documentation
class Monad m => MonadCont m where
a monad that has call with current continuation
Methods
callCC :: ((a -> m b) -> m a) -> m a
call with current continuation
Instances
MonadCont m => MonadCont (Contextual m context)
MonadCont (ContinuationPass p)
??? a ex p => MonadCont (ExceptionContinuationPass p ex a)
MonadCont m => MonadCont (ExceptionMonad m ex)
Eq u => MonadCont (GuardContinuationPass u p)
class MonadCont m => HasContinuations p m | m -> p where
Methods
useContinuation :: p -> m a
withContinuation :: ((a -> p) -> m a) -> m a
Instances
HasContinuations p m => HasContinuations p (Contextual m context)
HasContinuations p (ContinuationPass p)
HasContinuations p (ExceptionContinuationPass p ex)
HasContinuations p m => HasContinuations p (ExceptionMonad m ex)
Eq u => HasContinuations (WinderStack u p, p) (GuardContinuationPass u p)
class MonadCont m => MonadExit q m | m -> q where
Methods
exitTo :: forall a . q -> m a
Instances
MonadExit p (ContinuationPass p)
MonadExit p (ExceptionContinuationPass p ex)
MonadExit q m => MonadExit q (ExceptionMonad m ex)
Eq u => MonadExit p (GuardContinuationPass u p)
exitWith :: (HasReturn n, MonadExit (n r) m) => r -> m a
exit :: (HasReturn n, MonadExit (n ()) m) => m a
Produced by Haddock version 0.6