Module type_level_values::field_traits

Structs

GetFieldOp	A type-level function.Implements TypeFn<> for the trait of a similar name.
MapFieldOp	Type-level equivalent of "|This, Field, Mapper|{ This[Field]=Mapper(This[Field]); This }".
MapIntoFieldOp	Type-level equivalent of "|This, Field, Mapper|{ This[Field]=Mapper(This); This }".
SetFieldOp	A type-level function.Implements TypeFn<> for the trait of a similar name.
SetFieldValuePair	Type-level equivalent of |Struc,(Field,Value)|{ Struc[Field]=Value; Struc }
SetFieldsOp	Sets the fields of Struc with the FVPairs list of (FieldAccessor,Value) pairs.
SetFieldsToOp	Set all the fields mentioned in the Fields list to the Value value .

Traits

Field_	Trait for field accessors.
GetFieldRuntime_	Gets the runtime value of a field of a ConstValue.
GetField_	Gets the value of the fields of a ConstValue.
SetField_	Allows setting a field of a type-level struct.
SetFields_	Sets the fields of Self with the FVPairs list of (FieldAccessor,Value) pairs.

Type Definitions

GetField	Returns the compile-time value of a field.
GetFieldRuntime	Returns the runtime type of a field.
MapField	Type-level equivalent of "|This, Field, Mapper|{ This[Field]=Mapper(This[Field]); This }".
MapIntoField	Type-level equivalent of "|This, Field, Mapper|{ This[Field]=Mapper(This); This }".
SetField	Changes the compile-time value of a field,returning a new struct.
SetFields	Sets the values of fields in This initializing all the fields with FVPairs.
SetFieldsTo	Set all the fields mentioned in the Fields list to the Value value .