Trait IntRem

pub trait IntRem<B: Int>: Int {
    type Output: Int;
}

Integer remainder. Used as Rem<X, Y> or <X as IntRem<Y>>::Output.

Required Associated Types

type Output: Int

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

type Output = Undefined

impl IntRem<Term> for Undefined

type Output = Undefined

impl IntRem<Undefined> for Term

type Output = Undefined

impl IntRem<Undefined> for Undefined

type Output = Undefined

impl<D: Int> IntRem<Minus<D>> for Term

type Output = Term

impl<D: Int> IntRem<Plus<D>> for Term

type Output = Term

impl<D: Int> IntRem<Zero<D>> for Term

type Output = Term

impl<N: Int, D: Int> IntRem<Minus<D>> for Minus<N>

where <<Minus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1, <Minus<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>, Minus<N>: IntRev,

type Output = <<<Minus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Minus<D>> for Plus<N>

where <<Plus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1, <Plus<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>, Plus<N>: IntRev,

type Output = <<<Plus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Minus<D>> for Zero<N>

where <<Zero<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1, <Zero<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>, Zero<N>: IntRev,

type Output = <<<Zero<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Plus<D>> for Minus<N>

where <<Minus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1, <Minus<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>, Minus<N>: IntRev,

type Output = <<<Minus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Plus<D>> for Plus<N>

where <<Plus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1, <Plus<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>, Plus<N>: IntRev,

type Output = <<<Plus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Plus<D>> for Zero<N>

where <<Zero<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1, <Zero<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>, Zero<N>: IntRev,

type Output = <<<Zero<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Zero<D>> for Minus<N>

where <<Minus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1, <Minus<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>, Minus<N>: IntRev,

type Output = <<<Minus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Zero<D>> for Plus<N>

where <<Plus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1, <Plus<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>, Plus<N>: IntRev,

type Output = <<<Plus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output as Int2P1>::Output

impl<N: Int, D: Int> IntRem<Zero<D>> for Zero<N>

where <<Zero<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1, <Zero<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>, Zero<N>: IntRev,

type Output = <<<Zero<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output as Int2P1>::Output