Struct BoundValueKind 

pub struct BoundValueKind {
    pub value: ValueKind,
    pub unit: Option<Arc<str>>,
}

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.

Fields

value: ValueKind

unit: Option<Arc<str>>

Implementations

impl BoundValueKind

pub fn unbound(value: ValueKind) -> Self

pub fn with_binding(value: ValueKind, unit: Option<Arc<str>>) -> 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.

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