Documentation

data Coroutine a b :: Effect where Source #

yield :: Coroutine a b :< effs => a -> Eff effs b Source #

data Status effs a b c Source #

runCoroutine :: Eff (Coroutine a b ': effs) c -> Eff effs (Status effs a b c) Source #