Trait type_level_logic::strong::balanced::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.

Associated Types

type Output: IntPair

Implementors

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