Struct Yielder 

pub struct Yielder<'a, Effs>
where
    Effs: MapResume,
{ /* private fields */ }

Handle passed to computation closures for yielding effects.

Use yield_ to perform an effect and receive the handler’s resume value.

Implementations

impl<'a, Effs> Yielder<'a, Effs>

where Effs: MapResume,

pub async fn yield_<E, Index>(&self, effect: E) -> E::Resume<'a>

where E: Effect, Effs: CoprodInjector<E, Index>, <Effs as MapResume>::Output<'a>: CoprodUninjector<E::Resume<'a>, Index>,

Yield an effect to the handler and suspend until resumed.

Returns the resume value provided by the handler for this effect.

pub async fn invoke<SubEffs, R, L, Indices>( &self, program: Eff<'a, SubEffs, R, L>, ) -> R

where SubEffs: Effects<'a> + ForwardEffects<'a, Effs, Indices>, L: Locality,

Invoke a sub-program, forwarding its effects through this yielder.

The sub-program’s effects must be a subset of this yielder’s effects. Each effect yielded by the sub-program is forwarded to the outer handler via this yielder, and the resume value is passed back to the sub-program.

Returns the sub-program’s result directly. If the outer handler cancels, the entire coroutine is dropped, so invoke never returns in that case.