Module boolean

Type-level boolean operations.

Re-exports

pub use types::boolean::*;

Traits

BoolAnd

Boolean And. Use as And<X, Y> or <X as BoolAnd<Y>>::Output.

BoolIfThen

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”.

BoolOnlyIf

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”.

BoolOr

Boolean Or. Use as Or<X, Y> or <X as BoolOr<Y>>::Output.

BoolXor

Boolean Xor. Use as Xor<X, Y> or <X as BoolXor<Y>>::Output.

Type Aliases

And

IfThen

OnlyIf

Or

Xor