Trait tylar::Incr

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

Incrementation of number types.

Associated Types

type Out: NumType

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

Implementors

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