Struct frunk_core::labelled::Field

pub struct Field<Name, Type> {
    pub name: &'static str,
    pub value: Type,
    // some fields omitted
}

A Label contains a type-level Name, a runtime value, and a reference to a &'static str name.

To construct one, use the field! macro.

Examples

use frunk::labelled::chars::*;

let labelled = field![(n,a,m,e), "joe"];
assert_eq!(labelled.name, "name");
assert_eq!(labelled.value, "joe")

Fields

name: &'static str

value: Type

Trait Implementations

impl<Name: Clone, Type: Clone> Clone for Field<Name, Type>

fn clone(&self) -> Field<Name, Type>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Name: Copy, Type: Copy> Copy for Field<Name, Type>

impl<Name, Type> Debug for Field<Name, Type> where
    Type: Debug, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Name: Eq, Type: Eq> Eq for Field<Name, Type>

impl<Name: Hash, Type: Hash> Hash for Field<Name, Type>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<Name: Ord, Type: Ord> Ord for Field<Name, Type>

fn cmp(&self, other: &Field<Name, Type>) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl<Name: PartialEq, Type: PartialEq> PartialEq<Field<Name, Type>> for Field<Name, Type>

fn eq(&self, other: &Field<Name, Type>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Field<Name, Type>) -> bool

This method tests for !=.

impl<Name: PartialOrd, Type: PartialOrd> PartialOrd<Field<Name, Type>> for Field<Name, Type>

fn partial_cmp(&self, other: &Field<Name, Type>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]pub fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]pub fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<Name, Type> StructuralEq for Field<Name, Type>

impl<Name, Type> StructuralPartialEq for Field<Name, Type>

impl<Key, Source, Target, InnerIndices> Transmogrifier<Box<Target, Global>, MappingIndicesWrapper<InnerIndices>> for Field<Key, Box<Source>> where
    Source: Transmogrifier<Target, InnerIndices>, 

Implementation of Transmogrifier that maps over an Box in a Field, transmogrifying the contained element on the way past.

fn transmogrify(self) -> Box<Target>

Consume this current object and return an object of the Target type.

impl<SourceHead, SourceTail, TargetName, TargetHead, TargetTail, TransmogHeadIndex, TransmogTailIndices> Transmogrifier<HCons<TargetHead, TargetTail>, HCons<TransmogHeadIndex, TransmogTailIndices>> for Field<TargetName, HCons<SourceHead, SourceTail>> where
    HCons<SourceHead, SourceTail>: Transmogrifier<HCons<TargetHead, TargetTail>, HCons<TransmogHeadIndex, TransmogTailIndices>>, 

Implementation of Transmogrifier for when the target is an HList, and the Source is a plucked HList.

fn transmogrify(self) -> HCons<TargetHead, TargetTail>

Consume this current object and return an object of the Target type.

impl<Key, Source, Target, InnerIndices> Transmogrifier<LinkedList<Target>, MappingIndicesWrapper<InnerIndices>> for Field<Key, LinkedList<Source>> where
    Source: Transmogrifier<Target, InnerIndices>, 

Implementation of Transmogrifier that maps over a $container in a Field, transmogrifying the elements on the way past.

fn transmogrify(self) -> LinkedList<Target>

Consume this current object and return an object of the Target type.

impl<Key, Source, Target, InnerIndices> Transmogrifier<Option<Target>, MappingIndicesWrapper<InnerIndices>> for Field<Key, Option<Source>> where
    Source: Transmogrifier<Target, InnerIndices>, 

Implementation of Transmogrifier that maps over an Option in a Field, transmogrifying the contained element on the way past if present.

fn transmogrify(self) -> Option<Target>

Consume this current object and return an object of the Target type.

impl<Key, SourceValue> Transmogrifier<SourceValue, IdentityTransMog> for Field<Key, SourceValue>

Implementation of Transmogrifier for identity plucked Field to Field Transforms.

fn transmogrify(self) -> SourceValue

Consume this current object and return an object of the Target type.

impl<Source, TargetName, TargetValue, TransmogIndices> Transmogrifier<TargetValue, PluckedLabelledGenericIndicesWrapper<TransmogIndices>> for Field<TargetName, Source> where
    Source: LabelledGeneric,
    TargetValue: LabelledGeneric,
    Source: Transmogrifier<TargetValue, TransmogIndices>, 

fn transmogrify(self) -> TargetValue

Consume this current object and return an object of the Target type.

impl<Key, Source, Target, InnerIndices> Transmogrifier<Vec<Target, Global>, MappingIndicesWrapper<InnerIndices>> for Field<Key, Vec<Source>> where
    Source: Transmogrifier<Target, InnerIndices>, 

Implementation of Transmogrifier that maps over a $container in a Field, transmogrifying the elements on the way past.

fn transmogrify(self) -> Vec<Target>

Consume this current object and return an object of the Target type.

impl<Key, Source, Target, InnerIndices> Transmogrifier<VecDeque<Target>, MappingIndicesWrapper<InnerIndices>> for Field<Key, VecDeque<Source>> where
    Source: Transmogrifier<Target, InnerIndices>, 

Implementation of Transmogrifier that maps over a $container in a Field, transmogrifying the elements on the way past.

fn transmogrify(self) -> VecDeque<Target>

Consume this current object and return an object of the Target type.