yield package:freer-simple

Lifts a value and a function into the Coroutine effect.
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.