Module boolean 

Defines Boolean values and operations as types.

There are types True and False, and operations such as Not, And and Or. These type operations work via type aliases, so the result of the operations is still one of True or False.

Example

use type_proof::{
    boolean::{And, False, True},
    type_utils::assert_type_eq,
};

assert_type_eq::<And<False, True>, False>();

Structs

False

The Boolean value False.

True

The Boolean value True.

Traits

Bool

A Boolean value, encoded as a type.

Type Aliases

And

Boolean and: A ∧ B

Iff

Boolean equivalence: A <-> B, or equivalently, A = B

Implies

Boolean implication: A -> B

Not

Boolean negation: ¬B

Or

Boolean or: A ∨ B

Xor

Boolean xor: A ⊕ B