Trait NatSub

pub trait NatSub<B: Nat>: Nat {
    type Output: Nat;
}

Nat subtraction. Used as Sub<X, Y> or <X as NatSub<Y>>::Output. Undefined for any inputs which would result in an output less than zero. If you need signed numbers, you should probably be using a signed representation, such as balanced ternary.

Required Associated Types

type Output: Nat

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl NatSub<Term> for Term

type Output = Term

impl NatSub<Term> for Undefined

type Output = Undefined

impl NatSub<Undefined> for Term

type Output = Undefined

impl NatSub<Undefined> for Undefined

type Output = Undefined

impl<X> NatSub<Term> for Zero<X>

where X: NatTriple + Nat,

type Output = <X as NatTriple>::Output

impl<X, Y: Nat> NatSub<One<Y>> for One<X>

where <X as NatSub<Y>>::Output: NatTriple, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriple>::Output

impl<X, Y: Nat> NatSub<One<Y>> for Two<X>

where <X as NatSub<Y>>::Output: NatTriplePlusOne, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriplePlusOne>::Output

impl<X, Y: Nat> NatSub<One<Y>> for Zero<X>

where <<X as NatSub<Y>>::Output as NatPred>::Output: NatTriplePlusTwo, <X as NatSub<Y>>::Output: NatPred, X: NatSub<Y> + Nat,

type Output = <<<X as NatSub<Y>>::Output as NatPred>::Output as NatTriplePlusTwo>::Output

impl<X, Y: Nat> NatSub<Two<Y>> for One<X>

where <<X as NatSub<Y>>::Output as NatPred>::Output: NatTriplePlusTwo, <X as NatSub<Y>>::Output: NatPred, X: NatSub<Y> + Nat,

type Output = <<<X as NatSub<Y>>::Output as NatPred>::Output as NatTriplePlusTwo>::Output

impl<X, Y: Nat> NatSub<Two<Y>> for Two<X>

where <X as NatSub<Y>>::Output: NatTriple, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriple>::Output

impl<X, Y: Nat> NatSub<Two<Y>> for Zero<X>

where <<X as NatSub<Y>>::Output as NatPred>::Output: NatTriplePlusOne, <X as NatSub<Y>>::Output: NatPred, X: NatSub<Y> + Nat,

type Output = <<<X as NatSub<Y>>::Output as NatPred>::Output as NatTriplePlusOne>::Output

impl<X, Y: Nat> NatSub<Zero<Y>> for One<X>

where <X as NatSub<Y>>::Output: NatTriplePlusOne, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriplePlusOne>::Output

impl<X, Y: Nat> NatSub<Zero<Y>> for Two<X>

where <X as NatSub<Y>>::Output: NatTriplePlusTwo, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriplePlusTwo>::Output

impl<X, Y: Nat> NatSub<Zero<Y>> for Zero<X>

where <X as NatSub<Y>>::Output: NatTriple, X: NatSub<Y> + Nat,

type Output = <<X as NatSub<Y>>::Output as NatTriple>::Output

impl<X: Nat> NatSub<One<X>> for Term

type Output = Undefined

impl<X: Nat> NatSub<One<X>> for Undefined

type Output = Undefined

impl<X: Nat> NatSub<Term> for One<X>

type Output = One<X>

impl<X: Nat> NatSub<Term> for Two<X>

type Output = Two<X>

impl<X: Nat> NatSub<Two<X>> for Term

type Output = Undefined

impl<X: Nat> NatSub<Two<X>> for Undefined

type Output = Undefined

impl<X: Nat> NatSub<Undefined> for One<X>

type Output = Undefined

impl<X: Nat> NatSub<Undefined> for Two<X>

type Output = Undefined

impl<X: Nat> NatSub<Undefined> for Zero<X>

type Output = Undefined

impl<X: Nat> NatSub<Zero<X>> for Term

where Term: NatSub<X>,

type Output = <Term as NatSub<X>>::Output

impl<X: Nat> NatSub<Zero<X>> for Undefined

type Output = Undefined