Enum DataValue 

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

Parse-time data value (before type resolution)

Variants

Definition

Declares data: optional explicit parent type, optional constraints (-> ...), 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: finance.money → base: Some(Qualified { spec_alias: "finance", inner: Custom("money") })

Fields

base: Option<ParentType>

constraints: Option<Vec<Constraint>>

value: Option<Value>

Import(SpecRef)

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

Fill(FillRhs)

Value assignment into an existing data slot (surface syntax is fill). Planning folds this into resolved slot values; it does not declare a new type row.

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].

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