Trait IntAdd

pub trait IntAdd<B: Int>: Int {
    type Output: Int;
}

Integer addition. Used as Add<X, Y> or <X as IntAdd<Y>>::Output.

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

type Output = Term

impl IntAdd<Term> for Undefined

type Output = Undefined

impl IntAdd<Undefined> for Term

type Output = Undefined

impl IntAdd<Undefined> for Undefined

type Output = Undefined

impl<M, N: Int> IntAdd<Minus<N>> for Minus<M>

where <M as IntAdd<N>>::Output: IntAdd<Minus>, M: IntAdd<N> + Int,

type Output = Plus<<<M as IntAdd<N>>::Output as IntAdd<Minus>>::Output>

impl<M, N: Int> IntAdd<Minus<N>> for Plus<M>

where Zero<<M as IntAdd<N>>::Output>: Unique, M: IntAdd<N> + Int,

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

impl<M, N: Int> IntAdd<Minus<N>> for Zero<M>

where M: IntAdd<N> + Int,

type Output = Minus<<M as IntAdd<N>>::Output>

impl<M, N: Int> IntAdd<Plus<N>> for Minus<M>

where Zero<<M as IntAdd<N>>::Output>: Unique, M: IntAdd<N> + Int,

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

impl<M, N: Int> IntAdd<Plus<N>> for Plus<M>

where <M as IntAdd<N>>::Output: IntSucc, M: IntAdd<N> + Int,

type Output = Minus<<<M as IntAdd<N>>::Output as IntSucc>::Output>

impl<M, N: Int> IntAdd<Plus<N>> for Zero<M>

where M: IntAdd<N> + Int,

type Output = Plus<<M as IntAdd<N>>::Output>

impl<M, N: Int> IntAdd<Zero<N>> for Minus<M>

where M: IntAdd<N> + Int,

type Output = Minus<<M as IntAdd<N>>::Output>

impl<M, N: Int> IntAdd<Zero<N>> for Plus<M>

where M: IntAdd<N> + Int,

type Output = Plus<<M as IntAdd<N>>::Output>

impl<M, N: Int> IntAdd<Zero<N>> for Zero<M>

where Zero<<M as IntAdd<N>>::Output>: Unique, M: IntAdd<N> + Int,

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

impl<N: Int> IntAdd<Minus<N>> for Term

type Output = Minus<N>

impl<N: Int> IntAdd<Minus<N>> for Undefined

type Output = Undefined

impl<N: Int> IntAdd<Plus<N>> for Term

type Output = Plus<N>

impl<N: Int> IntAdd<Plus<N>> for Undefined

type Output = Undefined

impl<N: Int> IntAdd<Term> for Minus<N>

type Output = Minus<N>

impl<N: Int> IntAdd<Term> for Plus<N>

type Output = Plus<N>

impl<N: Int> IntAdd<Term> for Zero<N>

where Zero<N>: Unique,

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

impl<N: Int> IntAdd<Undefined> for Minus<N>

type Output = Undefined

impl<N: Int> IntAdd<Undefined> for Plus<N>

type Output = Undefined

impl<N: Int> IntAdd<Undefined> for Zero<N>

type Output = Undefined

impl<N: Int> IntAdd<Zero<N>> for Term

where Zero<N>: Unique,

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

impl<N: Int> IntAdd<Zero<N>> for Undefined

type Output = Undefined