Trait dimensioned::peano::Same

pub trait Same<Rhs = Self> {
    type Output = Self;
}

Same is used to ensure that two types are the same. Its Output should be that type.

Example:

use dimensioned::peano::{Same, Succ, P1, P2, ToInt};

assert_eq!(2, <<Succ<P1> as Same<P2>>::Output as ToInt>::to_int());

Associated Types

type Output = Self

Output should always be Self

Implementors

• impl<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole, m, kg, s, amp, kelvin, candela, mole> Same<SI<m, kg, s, amp, kelvin, candela, mole>> for SI<Meter, Kilogram, Second, Ampere, Kelvin, Candela, Mole> where Meter: Peano + Same<m>, Kilogram: Peano + Same<kg>, Second: Peano + Same<s>, Ampere: Peano + Same<amp>, Kelvin: Peano + Same<kelvin>, Candela: Peano + Same<candela>, Mole: Peano + Same<mole>, m: Peano, kg: Peano, s: Peano, amp: Peano, kelvin: Peano, candela: Peano, mole: Peano
• impl<Centimeter, Gram, Second, cm, g, s> Same<CGS<cm, g, s>> for CGS<Centimeter, Gram, Second> where Centimeter: Peano + Same<cm>, Gram: Peano + Same<g>, Second: Peano + Same<s>, cm: Peano, g: Peano, s: Peano