heftia-effects-0.5.0.0: higher-order algebraic effects done right

Copyright	(c) 2024 Sayo Koyoneda
License	MPL-2.0 (see the LICENSE file)
Maintainer	[email protected]
Safe Haskell	None
Language	GHC2021

Control.Monad.Hefty.Coroutine

Description

Interpreters for the coroutine effect.

Synopsis

runCoroutine :: forall a b ans (ef :: [Type -> Type]). Eff ('[] :: [EffectH]) (Yield a b ': ef) ans -> Eff ('[] :: [EffectH]) ef (Status (Eff ('[] :: [EffectH]) ef) a b ans)
inputToYield :: Input i x -> Yield () i x
outputToYield :: Output o x -> Yield o () x
module Data.Effect.Coroutine
module Data.Effect.Input
module Data.Effect.Output

Documentation

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

Interpret the coroutine's Yield effect.

inputToYield :: Input i x -> Yield () i x Source #

Converts the Input effect into the coroutine's Yield effect.

outputToYield :: Output o x -> Yield o () x Source #

Converts the Output effect into the coroutine's Yield effect.

module Data.Effect.Coroutine

module Data.Effect.Input

module Data.Effect.Output