Trait BoolOnlyIf

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

Boolean OnlyIf. Use as OnlyIf<X, Y> or <X as BoolOnlyIf<Y>>::Output. As a logical proposition, this is equivalent to “Y only if X”.

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 BoolOnlyIf<False> for False

type Output = True

impl BoolOnlyIf<False> for True

type Output = True

impl BoolOnlyIf<True> for False

type Output = False

impl BoolOnlyIf<True> for True

type Output = True