Struct Dim 

pub struct Dim(/* private fields */);

A dimension: integer exponents of kilogram, metre, second, ampere, kelvin, mole and candela, in that order.

The mass base is the kilogram, not the gram. Plane angle is dimensionless (see ADR-007). All arithmetic is checked: exponent overflow is reported as Error::Overflow.

Examples

use dimvexa_core::Dim;

let velocity = Dim::M.checked_sub(Dim::S)?;
assert_eq!(velocity.exponents(), [0, 1, -1, 0, 0, 0, 0]);
let accel = velocity.checked_sub(Dim::S)?;
let force = Dim::KG.checked_add(accel)?;
assert_eq!(force.to_string(), "kg m s^-2");

Implementations

impl Dim

pub const NONE: Self

The dimensionless vector (all exponents zero).

pub const KG: Self

Mass (kilogram).

pub const M: Self

Length (metre).

pub const S: Self

Time (second).

pub const A: Self

Electric current (ampere).

pub const K: Self

Thermodynamic temperature (kelvin).

pub const MOL: Self

Amount of substance (mole).

pub const CD: Self

Luminous intensity (candela).

pub const fn new(exponents: [i8; 7]) -> Self

Builds a dimension from exponents of [kg, m, s, A, K, mol, cd].

pub const fn exponents(self) -> [i8; 7]

The exponents of [kg, m, s, A, K, mol, cd].

pub fn is_dimensionless(self) -> bool

True if every exponent is zero.

pub fn checked_add(self, other: Self) -> Result<Self>

Dimension of a product: exponents add.

Errors

Error::Overflow if an exponent leaves the i8 range.

pub fn checked_sub(self, other: Self) -> Result<Self>

Dimension of a quotient: exponents subtract.

Errors

Error::Overflow if an exponent leaves the i8 range.

pub fn checked_scale(self, n: i32) -> Result<Self>

Dimension of a power: every exponent is multiplied by n.

Errors

Error::Overflow if an exponent leaves the i8 range.

pub fn checked_neg(self) -> Result<Self>

Dimension of the reciprocal: every exponent is negated.

Errors

Error::Overflow if an exponent is i8::MIN.

Trait Implementations

impl Clone for Dim

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 Dim

impl Debug for Dim

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

Formats the value using the given formatter.

impl Default for Dim

fn default() -> Self

Returns the “default value” for a type.

impl Display for Dim

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

Formats the value using the given formatter.

impl Eq for Dim

impl Hash for Dim

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 Dim

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Dim