Module type_level_logic::strong::boolean [−] [src]

Type-level boolean operations.

Reexports

pub use types::boolean::*;

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