Trait trait_eval::LessThan

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

Integer comparison

I honestly can't be bothered to implement <=, >= and >, so you're just going to have to make do with this and Not.

assert_eq!(<Three as LessThan<Five>>::Result::eval(), true);
assert_eq!(<Five as LessThan<Five>>::Result::eval(), false);
assert_eq!(<Ten as LessThan<Five>>::Result::eval(), false);

Associated Types

type Result: Bool

Loading content...

Implementors

impl LessThan<Zero> for Zero

type Result = False

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

type Result = True

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

type Result = False

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

type Result = U::Result

Loading content...