Struct frunk::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, Type> Copy for Field<Name, Type> where
    Name: Copy,
    Type: Copy, 

impl<Name, Type> PartialEq<Field<Name, Type>> for Field<Name, Type> where
    Name: PartialEq<Name>,
    Type: PartialEq<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, Type> Hash for Field<Name, Type> where
    Name: Hash,
    Type: Hash, 

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

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

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

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

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

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, 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 + Transmogrifier<TargetValue, TransmogIndices>,
    TargetValue: LabelledGeneric, 

fn transmogrify(self) -> TargetValue

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

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

Implementation of Transmogrifier that maps over a Vec 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<Name, Type> Debug for Field<Name, Type> where
    Type: Debug, 

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

Formats the value using the given formatter.

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

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

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

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

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

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

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

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

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