[][src]Struct frunk::indices::Here

pub struct Here { /* fields omitted */ }

Used as an index into an HList.

Here is 0, pointing to the head of the HList.

Users should normally allow type inference to create this type.

Trait Implementations

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

Implementation when the pluck target key is in the head.

type TargetValue = V

type Remainder = Tail

impl<I, Tail> CoprodInjector<I, Here> for Coproduct<I, Tail>[src]

impl<Hd, Tl> CoprodUninjector<Hd, Here> for Coproduct<Hd, Tl>[src]

type Remainder = Tl

impl<Head, Tail> CoproductSelector<Head, Here> for Coproduct<Head, Tail>[src]

impl<Head, Tail> CoproductTaker<Head, Here> for Coproduct<Head, Tail>[src]

impl<T, Tail> LiftFrom<T, Here> for HCons<T, Tail> where
    Tail: Default + HList
[src]

impl<T, Tail> Plucker<T, Here> for HCons<T, Tail>[src]

Implementation when the pluck target is in head

type Remainder = Tail

What is left after you pluck the target from the Self

impl<T, Tail> Selector<T, Here> for HCons<T, Tail>[src]

Auto Trait Implementations

impl RefUnwindSafe for Here

impl Send for Here

impl Sync for Here

impl Unpin for Here

impl UnwindSafe for Here

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<Choices> CoproductSubsetter<CNil, HNil> for Choices[src]

type Remainder = Choices

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U, I> LiftInto<U, I> for T where
    U: LiftFrom<T, I>, 
[src]

impl<Source> Sculptor<HNil, HNil> for Source[src]

type Remainder = Source

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.