Trait ConstTrool

pub trait ConstTrool {
    type Value: Sized;

    const VALUE: Self::Value;
}

Allows to convert compile-time constants into type-level trooleans.

See also the [const_trool!] macro, and the True, False and Maybe types.

Required Associated Constants

const VALUE: Self::Value

The constant value of the type-level boolean.

Required Associated Types

type Value: Sized

The resulting type-level boolean (True or False).

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.

Implementations on Foreign Types

impl ConstTrool for [(); 0]

const VALUE: False = False

type Value = False

impl ConstTrool for [(); 1]

const VALUE: True = True

type Value = True

impl ConstTrool for [(); 2]

const VALUE: Maybe = Maybe

type Value = Maybe

Implementors

impl ConstTrool for False

const VALUE: False = False

type Value = False

impl ConstTrool for Maybe

const VALUE: Maybe = Maybe

type Value = Maybe

impl ConstTrool for True

const VALUE: True = True

type Value = True