Maintainer | Ertugrul Soeylemez <[email protected]> |
---|---|
Safe Haskell | None |
Control.Continue.Utils
Contents
Description
Suspension/continuation utilities.
- addCont_ :: MonadContinue e f m => f (m ()) -> m ()
- continue :: MonadContinue e f m => Either e a -> f (Either e a) -> m a
- continue_ :: MonadContinue e f m => f () -> m ()
- suspend :: MonadContinue e f m => e -> m a
Basic utilities
addCont_ :: MonadContinue e f m => f (m ()) -> m ()Source
Add the given set of continuations without suspending.
Arguments
:: MonadContinue e f m | |
=> Either e a | What to return now (left suspends). |
-> f (Either e a) | What to return when reentering (left suspends). |
-> m a |
Allow to continue here with the given value.
Arguments
:: MonadContinue e f m | |
=> f () | Reentering key. |
-> m () |
Allow to continue here.
suspend :: MonadContinue e f m => e -> m aSource
Suspend with the given value. Does not register any continuation
spots. Note that suspend mempty
is equivalent to empty
.