Trait trait_eval::Equals

pub trait Equals<T: Nat> {
    type Result: Bool;
}

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

type Result: Bool

Loading content...

Implementors

impl Equals<Zero> for Zero

type Result = True

impl<T: Nat> Equals<Succ<T>> for Zero

type Result = False

impl<T: Nat> Equals<Zero> for Succ<T>

type Result = False

impl<T: Nat, U: Nat> Equals<Succ<T>> for Succ<U> where
    T: Equals<U>, 

type Result = T::Result

Loading content...