Struct frunk_core::indices::There

pub struct There<T> { /* fields omitted */ }

Used as an index into an HList.

There<T> is 1 + T.

Users should normally allow type inference to create this type.

Trait Implementations

impl<Head, Tail, FromTail, TailIndex> Selector<FromTail, There<TailIndex>> for HCons<Head, Tail> where
    Tail: Selector<FromTail, TailIndex>, 

fn get(&self) -> &FromTail

Borrow an element by type from an HList.

impl<Head, Tail, FromTail, TailIndex> Plucker<FromTail, There<TailIndex>> for HCons<Head, Tail> where
    Tail: Plucker<FromTail, TailIndex>, 

Implementation when the pluck target is in the tail

type Remainder = HCons<Head, <Tail as Plucker<FromTail, TailIndex>>::Remainder>

What is left after you pluck the target from the Self

fn pluck(self) -> (FromTail, Self::Remainder)

Remove an element by type from an HList.

impl<Head, Tail, ValAtIx, TailIx> LiftFrom<ValAtIx, There<TailIx>> for HCons<Head, Tail> where
    Head: Default,
    Tail: HList + LiftFrom<ValAtIx, TailIx>, 

fn lift_from(part: ValAtIx) -> Self

Performs the indexed conversion.

impl<Head, I, Tail, TailIndex> CoprodInjector<I, There<TailIndex>> for Coproduct<Head, Tail> where
    Tail: CoprodInjector<I, TailIndex>, 

fn inject(to_insert: I) -> Self

Instantiate a coproduct from an element.

impl<Head, FromTail, Tail, TailIndex> CoproductSelector<FromTail, There<TailIndex>> for Coproduct<Head, Tail> where
    Tail: CoproductSelector<FromTail, TailIndex>, 

fn get(&self) -> Option<&FromTail>

Borrow an element from a coproduct by type.

impl<Head, FromTail, Tail, TailIndex> CoproductTaker<FromTail, There<TailIndex>> for Coproduct<Head, Tail> where
    Tail: CoproductTaker<FromTail, TailIndex>, 

fn take(self) -> Option<FromTail>

Retrieve an element from a coproduct by type, ignoring all others.

impl<Hd, Tl, T, N> CoprodUninjector<T, There<N>> for Coproduct<Hd, Tl> where
    Tl: CoprodUninjector<T, N>, 

type Remainder = Coproduct<Hd, Tl::Remainder>

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

Attempt to extract a value from a coproduct (or get the remaining possibilities).