Trait trait_eval::Minus

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

Saturating Subtraction

It's 2:30AM and I've completely run out of snappy sales pitches. It's subtraction - wow.

assert_eq!(<Ten as Minus<Three>>::Result::eval(), 7);
assert_eq!(<Seven as Minus<One>>::Result::eval(), 6);
assert_eq!(<Three as Minus<Three>>::Result::eval(), 0);
assert_eq!(<Two as Minus<Three>>::Result::eval(), 0);

Associated Types

type Result: Nat

Loading content...

Implementors

impl<T: Nat> Minus<Zero> for T

type Result = T

impl<T: Nat, U: Nat, V: Nat> Minus<Succ<T>> for U where
    U: Minus<T, Result = V>,
    V: Pred, 

type Result = V::Result

Loading content...