Trait type_level_logic::strong::balanced::IntAbs
[−]
pub trait IntAbs: Int { type Output: Int; }
Integer absolute value. Used as Abs<X>
or <X as IntAbs>::Output
.
Associated Types
Implementors
impl IntAbs for Term
impl IntAbs for Undefined
impl<X: Int> IntAbs for Zero<X> where
Term: IntLteCmp<Zero<X>, Zero<X>, <Zero<X> as IntNeg>::Output>,
Zero<X>: IntNeg,impl<X: Int> IntAbs for Plus<X> where
Term: IntLteCmp<Plus<X>, Plus<X>, <Plus<X> as IntNeg>::Output>,
Plus<X>: IntNeg,impl<X: Int> IntAbs for Minus<X> where
Term: IntLteCmp<Minus<X>, Minus<X>, <Minus<X> as IntNeg>::Output>,
Minus<X>: IntNeg,