Effectful.Coroutine

Experimental support for coroutines.

Documentation

data Coroutine o i

data Status es o i r

Constructors

Done r

Yielded o (i -> Eff es (Status es o i r))

runCoroutine :: Eff (Coroutine o i ': es) r -> Eff es (Status es o i r)

yield :: Coroutine o i :> es => o -> Eff es i