Trait Bool 

pub trait Bool {
    type Not: Bool;
    type Implies<B: Bool>: Bool;

    const VALUE: bool;
}

A Boolean value, encoded as a type.

Required Associated Constants

const VALUE: bool

The Boolean value as a bool.

Required Associated Types

type Not: Bool

The negation of the Boolean value.

The type alias Not<B> is a nicer way to access this.

type Implies<B: Bool>: Bool

The value of Self -> B.

The type alias Implies<A, B> is a nicer way to access this.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Bool for False

const VALUE: bool = false

type Not = True

type Implies<B: Bool> = True

impl Bool for True

const VALUE: bool = true

type Not = False

type Implies<B: Bool> = B