Maintainer | Ertugrul Soeylemez <es@ertes.de> |
---|---|
Safe Haskell | None |
Types used in the continue library.
Suspendable computations
newtype ContinueT e f m a Source
This monad transformer adds continuations under f
and e
-typed
suspensions to m
.
ContinueT | |
|
(Monad m, Monoid e, Plus f) => MonadContinue e f (ContinueT e f m) | |
(MonadBase b m, Monoid e, Plus f) => MonadBase b (ContinueT e f m) | |
(MonadBaseControl b m, Monoid e, Plus f) => MonadBaseControl b (ContinueT e f m) | |
(Monad m, Monoid e, Plus f) => MonadError e (ContinueT e f m) | |
(MonadReader r m, Monoid e, Plus f) => MonadReader r (ContinueT e f m) | |
(MonadState s m, Monoid e, Plus f) => MonadState s (ContinueT e f m) | |
(MonadWriter l m, Monoid e, Plus f) => MonadWriter l (ContinueT e f m) | |
Plus f => MonadTrans (ContinueT e f) | |
(Monad m, Monoid e, Plus f) => Monad (ContinueT e f m) | |
(Functor f, Monad m) => Functor (ContinueT e f m) | |
(MonadFix m, Monoid e, Plus f) => MonadFix (ContinueT e f m) | Warning: If feedback is broken by suspension you get a run-time error. |
(Monad m, Monoid e, Plus f) => MonadPlus (ContinueT e f m) | |
(Monad m, Plus f) => Applicative (ContinueT e f m) | |
(Monad m, Monoid e, Plus f) => Alternative (ContinueT e f m) | |
(MonadIO m, Monoid e, Plus f) => MonadIO (ContinueT e f m) |
Convenience types
type LastEx = Last SomeExceptionSource
Type alias for the common case of using
as
the suspension monoid.
Last
SomeException