Trait ConstBool

pub trait ConstBool: Default + Copy {
    type Conditional<T, F>;
    type ConditionalBool<T: ConstBool, F: ConstBool>: ConstBool;
    type ConditionalInt<T: ConstInteger, F: ConstInteger>: ConstInteger;
    type And<Other: ConstBool>: ConstBool;

    const VALUE: bool;

    // Required method
    fn conditional_exec<TrueFn, FalseFn>(
        t: TrueFn,
        f: FalseFn,
    ) -> Self::Conditional<TrueFn::Output, FalseFn::Output>
       where TrueFn: NullaryFunction,
             FalseFn: NullaryFunction;

    // Provided method
    fn value(self) -> bool { ... }
}

Required Associated Constants

const VALUE: bool

Required Associated Types

type Conditional<T, F>

T if true, F otherwise.

type ConditionalBool<T: ConstBool, F: ConstBool>: ConstBool

Same as Self::Conditional but with ConstBool bounds.

type ConditionalInt<T: ConstInteger, F: ConstInteger>: ConstInteger

Same as Self::Conditional but with ConstInteger bounds.

type And<Other: ConstBool>: ConstBool

Required Methods

fn conditional_exec<TrueFn, FalseFn>( t: TrueFn, f: FalseFn, ) -> Self::Conditional<TrueFn::Output, FalseFn::Output>

where TrueFn: NullaryFunction, FalseFn: NullaryFunction,

Provided Methods

fn value(self) -> bool

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 ConstBool for ConstFalse

const VALUE: bool = false

type Conditional<T, F> = F

type ConditionalBool<T: ConstBool, F: ConstBool> = F

type ConditionalInt<T: ConstInteger, F: ConstInteger> = F

type And<Other: ConstBool> = <Other as ConstBool>::ConditionalBool<ConstFalse, ConstFalse>

impl ConstBool for ConstTrue

const VALUE: bool = true

type Conditional<T, F> = T

type ConditionalBool<T: ConstBool, F: ConstBool> = T

type ConditionalInt<T: ConstInteger, F: ConstInteger> = T

type And<Other: ConstBool> = <Other as ConstBool>::ConditionalBool<ConstTrue, ConstFalse>