Trait NatRem

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

Nat remainder. Used as Rem<X, Y> or <X as NatRem<Y>>::Output. Returns Undefined in the case of a division by zero.

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 NatRem<Term> for Term

type Output = Undefined

impl NatRem<Term> for Undefined

type Output = Undefined

impl NatRem<Undefined> for Term

type Output = Undefined

impl NatRem<Undefined> for Undefined

type Output = Undefined

impl<D: Nat> NatRem<One<D>> for Term

type Output = Term

impl<D: Nat> NatRem<Two<D>> for Term

type Output = Term

impl<D: Nat> NatRem<Zero<D>> for Term

type Output = Term

impl<N: Nat, D: Nat> NatRem<One<D>> for One<N>

where <<One<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output: Nat2P1, <One<N> as NatRev>::Output: NatDivInternal<One<D>, Nat2<Term, Term>>, One<N>: NatRev,

type Output = <<<One<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<One<D>> for Two<N>

where <<Two<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Two<N> as NatRev>::Output: NatDivInternal<One<D>, Nat2<Term, Term>>, Two<N>: NatRev,

type Output = <<<Two<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<One<D>> for Zero<N>

where <<Zero<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Zero<N> as NatRev>::Output: NatDivInternal<One<D>, Nat2<Term, Term>>, Zero<N>: NatRev,

type Output = <<<Zero<N> as NatRev>::Output as NatDivInternal<One<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Two<D>> for One<N>

where <<One<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output: Nat2P1, <One<N> as NatRev>::Output: NatDivInternal<Two<D>, Nat2<Term, Term>>, One<N>: NatRev,

type Output = <<<One<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Two<D>> for Two<N>

where <<Two<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Two<N> as NatRev>::Output: NatDivInternal<Two<D>, Nat2<Term, Term>>, Two<N>: NatRev,

type Output = <<<Two<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Two<D>> for Zero<N>

where <<Zero<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Zero<N> as NatRev>::Output: NatDivInternal<Two<D>, Nat2<Term, Term>>, Zero<N>: NatRev,

type Output = <<<Zero<N> as NatRev>::Output as NatDivInternal<Two<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Zero<D>> for One<N>

where <<One<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output: Nat2P1, <One<N> as NatRev>::Output: NatDivInternal<Zero<D>, Nat2<Term, Term>>, One<N>: NatRev,

type Output = <<<One<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Zero<D>> for Two<N>

where <<Two<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Two<N> as NatRev>::Output: NatDivInternal<Zero<D>, Nat2<Term, Term>>, Two<N>: NatRev,

type Output = <<<Two<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output

impl<N: Nat, D: Nat> NatRem<Zero<D>> for Zero<N>

where <<Zero<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output: Nat2P1, <Zero<N> as NatRev>::Output: NatDivInternal<Zero<D>, Nat2<Term, Term>>, Zero<N>: NatRev,

type Output = <<<Zero<N> as NatRev>::Output as NatDivInternal<Zero<D>, Nat2<Term, Term>>>::Output as Nat2P1>::Output