Trait Sub 

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

Required Associated Types

type Output: Number

Implementors

impl<N, Rhs: Number, O: Number + Neg> Sub<Successor<Rhs>> for Negative<N>

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

type Output = <O as Neg>::Output

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

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

type Output = Successor<O>

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

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

type Output = O

impl<N: Number> Sub<Zero> for N

type Output = N

impl<N: Number, Rhs: Number, O: Number> Sub<Negative<Rhs>> for Negative<N>

where Negative<N>: Add<Rhs, Output = O>,

type Output = O

impl<Rhs: Number> Sub<Negative<Successor<Rhs>>> for Zero

type Output = Successor<Rhs>

impl<Rhs: Number> Sub<Successor<Rhs>> for Zero

type Output = <Successor<Rhs> as Neg>::Output