Struct ScalarDomainSpec 

pub struct ScalarDomainSpec {
    pub domain: Symbol,
    pub numeric_family: &'static str,
    pub canonical_form: &'static str,
    pub parse_priority: i32,
}

Static identity of a scalar number domain (data only).

A concrete domain crate fills this in once and derives its stable literal-class and instance-shape symbols from it, rather than spelling them out by hand.

Examples

use sim_lib_numbers_core::{ScalarDomainSpec, domains};

let spec = ScalarDomainSpec {
    domain: domains::i64(),
    numeric_family: "integer",
    canonical_form: "i64",
    parse_priority: 20,
};
assert_eq!(spec.literal_class_symbol(), domains::literal_class("i64"));

Fields

domain: Symbol

The domain symbol, e.g. numbers/i64.

numeric_family: &'static str

The numeric family label, e.g. "integer".

canonical_form: &'static str

The canonical form label, e.g. "i64".

parse_priority: i32

The literal parse priority.

Implementations

impl ScalarDomainSpec

pub fn matcher(&self) -> DomainLiteralMatcher

A literal matcher for this domain.

pub fn literal_class_symbol(&self) -> Symbol

The literal class symbol, e.g. numbers/i64-literal.

pub fn literal_instance_shape_symbol(&self) -> Symbol

The literal instance-shape symbol, e.g. numbers/i64-literal/instance-shape.