Struct LemmaType 

pub struct LemmaType {
    pub name: Option<String>,
    pub specifications: TypeSpecification,
    pub extends: TypeExtends,
    pub measure_binding_unit: Option<String>,
}

Resolved type after planning

Contains a type specification and optional name. Created during planning from TypeSpecification in the AST.

Fields

name: Option<String>

Optional type name (e.g., “age”, “temperature”)

specifications: TypeSpecification

The type specification (Boolean, Number, Measure, etc.).

extends: TypeExtends

What this type extends (primitive or custom from a spec)

measure_binding_unit: Option<String>

Bound display/arithmetic unit for measure values (from literal bind or signature-index hit). When set, LemmaType::measure_runtime_signature returns [(this, 1)] instead of the type’s canonical unit.

Implementations

impl LemmaType

pub fn map_measure<F>(self, f: F) -> Self

where F: FnOnce(MeasureUnits, Option<BTreeMap<String, i32>>) -> (MeasureUnits, Option<BTreeMap<String, i32>>),

Functional update of the Measure payload (units + decomposition). Non-Measure variants pass through unchanged. The transform receives the owned units and decomposition and returns the replacements.

pub fn new( name: String, specifications: TypeSpecification, extends: TypeExtends, ) -> Self

Create a new type with a name

pub fn without_name( specifications: TypeSpecification, extends: TypeExtends, ) -> Self

Create a type without a name (anonymous/inline type)

pub fn primitive(specifications: TypeSpecification) -> Self

Create a primitive type (no name, extends Primitive)

pub fn with_measure_binding_unit(self, unit_name: impl Into<String>) -> Self

Prefer unit_name for [measure_runtime_signature] (bind / signature-index hit).

pub fn name(&self) -> String

Get the type name, or a default based on the type specification

pub fn is_boolean(&self) -> bool

Check if this type is boolean

pub fn matches_primitive_kind(&self, kind: PrimitiveKind) -> bool

pub fn is_measure(&self) -> bool

Check if this type is measure

pub fn is_measure_range(&self) -> bool

pub fn is_number(&self) -> bool

Check if this type is number (dimensionless)

pub fn is_number_range(&self) -> bool

pub fn is_numeric(&self) -> bool

Check if this type is numeric (either measure or number)

pub fn is_text(&self) -> bool

Check if this type is text

pub fn is_date(&self) -> bool

Check if this type is date

pub fn is_date_range(&self) -> bool

pub fn is_time_range(&self) -> bool

pub fn is_time(&self) -> bool

Check if this type is time

pub fn has_trait_duration(&self) -> bool

pub fn is_duration_like_measure(&self) -> bool

pub fn is_duration_like(&self) -> bool

pub fn has_trait_calendar(&self) -> bool

pub fn is_calendar_like_measure(&self) -> bool

pub fn is_calendar_like(&self) -> bool

pub fn is_ratio(&self) -> bool

Check if this type is ratio

pub fn is_ratio_range(&self) -> bool

pub fn is_calendar_measure_range(&self) -> bool

pub fn is_calendar_like_range(&self) -> bool

pub fn is_range(&self) -> bool

pub fn vetoed(&self) -> bool

Check if this type is veto

pub fn is_undetermined(&self) -> bool

True if this type is the undetermined sentinel (type could not be inferred).

pub fn has_same_base_type(&self, other: &LemmaType) -> bool

Check if two types have the same base type specification (ignoring constraints)

pub fn measure_family_name(&self) -> Option<&str>

For measure types, returns the family name (root of the extension chain). For Custom extends, returns the family field; for Primitive, returns the type’s own name (the type is the root). For non-measure types, returns None.

pub fn ratio_family_name(&self) -> Option<&str>

For ratio types, returns the family name (root of the extension chain).

pub fn same_measure_family(&self, other: &LemmaType) -> bool

Returns true if both types are measure and belong to the same named measure family.

pub fn compatible_with_anonymous_measure(&self, other: &LemmaType) -> bool

pub fn veto_type() -> Self

Create a Veto LemmaType

