Struct ConstDim 

pub struct ConstDim {
    pub l: i8,
    pub m: i8,
    pub t: i8,
    pub i: i8,
    pub th: i8,
    pub n: i8,
    pub j: i8,
}

A const-evaluable dimension vector for compile-time formula verification.

Unlike Dim, which uses type-level integers, ConstDim stores exponents as plain i8 values so that dimension arithmetic can be performed in const fn contexts (e.g. inside const_assert_dim!).

Fields

l: i8

Length exponent (m).

m: i8

Mass exponent (kg).

t: i8

Time exponent (s).

i: i8

Electric current exponent (A).

th: i8

Thermodynamic temperature exponent (K).

n: i8

Amount of substance exponent (mol).

j: i8

Luminous intensity exponent (cd).

Implementations

impl ConstDim

pub const fn new(l: i8, m: i8, t: i8, i: i8, th: i8, n: i8, j: i8) -> Self

Create a new ConstDim with the given exponents.

pub const fn mul(self, rhs: Self) -> Self

Multiply two dimension vectors (add exponents).

An exponent beyond the i8 range saturates at ±127/−128 (no physical formula comes near it); use checked_mul to refuse instead. Up to 0.45 it overflowed: a panic in debug builds, a wrapped (wrong) dimension in release builds.

pub const fn div(self, rhs: Self) -> Self

Divide two dimension vectors (subtract exponents), saturating like mul; see checked_div.

pub const fn checked_mul(self, rhs: Self) -> Option<Self>

mul, or None when an exponent leaves the i8 range.

use symplex::units::ConstDim;

assert_eq!(ConstDim::MASS.checked_mul(ConstDim::ACCELERATION), Some(ConstDim::FORCE));
let big = ConstDim::LENGTH.pow(100);
assert_eq!(big.checked_mul(big), None);
assert_eq!(big.mul(big).l, 127); // saturates, never wraps

pub const fn checked_div(self, rhs: Self) -> Option<Self>

div, or None when an exponent leaves the i8 range.

pub const fn checked_pow(self, n: i8) -> Option<Self>

pow, or None when an exponent leaves the i8 range.

use symplex::units::ConstDim;

assert_eq!(ConstDim::LENGTH.checked_pow(3), Some(ConstDim::VOLUME));
assert_eq!(ConstDim::LENGTH.pow(100).checked_pow(2), None);

pub const fn eq(self, rhs: Self) -> bool

Check equality of two dimension vectors (const-compatible).

pub const fn pow(self, n: i8) -> Self

Raise dimension to an integer power (multiply all exponents by n), saturating like mul; see checked_pow.

pub fn name(&self) -> &'static str

Return a human-readable name for well-known dimensions, or a raw exponent string for exotic ones.

pub fn from_name(name: &str) -> Option<ConstDim>

Look up a named dimension constant by its human-readable name.

Returns None for unrecognized names. This is the inverse of name() for all known dimensions.

impl ConstDim

pub const DIMENSIONLESS: Self

Dimensionless dimension: all exponents zero.

pub const ANGLE: Self

Angle dimension: dimensionless (all exponents zero).

pub const LENGTH: Self

Length dimension: L¹.

pub const MASS: Self

Mass dimension: M¹.

pub const TIME: Self

Time dimension: T¹.

pub const CURRENT: Self

Electric current dimension: I¹.

pub const TEMPERATURE: Self

Temperature dimension: Θ¹.

pub const AREA: Self

Area dimension: L².

pub const VOLUME: Self

Volume dimension: L³.

pub const VELOCITY: Self

Velocity dimension: L¹·T⁻¹.

pub const ACCELERATION: Self

Acceleration dimension: L¹·T⁻².

pub const ANGULAR_VELOCITY: Self

Angular velocity dimension: T⁻¹.

pub const ANGULAR_ACCELERATION: Self

Angular acceleration dimension: T⁻².

pub const FREQUENCY: Self

Frequency dimension: T⁻¹.

pub const FORCE: Self

Force dimension: L¹·M¹·T⁻².

pub const ENERGY: Self

Energy dimension: L²·M¹·T⁻².

pub const TORQUE: Self

Torque dimension: L²·M¹·T⁻².

pub const POWER: Self

Power dimension: L²·M¹·T⁻³.

pub const MOMENTUM: Self

Momentum dimension: L¹·M¹·T⁻¹.

pub const ANGULAR_MOMENTUM: Self

Angular momentum dimension: L²·M¹·T⁻¹.

pub const MOMENT_OF_INERTIA: Self

Moment of inertia dimension: L²·M¹.

pub const PRESSURE: Self

Pressure dimension: L⁻¹·M¹·T⁻².

pub const STIFFNESS: Self

Stiffness dimension: M¹·T⁻².

pub const DAMPING: Self

Damping dimension: M¹·T⁻¹.

pub const VOLTAGE: Self

Voltage dimension: L²·M¹·T⁻³·I⁻¹.

pub const RESISTANCE: Self

Resistance dimension: L²·M¹·T⁻³·I⁻².

pub const INDUCTANCE: Self

Inductance dimension: L²·M¹·T⁻²·I⁻².

pub const CAPACITANCE: Self

Capacitance dimension: L⁻²·M⁻¹·T⁴·I².

pub const CHARGE: Self

Charge dimension: T¹·I¹.

pub const MAGNETIC_FLUX: Self

Magnetic flux dimension: L²·M¹·T⁻²·I⁻¹.

Trait Implementations

impl Clone for ConstDim

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ConstDim

impl Debug for ConstDim

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

Formats the value using the given formatter.

impl Display for ConstDim

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

Formats the value using the given formatter.

impl Eq for ConstDim

impl PartialEq for ConstDim

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConstDim