Trait Not

Source
pub trait Not: Bool {
    type Result: Bool;
}
Expand description

§Logical Not

Negate any boolean you like at compile-time.

(¬¬(P V ¬P) - just saying.)

assert_eq!(<True as Not>::Result::eval(), false);
assert_eq!(<False as Not>::Result::eval(), true);

Required Associated Types§

Implementors§