Control.Monad.Freer.Coroutine

An effect to compose functions with the ability to yield.

Using http://okmij.org/ftp/Haskell/extensible/Eff1.hs as a starting point.

Documentation

data Yield a b c

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.

Constructors

Yield a (b -> c)

Instances

Functor (Yield a b)

Methods

fmap :: (a -> b) -> Yield a b a -> Yield a b b

(<$) :: a -> Yield a b b -> Yield a b a

yield :: Member (Yield a b) effs => a -> (b -> c) -> Eff effs c

Lifts a value and a function into the Coroutine effect.

data Status effs a b

Represents status of a coroutine.

Constructors

Done

Coroutine is done.

Continue a (b -> Eff effs (Status effs a b))

Reporting a value of the type a, and resuming with the value of type b.

runC :: Eff (Yield a b ': effs) w -> Eff effs (Status effs a b)

Launch a coroutine and report its status.