Trait dimensioned::peano::DivPeano

pub trait DivPeano<RHS>: Peano {
    type Output;
}

This trait allows us to divide two Peano numbers so long as the numerator is divisible by the denominator.

We are operating in a ring, so an error will be if the numerator is not divisible by the denominator

Associated Types

type Output

Implementors

• impl<RHS> DivPeano<RHS> for Zero where RHS: NonZero
• impl<LHS, RHS> DivPeano<RHS> for Succ<LHS> where LHS: NonNeg, Succ<LHS>: DivPeanoPriv<RHS>
• impl<LHS, RHS> DivPeano<RHS> for Pred<LHS> where LHS: NonPos + Negate, RHS: Negate, Succ<LHS::Output>: DivPeanoPriv<RHS::Output>