Struct fts_units::si_system::SIUnitsT

pub struct SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents,  { /* fields omitted */ }

Foundational type of si_system. Holds all Ratios and Exponents as types.

Trait Implementations

impl<R, E> Reduce for SIUnitsT<R, E> where
    R: SIRatios + ReduceWith<E>,
    E: SIExponents,
    ReduceWithOutput<R, E>: SIRatios,
    SIUnitsT<ReduceWithOutput<R, E>, E>: Default, 

type Output = SIUnitsT<ReduceWithOutput<R, E>, E>

fn reduce(self) -> Self::Output

impl<R, E> Invert for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents,
    Dimensionless: Div<Self>,
    DivOutput<Dimensionless, Self>: Default, 

type Output = DivOutput<Dimensionless, Self>

fn invert(self) -> Self::Output

impl<R, E> Sqrt for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents,
    E::Length: PartialDiv<P2>,
    E::Mass: PartialDiv<P2>,
    E::Time: PartialDiv<P2>,
    <E::Length as PartialDiv<P2>>::Output: Integer,
    <E::Mass as PartialDiv<P2>>::Output: Integer,
    <E::Time as PartialDiv<P2>>::Output: Integer,
    SIUnitsT<R, SIExponentsT<<E::Length as PartialDiv<P2>>::Output, <E::Mass as PartialDiv<P2>>::Output, <E::Time as PartialDiv<P2>>::Output>>: Default, 

type Output = SIUnitsT<R, SIExponentsT<<E::Length as PartialDiv<P2>>::Output, <E::Mass as PartialDiv<P2>>::Output, <E::Time as PartialDiv<P2>>::Output>>

fn sqrt(self) -> Self::Output

impl<R0, E0, R1, E1> Xor<SIUnitsT<R1, E1>> for SIUnitsT<R0, E0> where
    R0: SIRatios + Xor<R1>,
    E0: SIExponents + Xor<E1>,
    R1: SIRatios,
    E1: SIExponents,
    XorOutput<R0, R1>: SIRatios,
    XorOutput<E0, E1>: SIExponents,
    SIUnitsT<XorOutput<R0, R1>, XorOutput<E0, E1>>: Default, 

type Output = SIUnitsT<XorOutput<R0, R1>, XorOutput<E0, E1>>

fn xor(self, _other: SIUnitsT<R1, E1>) -> Self::Output

impl<R, E> SIUnits for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents, 

type Ratios = R

type Exponents = E

impl<RATIOS: Eq, EXPONENTS: Eq> Eq for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

impl<RATIOS: PartialEq, EXPONENTS: PartialEq> PartialEq<SIUnitsT<RATIOS, EXPONENTS>> for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

fn eq(&self, other: &SIUnitsT<RATIOS, EXPONENTS>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &SIUnitsT<RATIOS, EXPONENTS>) -> bool

This method tests for !=.

impl<RATIOS: Copy, EXPONENTS: Copy> Copy for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

impl<RATIOS: Clone, EXPONENTS: Clone> Clone for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

fn clone(&self) -> SIUnitsT<RATIOS, EXPONENTS>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<RATIOS: Default, EXPONENTS: Default> Default for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

fn default() -> SIUnitsT<RATIOS, EXPONENTS>

Returns the "default value" for a type.

impl<RATIOS: Debug, EXPONENTS: Debug> Debug for SIUnitsT<RATIOS, EXPONENTS> where
    RATIOS: SIRatios,
    EXPONENTS: SIExponents, 

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

Formats the value using the given formatter.

impl<R, E> Display for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents, 

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

Formats the value using the given formatter.

impl<R, E> Sub<SIUnitsT<R, E>> for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents, 

type Output = Self

The resulting type after applying the - operator.

fn sub(self, _other: Self) -> Self::Output

Performs the - operation.

impl<R, E> Add<SIUnitsT<R, E>> for SIUnitsT<R, E> where
    R: SIRatios,
    E: SIExponents, 

type Output = Self

The resulting type after applying the + operator.

fn add(self, _other: Self) -> Self::Output

Performs the + operation.

impl<R0, E0, R1, E1> Mul<SIUnitsT<R1, E1>> for SIUnitsT<R0, E0> where
    R0: SIRatios + Xor<R1>,
    E0: SIExponents + Add<E1>,
    R1: SIRatios,
    E1: SIExponents,
    XorOutput<R0, R1>: SIRatios + ReduceWith<AddOutput<E0, E1>> + Default,
    AddOutput<E0, E1>: SIExponents + Default,
    ReduceWithOutput<XorOutput<R0, R1>, AddOutput<E0, E1>>: SIRatios + Default,
    ReduceOutput<SIUnitsT<XorOutput<R0, R1>, AddOutput<E0, E1>>>: Default, 

Multiplying a pair of SIUnits is complicated Ratios: must be XOR-able meters * meters is fine. meters * kilometers is not. The output type is ambiguous. Exponents: can be anything. will be added together meters * meters = meters squared However exponents which become zero must zero out their corresponding ratio 10 kilometers per hour * 2 hours = 20 kilometers. The time Ratio was hours, but needs to be zero'd out.

type Output = ReduceOutput<SIUnitsT<XorOutput<R0, R1>, AddOutput<E0, E1>>>

The resulting type after applying the * operator.

fn mul(self, _other: SIUnitsT<R1, E1>) -> Self::Output

Performs the * operation.

impl<R0, E0, R1, E1> Div<SIUnitsT<R1, E1>> for SIUnitsT<R0, E0> where
    R0: SIRatios + Xor<R1>,
    E0: SIExponents + Sub<E1>,
    R1: SIRatios,
    E1: SIExponents,
    XorOutput<R0, R1>: SIRatios + ReduceWith<SubOutput<E0, E1>> + Default,
    SubOutput<E0, E1>: SIExponents + Default,
    ReduceWithOutput<XorOutput<R0, R1>, SubOutput<E0, E1>>: SIRatios + Default,
    ReduceOutput<SIUnitsT<XorOutput<R0, R1>, SubOutput<E0, E1>>>: Default, 

See coments on std::ops::Mul<SIUnitsT<_,_>>

type Output = ReduceOutput<SIUnitsT<XorOutput<R0, R1>, SubOutput<E0, E1>>>

The resulting type after applying the / operator.

fn div(self, _other: SIUnitsT<R1, E1>) -> Self::Output

Performs the / operation.