Enum DataValue 

pub enum DataValue {
    Definition {
        base: Option<ParentType>,
        constraints: Option<Vec<Constraint>>,
        value: Option<Value>,
    },
    Import {
        spec_ref: SpecRef,
        bindings: Vec<UsesBinding>,
    },
}

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

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

Fields

spec_ref: SpecRef

bindings: Vec<UsesBinding>

Implementations

impl DataValue

pub fn import(spec_ref: SpecRef) -> Self

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

Equality operator ==.

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

Inequality operator !=.

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