[−][src]Trait eff::coproduct::Uninject
A trait for destructing a coproduct into an effect and a task context
Associated Types
type Remainder
The other effect types of this coproduct
Required methods
fn uninject(self) -> Result<(E, TypedContext<E>), Self::Remainder>
Retrieve an effect and a sender from self if the type matches
Errors
If self
holds an effect of a different type, this method returns an error
Implementors
impl<E, F, Rest, Index> Uninject<E, Succ<Index>> for Either<F, Rest> where
E: Effect,
F: Effect,
Rest: Uninject<E, Index>,
[src]
E: Effect,
F: Effect,
Rest: Uninject<E, Index>,
type Remainder = Either<F, <Rest as Uninject<E, Index>>::Remainder>
fn uninject(self) -> Result<(E, TypedContext<E>), Self::Remainder>
[src]
impl<E, Rest> Uninject<E, Zero> for Either<E, Rest> where
E: Effect,
[src]
E: Effect,