Struct dimensioned::si::SI

pub struct SI<Meter: Peano = Zero, Kilogram: Peano = Zero, Second: Peano = Zero, Ampere: Peano = Zero, Kelvin: Peano = Zero, Candela: Peano = Zero, Mole: Peano = Zero> {
    // some fields omitted
}

Trait Implementations

impl<Meter: Peano, Kilogram: Peano, Second: Peano, Ampere: Peano, Kelvin: Peano, Candela: Peano, Mole: Peano> Dimension for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, m, kg, s, amp, kelvin, candela, mole> KeepDim<SI<m, kg, s, amp, kelvin, candela, mole>> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + KeepPeano<m>, Kilogram: Peano + KeepPeano<kg>, Second: Peano + KeepPeano<s>, Ampere: Peano + KeepPeano<amp>, Kelvin: Peano + KeepPeano<kelvin>, Candela: Peano + KeepPeano<candela>, Mole: Peano + KeepPeano<mole>, m: Peano, kg: Peano, s: Peano, amp: Peano, kelvin: Peano, candela: Peano, mole: Peano

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, m, kg, s, amp, kelvin, candela, mole> MulDim<SI<m, kg, s, amp, kelvin, candela, mole>> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + AddPeano<m>, Kilogram: Peano + AddPeano<kg>, Second: Peano + AddPeano<s>, Ampere: Peano + AddPeano<amp>, Kelvin: Peano + AddPeano<kelvin>, Candela: Peano + AddPeano<candela>, Mole: Peano + AddPeano<mole>, m: Peano, kg: Peano, s: Peano, amp: Peano, kelvin: Peano, candela: Peano, mole: Peano

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, m, kg, s, amp, kelvin, candela, mole> DivDim<SI<m, kg, s, amp, kelvin, candela, mole>> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + SubPeano<m>, Kilogram: Peano + SubPeano<kg>, Second: Peano + SubPeano<s>, Ampere: Peano + SubPeano<amp>, Kelvin: Peano + SubPeano<kelvin>, Candela: Peano + SubPeano<candela>, Mole: Peano + SubPeano<mole>, m: Peano, kg: Peano, s: Peano, amp: Peano, kelvin: Peano, candela: Peano, mole: Peano

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, RHS> PowerDim<RHS> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + MulPeano<RHS>, Kilogram: Peano + MulPeano<RHS>, Second: Peano + MulPeano<RHS>, Ampere: Peano + MulPeano<RHS>, Kelvin: Peano + MulPeano<RHS>, Candela: Peano + MulPeano<RHS>, Mole: Peano + MulPeano<RHS>, RHS: Peano

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, RHS> RootDim<RHS> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + DivPeano<RHS>, Kilogram: Peano + DivPeano<RHS>, Second: Peano + DivPeano<RHS>, Ampere: Peano + DivPeano<RHS>, Kelvin: Peano + DivPeano<RHS>, Candela: Peano + DivPeano<RHS>, Mole: Peano + DivPeano<RHS>, RHS: Peano

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> InvertDim for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + Negate, Kilogram: Peano + Negate, Second: Peano + Negate, Ampere: Peano + Negate, Kelvin: Peano + Negate, Candela: Peano + Negate, Mole: Peano + Negate

type Output = SI<Meter::Output, Kilogram::Output, Second::Output, Ampere::Output, Kelvin::Output, Candela::Output, Mole::Output>

impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> DimToString for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: ToInt, Kilogram: ToInt, Second: ToInt, Ampere: ToInt, Kelvin: ToInt, Candela: ToInt, Mole: ToInt

fn to_string() -> String

Derived Implementations

impl<Meter: Clone + Peano, Kilogram: Clone + Peano, Second: Clone + Peano, Ampere: Clone + Peano, Kelvin: Clone + Peano, Candela: Clone + Peano, Mole: Clone + Peano> Clone for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Clone, Kilogram: Clone, Second: Clone, Ampere: Clone, Kelvin: Clone, Candela: Clone, Mole: Clone

fn clone(&self) -> SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole>

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

impl<Meter: Copy + Peano, Kilogram: Copy + Peano, Second: Copy + Peano, Ampere: Copy + Peano, Kelvin: Copy + Peano, Candela: Copy + Peano, Mole: Copy + Peano> Copy for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Copy, Kilogram: Copy, Second: Copy, Ampere: Copy, Kelvin: Copy, Candela: Copy, Mole: Copy