Trait type_level_logic::strong::balanced::IntNeg

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

Integer negation. In balanced ternary, this is just taking every "minus" and "plus" and switching them. Used as Neg<X> or <X as IntNeg>::Output.

Here, we also combine it with the functionality of the Unique operator such that they don't need to be nested (for example in our implementation of subtraction.)

Associated Types

type Output: Int

Implementors

• impl IntNeg for Undefined
• impl IntNeg for Term
• impl IntNeg for Zero<Term>
• impl<N: Int> IntNeg for Zero<Zero<N>> where
    Zero<N>: IntNeg, 
• impl<N: Int> IntNeg for Zero<Plus<N>> where
    N: IntNeg, 
• impl<N: Int> IntNeg for Zero<Minus<N>> where
    N: IntNeg, 
• impl<N: Int> IntNeg for Plus<N> where
    N: IntNeg, 
• impl<N: Int> IntNeg for Minus<N> where
    N: IntNeg,