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

pub struct Here { /* fields omitted */ }

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

[src]

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

[src]

pub 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)

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

[src]

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

[src]

pub fn inject(to_insert: I) -> Coproduct<I, Tail>

Instantiate a coproduct from an element. Read more

[src]

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

type Remainder = Tl

[src]

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

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

[src]

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

[src]

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

Borrow an element from a coproduct by type. Read more

[src]

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

[src]

pub fn take(self) -> Option<Head>

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

[src]

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

[src]

pub fn lift_from(part: T) -> HCons<T, Tail>

Performs the indexed conversion.

[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

[src]

pub fn pluck(self) -> (T, <HCons<T, Tail> as Plucker<T, Here>>::Remainder)

Remove an element by type from an HList. Read more

[src]

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

[src]

pub fn get(&self) -> &T

Borrow an element by type from an HList. Read more

[src]

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

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

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

[src]

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

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

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

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

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

[src]

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

Mutably borrows from an owned value. Read more

[src]

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

type Remainder = Choices

[src]

pub 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

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

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

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

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

[src]

pub fn lift_into(self) -> U

Performs the indexed conversion.

[src]

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

type Remainder = Source

[src]

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

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

[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

[src]

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

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

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.