Enum UnitScale 

pub enum UnitScale {
    Literal(RationalInteger),
    Unresolved {
        written: String,
        segments: Vec<String>,
        name: String,
    },
    Reference {
        factors: Vec<(ReferenceTarget, i32)>,
        coefficient: RationalInteger,
    },
}

Conversion factor of a measure unit: a plan-time rational, or a product of data/rule references whose values are known only during evaluation.

Dynamic scales carry a plan-time coefficient and one or more (reference, exponent) factors: effective = coefficient * Π settled(t_i)^e_i. Plain -> unit gbp: rate uses coefficient 1 and factors [(rate, 1)]. -> unit gbp_per_kg: gbp/kilogram uses the gbp reference with coefficient 1/kilogram and factors [(rate, 1)]. -> unit usd_per_ce: usd/consumenteneenheid uses two factors with exponents 1 and -1.

Variants

Literal(RationalInteger)

1 of this unit equals this many canonical units.

Unresolved

Written path between parse and classification (rate, fx.rate). The declaring spec’s type resolution replaces it with Self::Reference or a compound literal factor; it never survives type resolution.

Fields

written: String

segments: Vec<String>

name: String

Reference

Resolved number data fields or rules, in the coordinates of the spec whose type resolution wrote them: local members, or uses hops plus members of the imported spec. factors is non-empty after planning. After planning succeeds every dynamic unit is this variant — never Self::Unresolved.

Fields

factors: Vec<(ReferenceTarget, i32)>

coefficient: RationalInteger

Implementations

impl UnitScale

pub fn dynamic_coefficient(&self) -> Option<&RationalInteger>

pub fn canonicalize_scale_factors( factors: &[(ReferenceTarget, i32)], ) -> Vec<(ReferenceTarget, i32)>

Merge (target, exponent) pairs: same target adds exponents; drop zeros; order by [ReferenceTarget] ord. Empty result means the product cancelled.

Trait Implementations

impl Clone for UnitScale

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 UnitScale

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

Formats the value using the given formatter.

impl Eq for UnitScale

impl Hash for UnitScale

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 UnitScale

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UnitScale