Struct frunk::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, I, Tail, TailIndex> CoprodInjector<I, There<TailIndex>> for Coproduct<Head, Tail> where
    Tail: CoprodInjector<I, TailIndex>, 

fn inject(to_insert: I) -> Coproduct<Head, Tail>

Instantiate a coproduct from an element.

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.

fn get_mut(&mut self) -> &mut FromTail

Mutably borrow an element by type from an HList.

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<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) -> HCons<Head, Tail>

Performs the indexed conversion.

impl<Head, Tail, K, TailIndex> ByNameFieldPlucker<K, There<TailIndex>> for HCons<Head, Tail> where
    Tail: ByNameFieldPlucker<K, TailIndex>, 

Implementation when the pluck target key is in the tail.

type TargetValue = <Tail as ByNameFieldPlucker<K, TailIndex>>::TargetValue

type Remainder = HCons<Head, <Tail as ByNameFieldPlucker<K, TailIndex>>::Remainder>

fn pluck_by_name(
    self
) -> (Field<K, <HCons<Head, Tail> as ByNameFieldPlucker<K, There<TailIndex>>>::TargetValue>, <HCons<Head, Tail> as ByNameFieldPlucker<K, There<TailIndex>>>::Remainder)

Returns a pair consisting of the value pointed to by the target key and the remainder.

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

type Remainder = Coproduct<Hd, <Tl as CoprodUninjector<T, N>>::Remainder>

fn uninject(
    self
) -> Result<T, <Coproduct<Hd, Tl> as CoprodUninjector<T, There<N>>>::Remainder>

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

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, 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, <HCons<Head, Tail> as Plucker<FromTail, There<TailIndex>>>::Remainder)

Remove an element by type from an HList.