Enum UnitScale 

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

Conversion factor of a measure unit: a plan-time rational, or a data/rule reference whose value is known only during evaluation.

Dynamic scales carry a plan-time coefficient and exponent so compound units can inherit a base unit’s reference: effective = settled(reference)^exponent * coefficient. Plain -> unit gbp: rate uses coefficient 1 and exponent 1. -> unit gbp_per_kg: gbp/kilogram uses the gbp reference with coefficient 1/kilogram and exponent 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

coefficient: RationalInteger

exponent: i32

Reference

Resolved number data field or rule, in the coordinates of the spec whose type resolution wrote it: a local data or rule, or uses hops plus a member of the imported spec. After planning succeeds every dynamic unit is this variant — never Self::Unresolved.

Fields

target: ReferenceTarget

coefficient: RationalInteger

exponent: i32

Implementations

impl UnitScale

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

pub fn dynamic_exponent(&self) -> Option<i32>

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