Trait IntCmp2

pub trait IntCmp2<B: Int, C: IntPair, D: IntPair, E: IntPair>: Int {
    type Output: IntPair;
}

Two-way integer comparison, but with the output trait bounds as an IntPair instead of an Int.

Required Associated Types

type Output: IntPair

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<L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Term

type Output = E

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Minus<N>, L, E, G> for Minus<M>

where M: IntCmp2<N, L, E, G> + Int,

type Output = <M as IntCmp2<N, L, E, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Minus<N>, L, E, G> for Plus<M>

where M: IntCmp2<N, L, G, G> + Int,

type Output = <M as IntCmp2<N, L, G, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Minus<N>, L, E, G> for Zero<M>

where M: IntCmp2<N, L, G, G> + Int,

type Output = <M as IntCmp2<N, L, G, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Plus<N>, L, E, G> for Minus<M>

where M: IntCmp2<N, L, L, G> + Int,

type Output = <M as IntCmp2<N, L, L, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Plus<N>, L, E, G> for Plus<M>

where M: IntCmp2<N, L, E, G> + Int,

type Output = <M as IntCmp2<N, L, E, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Plus<N>, L, E, G> for Zero<M>

where M: IntCmp2<N, L, L, G> + Int,

type Output = <M as IntCmp2<N, L, L, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Zero<N>, L, E, G> for Minus<M>

where M: IntCmp2<N, L, L, G> + Int,

type Output = <M as IntCmp2<N, L, L, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Zero<N>, L, E, G> for Plus<M>

where M: IntCmp2<N, L, G, G> + Int,

type Output = <M as IntCmp2<N, L, G, G>>::Output

impl<M, N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Zero<N>, L, E, G> for Zero<M>

where M: IntCmp2<N, L, E, G> + Int,

type Output = <M as IntCmp2<N, L, E, G>>::Output

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Minus<N>

where N: IntCmp2<Term, L, L, G> + Int,

type Output = <N as IntCmp2<Term, L, L, G>>::Output

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Plus<N>

where N: IntCmp2<Term, L, G, G> + Int,

type Output = <N as IntCmp2<Term, L, G, G>>::Output

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Zero<N>

where N: IntCmp2<Term, L, E, G> + Int,

type Output = <N as IntCmp2<Term, L, E, G>>::Output

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Minus<N>, L, E, G> for Term

where Term: IntCmp2<N, L, G, G>,

type Output = <Term as IntCmp2<N, L, G, G>>::Output

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Plus<N>, L, E, G> for Term

where Term: IntCmp2<N, L, L, G>,

type Output = <Term as IntCmp2<N, L, L, G>>::Output

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Zero<N>, L, E, G> for Term

where Term: IntCmp2<N, L, E, G>,

type Output = <Term as IntCmp2<N, L, E, G>>::Output