Module bool 

Type level Boolean.

The type level boolean allows you to construct types depending on a condition by using the <B as Bool>::If<A, B> assocated type. If Self is True then A is constructed otherwise B is constructed.

The cond method allows you to construct the value associated to the If type.

The BOOL associated constant to get the value associated with the type.

There is also the standard operations:

• Not.
• And<B: Bool>.
• Or<B: Bool>.
• Xor<B: Bool>.

Structs

False

The boolean value false in type land.

True

The boolean value true in type land.

Traits

Bool

A trait implemented for all boolean types values.

Type Aliases

And

Result of the boolean and between Self and B.

If

If Self is True construct type A otherwise B.

Not

Result of the boolean negation.

Or

Result of the boolean or between Self and B.

Xor

Result of the boolean xor between Self and B.