yield package:freer-simple

yield :: Member (Yield a b) effs => a -> (b -> c) -> Eff effs c
freer-simple Control.Monad.Freer.Coroutine
Lifts a value and a function into the Coroutine effect.
data Yield a b c
freer-simple Control.Monad.Freer.Coroutine
A type representing a yielding of control. Type variables have following meaning:
  • a The current type.
  • b The input to the continuation function.
  • c The output of the continuation.
Yield :: a -> (b -> c) -> Yield a b c
freer-simple Control.Monad.Freer.Coroutine