Control.Effect.Coroutine

Documentation

class MemberEffect Coroutine (Coroutine i o) es => EffectCoroutine i o es

Instances

MemberEffect (* -> * -> * -> *) Coroutine (Coroutine i o) es => EffectCoroutine i o es

data Coroutine i o a

An effect describing a suspendable computation.

Instances

Functor (Coroutine i o)

type Is (* -> * -> * -> *) Coroutine f

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.

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.

evalIterator :: Iterator i o es a -> [o] -> Effect es (Iterator i o es a, [i])

Evaluates an iterator by providing it with an input stream.