Struct frunk_core::indices::Here [−][src]
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<T, Tail> Selector<T, Here> for HCons<T, Tail>[src]
impl<T, Tail> Selector<T, Here> for HCons<T, Tail>impl<T, Tail> Plucker<T, Here> for HCons<T, Tail>[src]
impl<T, Tail> Plucker<T, Here> for HCons<T, Tail>Implementation when the pluck target is in head
type Remainder = Tail
What is left after you pluck the target from the Self
fn pluck(self) -> (T, Self::Remainder)[src]
fn pluck(self) -> (T, Self::Remainder)Remove an element by type from an HList. Read more
impl<T, Tail> LiftFrom<T, Here> for HCons<T, Tail> where
Tail: Default + HList, [src]
impl<T, Tail> LiftFrom<T, Here> for HCons<T, Tail> where
Tail: Default + HList, impl<I, Tail> CoprodInjector<I, Here> for Coproduct<I, Tail>[src]
impl<I, Tail> CoprodInjector<I, Here> for Coproduct<I, Tail>impl<Head, Tail> CoproductSelector<Head, Here> for Coproduct<Head, Tail>[src]
impl<Head, Tail> CoproductSelector<Head, Here> for Coproduct<Head, Tail>impl<Head, Tail> CoproductTaker<Head, Here> for Coproduct<Head, Tail>[src]
impl<Head, Tail> CoproductTaker<Head, Here> for Coproduct<Head, Tail>fn take(self) -> Option<Head>[src]
fn take(self) -> Option<Head>Retrieve an element from a coproduct by type, ignoring all others. Read more
impl<Hd, Tl> CoprodUninjector<Hd, Here> for Coproduct<Hd, Tl>[src]
impl<Hd, Tl> CoprodUninjector<Hd, Here> for Coproduct<Hd, Tl>