Control.Continue.Types

Types used in the continue library.

Suspendable computations

newtype ContinueT e f m a

This monad transformer adds continuations under f and e-typed suspensions to m.

Constructors

ContinueT

Fields

runContinueT :: m (Either e a, f (ContinueT e f m a))

Instances

(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)

type Continue e f = ContinueT e f Identity

ContinueT over Identity.

Convenience types

type LastEx = Last SomeException

Type alias for the common case of using Last SomeException as the suspension monoid.