pub fn undetermined_type() -> Self

LemmaType sentinel for undetermined type (used during inference when a type cannot be determined). Propagates through expressions and is never present in a validated graph.

pub fn decimal_places(&self) -> Option<u8>

Decimal places for display (Number, Measure, and Ratio). Used by formatters. Ratio: optional, no default; when None display is normalized (no trailing zeros).

pub fn try_rational_as_decimal_string( &self, magnitude: &RationalInteger, ) -> Result<String, NumericFailure>

Convert a rational magnitude to a decimal string for API output.

Applies this type’s decimal_places when set. Returns [NumericFailure::Overflow] when |magnitude| > Decimal::MAX (callers map this to a decimal-limit Veto).

pub fn try_measure_canonical_as_decimal_in_unit( &self, canonical_magnitude: &RationalInteger, unit_name: &str, ) -> Result<String, NumericFailure>

Convert a canonical measure magnitude in the named declared unit to an API decimal string.

pub fn try_ratio_canonical_as_decimal_in_unit( &self, canonical_magnitude: &RationalInteger, unit_name: &str, ) -> Result<String, NumericFailure>

Convert a canonical ratio magnitude in the named declared unit to an API decimal string.

pub fn example_value(&self) -> &'static str

Get an example value string for this type, suitable for UI help text

pub fn measure_type_decomposition(&self) -> Option<&BTreeMap<String, i32>>

Factor for a unit of this measure type (for unit conversion during evaluation only). Planning must validate conversions first and return Error for invalid units. If called with a non-measure type or unknown unit name, panics (invariant violation). Returns the resolved BaseMeasureVector for Measure types, or None if the decomposition pass has not yet resolved this type. Panics if called on non-Measure types.

pub fn measure_runtime_signature(&self) -> Vec<(String, i32)>

Runtime unit signature for measure arithmetic and display.

• Named measure with units: [(canonical_or_first_unit_name, 1)]. Arithmetic expands this via expand_signature_to_base_units using the unit table.
• Anonymous / no units: decomposition converted to signature form.

pub fn ratio_primary_unit(&self) -> Option<&str>

Primary declared ratio unit name when the type carries a non-empty unit table.

pub fn is_anonymous_measure(&self) -> bool

Returns true if this is an anonymous (no-name) Measure — i.e. an anonymous intermediate produced by cross-axis arithmetic.

pub fn anonymous_for_decomposition(decomposition: BTreeMap<String, i32>) -> Self

Build an anonymous LemmaType for a given dimensional decomposition. Used at plan time to represent the inferred type of cross-axis intermediates. Runtime unit signature is derived from this decomposition via LemmaType::measure_runtime_signature.

pub fn ratio_unit_names(&self) -> Option<Vec<&str>>

Declared ratio unit names when the type carries a non-empty unit table (None otherwise).

pub fn measure_unit_names(&self) -> Option<Vec<&str>>

Declared unit names when the type carries a non-empty unit table (None otherwise).

pub fn label_for_data_input(&self, input_key: &str) -> String

age [number] or gender [gender_code] — brackets omitted when type adds nothing.

pub fn data_veto_message(&self, input_key: &str, detail: &str) -> String

Data age [number]: {detail} for runtime data override vetoes.

pub fn empty_runtime_input_vetoes(&self) -> bool

Whether an empty [RunDataValue] should veto before parse (text may accept "").

pub fn measure_unit_factor(&self, unit_name: &str) -> &RationalInteger

Return the conversion factor for a declared unit name on this measure type.

pub fn ratio_unit_factor(&self, unit_name: &str) -> &RationalInteger

Trait Implementations

impl Clone for LemmaType

fn clone(&self) -> LemmaType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LemmaType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LemmaType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for LemmaType

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

Formats the value using the given formatter.

impl Eq for LemmaType

impl From<&LemmaType> for LemmaType

fn from(lemma_type: &DomainLemmaType) -> Self

Converts to this type from the input type.

impl Hash for LemmaType

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 PartialEq for LemmaType

fn eq(&self, other: &LemmaType) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LemmaType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LemmaType