Trait 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);

Required Associated Types

type Result: Bool

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Equals<Zero> for Zero

type Result = True

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

where T: Equals<U> + Nat,

type Result = <T as Equals<U>>::Result

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

type Result = False

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

type Result = False