Trait Not 

pub trait Not {
    type Result: Bool;
}

Type-level boolean NOT.

Examples

use reflect_nat::{True, False, Not};
use reify_reflect_core::Reflect;

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

Required Associated Types

type Result: Bool

The negated type-level boolean.

Implementors

impl Not for False

type Result = True

impl Not for True

type Result = False