Trait IntTriple

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

The Triple operator triples an integer, and avoids redundant zeroes (and thus preserves unique representations.) It is equivalent to Zero<N> unless N is Term, in which case Triple<Term> = Term. Its collapsing acts at only one level, which should be sufficient unless multiple levels of redundant zeroes are introduced by user error.

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

type Output = Term

impl IntTriple for Undefined

type Output = Undefined

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

type Output = Zero<Minus<N>>

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

type Output = Zero<Plus<N>>

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

type Output = Zero<Zero<N>>