[−][src]Struct frunk::indices::There
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> Plucker<FromTail, There<TailIndex>> for HCons<Head, Tail> where
Tail: Plucker<FromTail, TailIndex>,
[src]
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)
[src]
self
) -> (FromTail, <HCons<Head, Tail> as Plucker<FromTail, There<TailIndex>>>::Remainder)
impl<Head, I, Tail, TailIndex> CoprodInjector<I, There<TailIndex>> for Coproduct<Head, Tail> where
Tail: CoprodInjector<I, TailIndex>,
[src]
Tail: CoprodInjector<I, TailIndex>,
impl<Head, Tail, FromTail, TailIndex> Selector<FromTail, There<TailIndex>> for HCons<Head, Tail> where
Tail: Selector<FromTail, TailIndex>,
[src]
Tail: Selector<FromTail, TailIndex>,
impl<Head, FromTail, Tail, TailIndex> CoproductTaker<FromTail, There<TailIndex>> for Coproduct<Head, Tail> where
Tail: CoproductTaker<FromTail, TailIndex>,
[src]
Tail: CoproductTaker<FromTail, TailIndex>,
impl<Head, Tail, ValAtIx, TailIx> LiftFrom<ValAtIx, There<TailIx>> for HCons<Head, Tail> where
Head: Default,
Tail: HList + LiftFrom<ValAtIx, TailIx>,
[src]
Head: Default,
Tail: HList + LiftFrom<ValAtIx, TailIx>,
impl<Hd, Tl, T, N> CoprodUninjector<T, There<N>> for Coproduct<Hd, Tl> where
Tl: CoprodUninjector<T, N>,
[src]
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>
[src]
self
) -> Result<T, <Coproduct<Hd, Tl> as CoprodUninjector<T, There<N>>>::Remainder>
impl<Head, Tail, K, TailIndex> ByNameFieldPlucker<K, There<TailIndex>> for HCons<Head, Tail> where
Tail: ByNameFieldPlucker<K, TailIndex>,
[src]
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)
[src]
self
) -> (Field<K, <HCons<Head, Tail> as ByNameFieldPlucker<K, There<TailIndex>>>::TargetValue>, <HCons<Head, Tail> as ByNameFieldPlucker<K, There<TailIndex>>>::Remainder)
impl<Head, FromTail, Tail, TailIndex> CoproductSelector<FromTail, There<TailIndex>> for Coproduct<Head, Tail> where
Tail: CoproductSelector<FromTail, TailIndex>,
[src]
Tail: CoproductSelector<FromTail, TailIndex>,
Auto Trait Implementations
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<Choices> CoproductSubsetter for Choices
[src]
type Remainder = Choices
fn subset(
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
[src]
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
impl<Source> Sculptor for Source
[src]
impl<T, U, I> LiftInto for T where
U: LiftFrom<T, I>,
[src]
U: LiftFrom<T, I>,