Trait Not

pub trait Not {
    type Output;
}

The negation of a Bool.

Required Associated Types

type Output

The result of this operation.

Implementors

impl Not for False

type Output = True

impl Not for True

type Output = False

impl<A> Not for Not<A>

type Output = A

impl<A, B> Not for And<A, B>

type Output = Or<Not<A>, Not<B>>

impl<A, B> Not for Or<A, B>

type Output = And<Not<A>, Not<B>>