Enum DataValue 

pub enum DataValue {
    Literal(Value),
    SpecReference(SpecRef),
    TypeDeclaration {
        base: ParentType,
        constraints: Option<Vec<Constraint>>,
        from: Option<SpecRef>,
    },
    Reference {
        target: Reference,
        constraints: Option<Vec<Constraint>>,
    },
}

Parse-time data value (before type resolution)

Variants

Literal(Value)

A literal value (parse-time; type will be resolved during planning)

SpecReference(SpecRef)

A reference to another spec

TypeDeclaration

A type declaration: data x: number -> minimum 5 or data y: x -> minimum 5

Fields

base: ParentType

constraints: Option<Vec<Constraint>>

from: Option<SpecRef>

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) is the one case that stays a TypeDeclaration — someident is treated as a typedef name. See parser parse_data_value for the discriminator.

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

Fields

target: Reference

constraints: Option<Vec<Constraint>>

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