Trait 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.)

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

type Output = Term

impl IntNeg for Undefined

type Output = Undefined

impl IntNeg for Zero<Term>

type Output = Term

impl<N> IntNeg for Minus<N>

where N: IntNeg + Int,

type Output = Plus<<N as IntNeg>::Output>

impl<N> IntNeg for Plus<N>

where N: IntNeg + Int,

type Output = Minus<<N as IntNeg>::Output>

impl<N> IntNeg for Zero<Minus<N>>

where N: IntNeg + Int,

type Output = Zero<Plus<<N as IntNeg>::Output>>

impl<N> IntNeg for Zero<Plus<N>>

where N: IntNeg + Int,

type Output = Zero<Minus<<N as IntNeg>::Output>>

impl<N: Int> IntNeg for Zero<Zero<N>>

where Zero<N>: IntNeg,

type Output = Zero<<Zero<N> as IntNeg>::Output>