Trait dimensioned::peano::AddPeano

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

Associated Types

type Output

Implementors

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