Trait BoolIfThen

pub trait BoolIfThen<B: Bool>: Bool {
    type Output: Bool;
}

Boolean IfThen. Use as IfThen<X, Y> or <X as BoolIfThen<Y>>::Output. As a logical proposition, this is equivalent to “if X, then Y”.

Required Associated Types

type Output: 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 BoolIfThen<False> for False

type Output = True

impl BoolIfThen<False> for True

type Output = False

impl BoolIfThen<True> for False

type Output = True

impl BoolIfThen<True> for True

type Output = True