Trait dimensioned::peano::SubPeano

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

Associated Types

type Output

Implementors

• impl<RHS: Peano + Negate> SubPeano<RHS> for Zero
• impl<LHS: NonNeg + SubPeano<RHS>, RHS> SubPeano<Succ<RHS>> for Succ<LHS>
• impl<LHS: NonNeg> SubPeano<Zero> for Succ<LHS>
• impl<LHS: NonNeg + SubPeano<RHS>, RHS: NonPos> SubPeano<Pred<RHS>> for Succ<LHS>
• impl<LHS: NonPos + SubPeano<RHS>, RHS: NonNeg> SubPeano<Succ<RHS>> for Pred<LHS>
• impl<LHS: NonPos> SubPeano<Zero> for Pred<LHS>
• impl<LHS: NonPos + SubPeano<RHS>, RHS: NonPos> SubPeano<Pred<RHS>> for Pred<LHS>