Trait IntDiv

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

Integer division. Used as Div<X, Y> or <X as IntDiv<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 IntDiv<Term> for Term

type Output = Undefined

impl IntDiv<Term> for Undefined

type Output = Undefined

impl IntDiv<Undefined> for Term

type Output = Undefined

impl IntDiv<Undefined> for Undefined

type Output = Undefined

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

type Output = Term

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

type Output = Term

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

type Output = Term

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

where <<Minus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Plus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Zero<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Minus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Plus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Zero<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Minus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Plus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output

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

where <<Zero<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P2, <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 Int2P2>::Output