Enum ValueKind 

pub enum ValueKind {
    Number(RationalInteger),
    Measure(RationalInteger),
    UnscaledMeasure {
        magnitude: RationalInteger,
        unit: Arc<str>,
    },
    Text(Arc<str>),
    Date(SemanticDateTime),
    Time(SemanticTime),
    Boolean(bool),
    Ratio(RationalInteger),
    Range(Box<TypedLiteral>, Box<TypedLiteral>),
    Spec(SpecValue),
    List(ListValue),
}

Value payload (shape of a literal).

Scalar variants are type-free: type lives on NormalForm.result_type / DataDefinition. The ValueKind::Range arm is the exception — each endpoint keeps a TypedLiteral so a mixed-unit range (10 eur...20 usd) retains both written units.

Variants

Number(RationalInteger)

Measure(RationalInteger)

Measure: magnitude in canonical (base-unit) space.

At bind time the user-facing value is multiplied by the unit’s scale to produce the stored magnitude; API unit maps divide back. Unit/signature identity comes from the node/DataDefinition type via LemmaType::measure_runtime_signature.

UnscaledMeasure

Measure written in a reference-scaled unit. Lives only in stored values (literal leaves, data slots, definitions, bindings). A cell result never holds one: the owning leaf settles it to ValueKind::Measure first.

Fields

magnitude: RationalInteger

unit: Arc<str>

Text(Arc<str>)

Date(SemanticDateTime)

Time(SemanticTime)

Boolean(bool)

Ratio(RationalInteger)

Ratio: canonical magnitude. Display unit comes from the node/DataDefinition type.

Range(Box<TypedLiteral>, Box<TypedLiteral>)

Range endpoints carry their own type (and written unit for measure/ratio).

Spec(SpecValue)

A spec instance: a uses path in the consumer plan, or one row of an instance list.

List(ListValue)

Ordered rows of one type. Each row keeps its own type (written unit for measures).

Implementations

impl ValueKind

pub fn as_decimal_magnitude(&self) -> Result<Decimal, String>

Decimal magnitude for numeric variants (number, measure, ratio).

pub fn structural_byte_size(&self) -> usize

Cheap structural byte-size estimate (no formatting, no rational→decimal).

Used by resource-limit checks where the exact string length is not required — only an upper-bound within a constant factor.

pub fn has_unscaled_measure(&self) -> bool

Whether this stored value still contains a reference-scaled measure.

Trait Implementations

impl Clone for ValueKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueKind

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

Formats the value using the given formatter.

impl Display for ValueKind

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

Formats the value using the given formatter.

impl Eq for ValueKind

impl From<&ValueKind> for ValueKind

fn from(value: &DomainValueKind) -> Self

Converts to this type from the input type.

impl Hash for ValueKind

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 ValueKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValueKind