Trait frunk::labelled::ByNameFieldPlucker

pub trait ByNameFieldPlucker<TargetKey, Index> {
    type TargetValue;
    type Remainder;
    fn pluck_by_name(
        self
    ) -> (Field<TargetKey, Self::TargetValue>, Self::Remainder);
}

Trait for plucking out a Field from a type by type-level TargetKey.

Associated Types

type TargetValue

type Remainder

Loading content...

Required methods

fn pluck_by_name(self) -> (Field<TargetKey, Self::TargetValue>, Self::Remainder)

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

Loading content...

Implementors

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)

impl<K, V, Tail> ByNameFieldPlucker<K, Here> for HCons<Field<K, V>, Tail>

Implementation when the pluck target key is in the head.

type TargetValue = V

type Remainder = Tail

fn pluck_by_name(
    self
) -> (Field<K, <HCons<Field<K, V>, Tail> as ByNameFieldPlucker<K, Here>>::TargetValue>, <HCons<Field<K, V>, Tail> as ByNameFieldPlucker<K, Here>>::Remainder)

Loading content...