Trait eff::coproduct::Subset

pub trait Subset<Target, Indices> {
type Remainder;
    fn subset(self) -> Result<Target, Self::Remainder>;
}

A trait for taking subset effects out of Self

Associated Types

type Remainder

The other effect types

Loading content...

Required methods

fn subset(self) -> Result<Target, Self::Remainder>

Take the subset of Self

Loading content...

Implementations on Foreign Types

impl Subset<!, !> for !

type Remainder = !

fn subset(self) -> Result<!, Self::Remainder>

Loading content...

Implementors

impl<E, Rest> Subset<!, !> for Either<E, Rest> where
    E: Effect, 

type Remainder = Self

fn subset(self) -> Result<!, Self::Remainder>

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>, 

type Remainder = <<T as Uninject<E, HeadIndex>>::Remainder as Subset<Rest, TailIndices>>::Remainder

fn subset(self) -> Result<Either<E, Rest>, Self::Remainder>

Loading content...