Trait Add 

pub trait Add<Rhs: Number>: Number {
    type Output: Number;
}

Required Associated Types

type Output: Number

Implementors

impl<N, Rhs, O> Add<Rhs> for Negative<N>

where Rhs: IsPositive + Number, N: Sub<Rhs, Output = O> + Number, O: Neg + Number,

type Output = <O as Neg>::Output

impl<N, Rhs, O: Number> Add<Rhs> for Successor<N>

where Rhs: IsPositive + Number, N: Add<Rhs, Output = O> + Number,

type Output = Successor<O>

impl<N, Rhs: Number> Add<Negative<Rhs>> for Negative<N>

where N: Add<Rhs> + Number,

type Output = Negative<<N as Add<Rhs>>::Output>

impl<N: Number, Rhs: Number, O: Number> Add<Negative<Rhs>> for Successor<N>

where Successor<N>: Sub<Rhs, Output = O>,

type Output = O

impl<Rhs: Number> Add<Rhs> for Zero

type Output = Rhs