Enum DataValue 

pub enum DataValue {
    Definition {
        base: Option<ParentType>,
        constraints: Option<Vec<Constraint>>,
        from: Option<SpecRef>,
        value: Option<Value>,
    },
    Import(SpecRef),
    Reference {
        target: Reference,
        constraints: Option<Vec<Constraint>>,
    },
}

Parse-time data value (before type resolution)

Variants

Definition

Declares data: optional explicit parent type, optional constraints (-> ...), optional from <spec> repository qualifier, and optional literal value.

Examples:

• data x: 3.14 → base: None, value: Some(Number)
• data x: number -> minimum 0 → base: Some(Number), constraints: Some(...)
• data x: money from @lemma/std finance → base: Some(Custom("money")), from: Some(...)

Fields

base: Option<ParentType>

constraints: Option<Vec<Constraint>>

from: Option<SpecRef>

value: Option<Value>

Import(SpecRef)

Import from another spec (surface syntax is uses; alias is LemmaData::reference).

Reference

A value-copy reference to another data or rule, with optional additional constraints.

Two surface forms produce this variant:

1. Dotted RHS in any position — e.g. data license2: law.other or data license2: law.other -> minimum 5. A dotted RHS is never a typedef name, so it unambiguously means “copy from this data or rule.”
2. Non-dotted RHS in a binding LHS — e.g. data license.other: src. When the LHS has segments (a binding path into another spec) the RHS is read as a value-copy reference to a name in the enclosing spec, not as a typedef.

data x: someident (LHS without segments, RHS without dots) uses DataValue::Definition with someident as the parent type name. See parser [crate::parsing::parser::Parser::parse_data_value].

The target is resolved during planning to either a [DataPath] or a [RulePath].

Fields

target: Reference

constraints: Option<Vec<Constraint>>

Implementations

impl DataValue

pub fn is_definition_literal_only(&self) -> bool

Whether this is only a literal RHS (data x: 3.14), valid as a binding value.

pub fn definition_needs_type_resolution(&self) -> bool

Whether planning must resolve this LemmaData row through the type resolver / named types.

Trait Implementations

impl Clone for DataValue

fn clone(&self) -> DataValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DataValue

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DataValue

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

Formats the value using the given formatter.

impl PartialEq for DataValue

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for DataValue

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 DataValue