Trait tylar::Neg

pub trait Neg: NumType {
    type Out;
}

Negation of number types.

Associated Types

type Out

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

Implementors

• impl Neg for Zero
• impl<A: PosType, B: NegType> Neg for Succ<A> where A: Neg<Out=B>
• impl<A: NegType, B: PosType> Neg for Pred<A> where A: Neg<Out=B>