Trait IntAbs

pub trait IntAbs: Int {
    type Output: Int;
}

Integer absolute value. Used as Abs<X> or <X as IntAbs>::Output.

Required Associated Types

type Output: Int

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 IntAbs for Term

type Output = Term

impl IntAbs for Undefined

type Output = Undefined

impl<X: Int> IntAbs for Minus<X>

where Term: IntLteCmp<Minus<X>, Minus<X>, <Minus<X> as IntNeg>::Output>, Minus<X>: IntNeg,

type Output = <Term as IntLteCmp<Minus<X>, Minus<X>, <Minus<X> as IntNeg>::Output>>::Output

impl<X: Int> IntAbs for Plus<X>

where Term: IntLteCmp<Plus<X>, Plus<X>, <Plus<X> as IntNeg>::Output>, Plus<X>: IntNeg,

type Output = <Term as IntLteCmp<Plus<X>, Plus<X>, <Plus<X> as IntNeg>::Output>>::Output

impl<X: Int> IntAbs for Zero<X>

where Term: IntLteCmp<Zero<X>, Zero<X>, <Zero<X> as IntNeg>::Output>, Zero<X>: IntNeg,

type Output = <Term as IntLteCmp<Zero<X>, Zero<X>, <Zero<X> as IntNeg>::Output>>::Output