Trait tylar::Decr

pub trait Decr: NumType {
    type Out: NumType;
}

Decrementation of number types.

Associated Types

type Out: NumType

Result of the operation, i.e. Out = Self – 1.

Implementors

• impl Decr for Zero
• impl<A: PosType> Decr for Succ<A>
• impl<A: NegType> Decr for Pred<A>