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
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>,