frunk_core::indices

Struct Here

Source 
pub struct Here { /* private fields */ }
Expand description

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§

Source§

impl<'a, K, V, Tail: ToRef<'a>> ByNameFieldPlucker<K, Here> for &'a HCons<Field<K, V>, Tail>

Implementation when target is reference and the pluck target key is in the head.

Source§

type TargetValue = &'a V

Source§

type Remainder = <Tail as ToRef<'a>>::Output

Source§

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

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

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

Implementation when the pluck target key is in the head.

Source§

type TargetValue = V

Source§

type Remainder = Tail

Source§

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

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

impl<I, Tail> CoprodInjector<I, Here> for Coproduct<I, Tail>

Source§

fn inject(to_insert: I) -> Self

Instantiate a coproduct from an element. Read more
Source§

impl<Hd, Tl> CoprodUninjector<Hd, Here> for Coproduct<Hd, Tl>

Source§

type Remainder = Tl

Source§

fn uninject(self) -> Result<Hd, Tl>

Attempt to extract a value from a coproduct (or get the remaining possibilities). Read more
Source§

impl<Head, Tail> CoproductSelector<Head, Here> for Coproduct<Head, Tail>

Source§

fn get(&self) -> Option<&Head>

Borrow an element from a coproduct by type. Read more
Source§

impl<Head, Tail> CoproductTaker<Head, Here> for Coproduct<Head, Tail>

Source§

fn take(self) -> Option<Head>

Retrieve an element from a coproduct by type, ignoring all others. Read more
Source§

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

Source§

fn lift_from(part: T) -> Self

Performs the indexed conversion.
Source§

impl<'a, T, Tail: ToRef<'a>> Plucker<&'a T, Here> for &'a HCons<T, Tail>

Implementation when target is reference and the pluck target is in head

Source§

type Remainder = <Tail as ToRef<'a>>::Output

What is left after you pluck the target from the Self
Source§

fn pluck(self) -> (&'a T, Self::Remainder)

Remove an element by type from an HList. Read more
Source§

impl<T, Tail> Plucker<T, Here> for HCons<T, Tail>

Implementation when the pluck target is in head

Source§

type Remainder = Tail

What is left after you pluck the target from the Self
Source§

fn pluck(self) -> (T, Self::Remainder)

Remove an element by type from an HList. Read more
Source§

impl<T, Tail> Selector<T, Here> for HCons<T, Tail>

Source§

fn get(&self) -> &T

Borrow an element by type from an HList. Read more
Source§

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

Mutably borrow an element by type from an HList. Read more

Auto Trait Implementations§

§

impl Freeze for Here

§

impl RefUnwindSafe for Here

§

impl Send for Here

§

impl Sync for Here

§

impl Unpin for Here

§

impl UnwindSafe for Here

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Choices> CoproductSubsetter<CNil, HNil> for Choices

Source§

type Remainder = Choices

Source§

fn subset( self, ) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>

Extract a subset of the possible types in a coproduct (or get the remaining possibilities) Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

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

Source§

fn lift_into(self) -> U

Performs the indexed conversion.
Source§

impl<Source> Sculptor<HNil, HNil> for Source

Source§

type Remainder = Source

Source§

fn sculpt(self) -> (HNil, <Source as Sculptor<HNil, HNil>>::Remainder)

Consumes the current HList and returns an HList with the requested shape. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

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

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.