Control.Effect.Coroutine

Documentation

type EffectCoroutine i o es = (Member (Coroutine i o) es, `(i, o)` ~ CoroutineType es)

data Coroutine i o a

An effect describing a suspendable computation.

Instances

Functor (Coroutine i o)

data Iterator i o es a

A suspended computation.

Constructors

Done a

Describes a finished computation.

Next (o -> Effect es (Iterator i o es a)) i

Describes a computation that provided a value of type i and awaits a value of type o.

runCoroutine :: Effect (Coroutine i o : es) a -> Effect es (Iterator i o es a)

Converts a Coroutine effect into an Iterator.

suspend :: EffectCoroutine i o es => i -> Effect es o

Suspends the current computation by providing a value of type i and then waiting for a value of type o.