Control.Monad.Freer.Coroutine

Description

An effect to compose functions with the ability to yield.

Synopsis

Documentation

data Yield a b v #

A type representing a yielding of control a: The current type b: The input to the continuation function v: The output of the continuation

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) r => a -> (b -> c) -> Eff r c #

Lifts a value and a function into the Coroutine effect

data Status r a b #

Status of a thread: done or reporting the value of the type a and resuming with the value of type b

Constructors

Done
Continue a (b -> Eff r (Status r a b))

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

Launch a thread and report its status