Control.Eff.Coroutine

Coroutines implemented with extensible effects

Documentation

data Yield a v

The yield request: reporting a value of type e and suspending the coroutine. For readability, a coroutine accepts a unit to produce its value.

Instances

Typeable2 Yield

Functor (Yield a)

yield :: (Typeable a, Member (Yield a) r) => a -> Eff r ()

Yield a value of type a and suspend the coroutine.

runC :: Typeable a => Eff (Yield a :> r) w -> Eff r (Y r a)

Launch a thread and report its status.

data Y r a

Status of a thread: done or reporting the value of the type a (For simplicity, a co-routine reports a value but accepts unit)

Constructors

Done

Y a (() -> Eff r (Y r a))