[−][src]Trait trait_eval::Equals
Equality testing
type TwoPlusTwo = <Two as Plus<Two>>::Result; type IsFour = <TwoPlusTwo as Equals<Four>>::Result; assert_eq!(IsFour::eval(), true); type MinusOne = <TwoPlusTwo as Minus<One>>::Result; type ThatsThree = <MinusOne as Equals<Three>>::Result; assert_eq!(ThatsThree::eval(), true); // quick maffs assert_eq!(<Zero as Equals<One>>::Result::eval(), false);
Associated Types
Loading content...Implementors
impl Equals<Zero> for Zero
[src]
impl<T: Nat> Equals<Succ<T>> for Zero
[src]
impl<T: Nat> Equals<Zero> for Succ<T>
[src]
impl<T: Nat, U: Nat> Equals<Succ<T>> for Succ<U> where
T: Equals<U>,
[src]
T: Equals<U>,