Trait tylar::Add

pub trait Add<RHS>: NumType {
    type Out: NumType;
}

Addition of number types.

Associated Types

type Out: NumType

Result of the operation, i.e. Out = Self + RHS.

Implementors

• impl<RHS: NumType> Add<RHS> for Zero
• impl<A: PosType, RHS, B: NumType> Add<RHS> for Succ<A> where
    RHS: Incr<Out = B>,
    A: Add<B>, 
• impl<A: NegType, RHS, B: NumType> Add<RHS> for Pred<A> where
    RHS: Decr<Out = B>,
    A: Add<B>,