[−][src]Trait eff::coproduct::Subset
A trait for taking subset effects out of Self
Associated Types
type Remainder
The other effect types
Required methods
Loading content...Implementations on Foreign Types
impl Subset<!, !> for !
[src]
Loading content...
Implementors
impl<E, Rest> Subset<!, !> for Either<E, Rest> where
E: Effect,
[src]
E: Effect,
impl<T, E, Rest, HeadIndex, TailIndices> Subset<Either<E, Rest>, Either<Wrap<HeadIndex>, TailIndices>> for T where
E: Effect,
T: Uninject<E, HeadIndex>,
<T as Uninject<E, HeadIndex>>::Remainder: Subset<Rest, TailIndices>,
[src]
E: Effect,
T: Uninject<E, HeadIndex>,
<T as Uninject<E, HeadIndex>>::Remainder: Subset<Rest, TailIndices>,