Trait Unique

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

The Unique operator collapses one level of redundant zeroes in a balanced ternary representation. Using Unique every time we might get a redundant zero should get rid of any problems with non-unique representations of zero.

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

type Output = Term

impl Unique for Undefined

type Output = Undefined

impl Unique for Zero<Term>

type Output = Term

impl<N> Unique for Zero<Minus<N>>

where N: Unique + Int,

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

impl<N> Unique for Zero<Plus<N>>

where N: Unique + Int,

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

impl<N: Int> Unique for Minus<N>

type Output = Minus<N>

impl<N: Int> Unique for Plus<N>

type Output = Plus<N>

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

where Zero<N>: Unique,

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