Struct eff::coproduct::Succ

pub struct Succ<T>(_);

A type corresponding to the next natural number of the argument

Trait Implementations

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

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

Construct a coproduct from an effect and a task context

impl<E, F, Rest, Index> Uninject<E, Succ<Index>> for Either<F, Rest> where
    E: Effect,
    F: Effect,
    Rest: Uninject<E, Index>, 

type Remainder = Either<F, <Rest as Uninject<E, Index>>::Remainder>

The other effect types of this coproduct

fn uninject(self) -> Result<(E, TypedContext<E>), Self::Remainder>

Retrieve an effect and a sender from self if the type matches