Struct BoundValueKind 

pub struct BoundValueKind {
    pub value: ValueKind,
    pub unit: Option<Arc<str>>,
    pub instance_factors: Option<Arc<BTreeMap<String, RationalInteger>>>,
}

Canonical suggestion/fill value plus the written measure unit when one was declared.

unit is the unit from -> suggest 100 inr / -> with 5 eur; Show display stamps it so the one-liner matches the written unit, not the type’s first unit. Shared via Arc so value-table clones bump a refcount instead of allocating. For ranges this stays None; each endpoint carries its own unit on its type.

instance_factors are the settled dynamic unit factors of the instance this value was read from (uses alias or list row). Same-family arithmetic keeps only factors both sides agree on; a family change drops them.

Fields

value: ValueKind

unit: Option<Arc<str>>

instance_factors: Option<Arc<BTreeMap<String, RationalInteger>>>

Implementations

impl BoundValueKind

pub fn unbound(value: ValueKind) -> Self

pub fn with_binding(value: ValueKind, unit: Option<Arc<str>>) -> Self

pub fn with_instance_factors( value: ValueKind, unit: Option<Arc<str>>, instance_factors: Option<Arc<BTreeMap<String, RationalInteger>>>, ) -> Self

pub fn to_literal(&self) -> LiteralValue

pub fn agree_or_left_binding( left: Option<&Arc<str>>, right: Option<&Arc<str>>, ) -> Option<Arc<str>>

Written-unit agreement for ± on same-family measure/ratio: equal keep; one Some keep that; conflict → left wins.

pub fn agree_instance_factors( left: Option<&Arc<BTreeMap<String, RationalInteger>>>, right: Option<&Arc<BTreeMap<String, RationalInteger>>>, ) -> Option<Arc<BTreeMap<String, RationalInteger>>>

Agreed instance factors for same-family arithmetic: units both sides carry with equal factors stay; either side missing a map means no carried instance agreement (local / plan-scoped values rely on runtime scales, not a one-sided carry).

pub fn binding_with_agreed_factors( unit: Option<Arc<str>>, factors: &Option<Arc<BTreeMap<String, RationalInteger>>>, ) -> Option<Arc<str>>

Keep a written unit only when agreed instance factors still know its factor. When there is no instance map, leave the binding for plan-scoped runtime scales.

Trait Implementations

impl Clone for BoundValueKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundValueKind

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

Formats the value using the given formatter.

impl Eq for BoundValueKind

impl Hash for BoundValueKind

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 BoundValueKind

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BoundValueKind