Control.Monad.Coroutine

Coroutine definition

data Coroutine s m r

type CoroutineStepResult s m r

suspend

Coroutine operations

mapMonad

mapSuspension

mapFirstSuspension

Running coroutines

data Naught x

runCoroutine

bounce

pogoStick

pogoStickM

foldRun

Weaving coroutines together

type PairBinder m

sequentialBinder

parallelBinder

liftBinder

type Weaver s1 s2 s3 m x y z

type WeaveStepper s1 s2 s3 m x y z

weave

merge