[−][src]Module agnes::label
Traits, structs, and type aliases for handling cons-list element labels and associated logic.
Structs
Ident | An basic identifier struct for an identifier within the table |
Labeled | Container for a value of type |
Local | Common dummy table for 'local' lookups -- lookups that are not related to the concept of tables (in particular, used for looking up the frame index in a view from a field label) |
TypedValue | Container for storing the underlying data type |
Traits
AssocLabels | Generates a LabelCons-list with the labels associated with this cons-list. |
HasLabels | Trait to ensure that all labels in |
IdentEq | Ident-level equality. Leverages |
Identifier | Trait to provide associated types (table and backing natural) for a field identifier. |
IntoLabeled | Trait for labeling an arbitrary value (to construct a Labeled) object). |
IsLabelSet | Marker trait for ensuring that the labels of a cons-list constitute a set (no label cardinality greater than 1). |
Label | A label, which is simply an Identifier along with an associated
|
LabelEq | Trait for determining whether or not the |
LabelName | Trait to access name and type description for a label. |
LabelSubset | Trait to find the subset of cons-list |
LabelSubsetPred | Helper filter trait. Used by |
LookupElemByLabel | Look up an element from a cons-list by label |
LookupElemByNat | Look up an element from a cons-list by |
LookupMarkedElemByLabel | Sepcialization of LookupElemByLabel where the looked-up element implements Marked. |
LookupNatByLabel | Lookup a type-level natural number backing label |
LookupNatByLabelMatch | Helper lookup trait for LookupNatByLabel. Used by
|
LookupTypedElemByLabel | Sepcialization of LookupElemByLabel where the looked-up element implements Typed. |
LookupValuedElemByLabel | Sepcialization of LookupElemByLabel where the looked-up element implements Valued. |
Marked | Trait for finding the associated marker (non-instantiated type) for a container (e.g. Labeled). |
Member |
|
Reorder | Trait to compute the new ordering of a labeled cons-list using the new ordering
|
Reordering | Trait for a labeled cons-list which describes a reordering of the labels in |
SelfValued | Marker trait for an object that can be held in a Labeled<...> or TypedValue<...> container. |
SetDiff | Determines the set difference between an LVCons label set and another
LVCons label set |
SetDiffMatch | Helper trait used SetDiff to compute the set difference between two label
sets. |
SetDiffStep | Helper trait used SetDiff to compute the set difference between two label
sets. |
StrLabels | Trait for generating a collection ( |
StrTypes | Trait for generating a collection ( |
SubsetClone | Trait for calling function |
SubsetClonePred | Helper trait. Used by |
TakeElemByLabel | Take an element from a cons-list using label |
TakeElemByNat | Take an element from a cons-list using |
Typed | Trait for associating an underlying data type with a type. |
Valued | Trait for extracting the an associated value of a value-holding container (e.g. TypedValue, Labeled). |
Type Definitions
ElemOf | Type alias for an element (as looked up by |
False | Type alias for the 'false' bit. |
LCons | Label-only cons-list |
LDVCons | Label-DType-value cons-list |
LMCons | Label-marker cons-list |
LVCons | Label-value cons-list |
LabelCons | Type alias for a label-only cons-list. |
LabelSetDiff | Type alias for the label set that is the set different between |
MarkedElemOf | Type alias for an element implementing Marked (as looked up by |
MarkerOf | Type alias for retrieving the marker of a Marked object. |
MarkerOfElemOf | Type alias for the associated |
NatOf | Helpful type alias to refer to the backing natural number for an identifier. |
TblOf | Helpful type alias to refer to the table in which an identifier exists. |
True | Type alias for the 'true' bit. |
TypeOf | Type alias for the associated data type. |
TypeOfElemOf | Type alias for the associated |
TypedElemOf | Type alias for an element implementing Typed (as looked up by |
ValueOf | Type alias for retrieving the Value of a Valued object. |
ValueOfElemOf | Type alias for the associated |
ValuedElemOf | Type alias for an element implementing Valued (as looked up by |