[][src]Trait eff::coproduct::Inject

pub trait Inject<E, Index> where
    E: Effect
{ fn inject(effect: E, cx: TypedContext<E>) -> Self; }

A trait for constructing a coproduct from an effect and a task context

Required methods

fn inject(effect: E, cx: TypedContext<E>) -> Self

Construct a coproduct from an effect and a task context

Loading content...

Implementors

impl<E, F, Rest, Index> Inject<E, Succ<Index>> for Either<F, Rest> where
    E: Effect,
    F: Effect,
    Rest: Inject<E, Index>, 
[src]

impl<E, Rest> Inject<E, Zero> for Either<E, Rest> where
    E: Effect
[src]

Loading content...