Trait dimensioned::peano::DivPeano

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

Note that, while we define division, we are operating in a ring, so an error will be thrown unless the numerator is 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>