Trait coproduct::Split

pub trait Split<Selection, Indices>: Sized {
    type Remainder;

    fn split(self) -> Result<Selection, Self::Remainder>;
}

Required Associated Types

type Remainder

Required Methods

fn split(self) -> Result<Selection, Self::Remainder>

Extract a subset of the possible types in a coproduct (or get the remaining possibilities)

Implementors

impl<T: Copy, I, U: Copy, Rem> Split<CopyableCoproduct<T>, I> for CopyableCoproduct<U>where
    LeakingCoproduct<U>: Split<LeakingCoproduct<T>, I, Remainder = LeakingCoproduct<Rem>>,
    Rem: Copy,

type Remainder = CopyableCoproduct<Rem>

impl<T: IndexedDrop, I, U: IndexedDrop, Rem> Split<Coproduct<T>, I> for Coproduct<U>where
    LeakingCoproduct<U>: Split<LeakingCoproduct<T>, I, Remainder = LeakingCoproduct<Rem>>,
    Rem: IndexedDrop,

type Remainder = Coproduct<Rem>