yield package:data-effects

yield :: forall a b f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, Yield a b :> es) => a -> f b

data-effects Data.Effect.Coroutine

Transfers control to the caller of the computation with coroutines along with a value of type a, and receives a value of type b from the caller.

data Yield a b (c :: Type -> Type) d

data-effects Data.Effect.Coroutine

An effect for coroutines. Realizes an operation that transfers control to the caller of the computation with coroutines along with a value of type a, and receives a value of type b from the caller.

Yield :: forall a b (c :: Type -> Type) . a -> Yield a b c b

data-effects Data.Effect.Coroutine

Transfers control to the caller of the computation with coroutines along with a value of type a, and receives a value of type b from the caller.

yield'_ :: forall a b f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, In (Yield a b) es) => a -> f b

data-effects Data.Effect.Coroutine

Transfers control to the caller of the computation with coroutines along with a value of type a, and receives a value of type b from the caller.

data YieldLabel

data-effects Data.Effect.Coroutine

inputToYield :: forall i (f :: Type -> Type) a . Input i f a -> Yield () i f a

data-effects Data.Effect.Coroutine

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

outputToYield :: forall o (f :: Type -> Type) a . Output o f a -> Yield o () f a

data-effects Data.Effect.Coroutine

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