Control.Monad.Hefty.Coroutine

Documentation

runCoroutine :: forall a b ans (r :: [Type -> Type]). Eff ('[] :: [EffectH]) (Yield a b ': r) ans -> Eff ('[] :: [EffectH]) r (Status (Eff ('[] :: [EffectH]) r) a b ans)