Struct frunk_core::labelled::Field

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

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::*;
use frunk_core::field;
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.

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

Performs copy-assignment from source.

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

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

Feeds this value into the given Hasher.

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

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.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl<Name: PartialEq, Type: PartialEq> PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Name: PartialOrd, Type: PartialOrd> PartialOrd 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.

fn lt(&self, other: &Rhs) -> bool

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

fn le(&self, other: &Rhs) -> bool

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

fn gt(&self, other: &Rhs) -> bool

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

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<Key, Source, Target, InnerIndices> Transmogrifier<Box<Target>, 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 + 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 $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.

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

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

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

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