Trait tylar::Mul

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

Subtraction of number types.

Associated Types

type Out: NumType

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

Implementors

• impl<N: NumType> Mul<N> for Zero
• impl<A: PosType, RHS, B: NumType> Mul<RHS> for Succ<A> where
    A: Mul<RHS, Out = B>,
    RHS: Add<B>, 
• impl<A: NegType, RHS, B, C: NumType> Mul<RHS> for Pred<A> where
    A: Mul<RHS, Out = C>,
    RHS: Neg<Out = B>,
    B: Add<C>,