Enum TypeSpecification 

pub enum TypeSpecification {
    Boolean {
        help: String,
    },
    Quantity {
        minimum: Option<(Ratio<i128>, String)>,
        maximum: Option<(Ratio<i128>, String)>,
        decimals: Option<u8>,
        units: QuantityUnits,
        traits: Vec<QuantityTrait>,
        decomposition: Option<BTreeMap<String, i32>>,
        help: String,
    },
    Number {
        minimum: Option<Ratio<i128>>,
        maximum: Option<Ratio<i128>>,
        decimals: Option<u8>,
        help: String,
    },
    NumberRange {
        help: String,
    },
    Ratio {
        minimum: Option<Ratio<i128>>,
        maximum: Option<Ratio<i128>>,
        decimals: Option<u8>,
        units: RatioUnits,
        help: String,
    },
    RatioRange {
        units: RatioUnits,
        help: String,
    },
    Text {
        length: Option<usize>,
        options: Vec<String>,
        help: String,
    },
    Date {
        minimum: Option<DateTimeValue>,
        maximum: Option<DateTimeValue>,
        help: String,
    },
    DateRange {
        help: String,
    },
    Time {
        minimum: Option<TimeValue>,
        maximum: Option<TimeValue>,
        help: String,
    },
    TimeRange {
        help: String,
    },
    QuantityRange {
        units: QuantityUnits,
        decomposition: Option<BTreeMap<String, i32>>,
        help: String,
    },
    Veto {
        message: Option<String>,
    },
    Undetermined,
}

Variants

Boolean

Fields

help: String

Quantity

Fields

minimum: Option<(Ratio<i128>, String)>

maximum: Option<(Ratio<i128>, String)>

decimals: Option<u8>

units: QuantityUnits

traits: Vec<QuantityTrait>

decomposition: Option<BTreeMap<String, i32>>

Common dimensional decomposition vector shared by all units in this quantity. None until the decomposition pass runs. Base quantities (no compound unit expression) are assigned Some({quantity_name: 1}) by the pass. Some(empty_map) means resolved to dimensionless (e.g. kg/kg).

help: String

Number

Fields

minimum: Option<Ratio<i128>>

maximum: Option<Ratio<i128>>

decimals: Option<u8>

help: String

NumberRange

Fields

help: String

Ratio

Fields

minimum: Option<Ratio<i128>>

maximum: Option<Ratio<i128>>

decimals: Option<u8>

units: RatioUnits

help: String

RatioRange

Fields

units: RatioUnits

help: String

Text

Fields

length: Option<usize>

options: Vec<String>

help: String

Date

Fields

minimum: Option<DateTimeValue>

maximum: Option<DateTimeValue>

help: String

DateRange

Fields

help: String

Time

Fields

minimum: Option<TimeValue>

maximum: Option<TimeValue>

help: String

TimeRange

Fields

help: String

QuantityRange

Fields

units: QuantityUnits

decomposition: Option<BTreeMap<String, i32>>

help: String

Veto

Fields

message: Option<String>

Undetermined

Sentinel used during type inference when the type could not be determined. Propagates through expressions without generating cascading errors. Must never appear in a successfully validated graph or execution plan.

Implementations

impl TypeSpecification

pub fn help(&self) -> &str

Returns the help text associated with this type, or an empty string if none.

impl TypeSpecification

pub fn boolean() -> Self

pub fn quantity() -> Self

pub fn number() -> Self

pub fn number_range() -> Self

pub fn ratio() -> Self

pub fn ratio_range() -> Self

pub fn text() -> Self

pub fn date() -> Self

pub fn date_range() -> Self

pub fn time() -> Self

pub fn time_range() -> Self

pub fn quantity_range() -> Self

pub fn element_from_range(&self) -> Option<Self>

Element spec for a range type (e.g. QuantityRange → Quantity).

pub fn range_from_element(&self) -> Option<Self>

Range spec for an element type (e.g. Quantity → QuantityRange).

pub fn minimum_decimal(&self) -> Option<Decimal>

Minimum bound as decimal for interactive numeric prompts (number, quantity, ratio).

pub fn maximum_decimal(&self) -> Option<Decimal>

Maximum bound as decimal for interactive numeric prompts (number, quantity, ratio).

pub fn veto() -> Self

pub fn apply_constraint( self, type_name: &str, command: TypeConstraintCommand, args: &[CommandArg], declared_default: &mut Option<RawDefault>, ) -> Result<Self, String>

Apply a single constraint command to this spec.

The declared_default out-parameter receives the default value (if the command is Default), encoded as [RawDefault]. Defaults are owned by the data binding or typedef entry, not by the type specification itself; callers thread a single &mut Option<RawDefault> across all constraint applications for one type so the latest -> default command wins. Quantity scalars stay raw until unit factors are resolved; callers materialize via [materialize_raw_default].

Trait Implementations

impl Clone for TypeSpecification

fn clone(&self) -> TypeSpecification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpecification

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeSpecification

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeSpecification

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

Formats the value using the given formatter.

impl Eq for TypeSpecification

impl Hash for TypeSpecification

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 TypeSpecification

fn eq(&self, other: &TypeSpecification) -> 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 TypeSpecification

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 TypeSpecification