Trait trait_eval::Not

pub trait Not: Bool {
    type Result: Bool;
}

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

Associated Types

type Result: Bool

Loading content...

Implementors

impl Not for False

type Result = True

impl Not for True

type Result = False

Loading content...