Trait IntDivInternal

pub trait IntDivInternal<B: Int, C: IntPair>: Int {
    type Output: IntPair;
}

Required Associated Types

type Output: IntPair

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<D: Int, R: Int, Q: Int> IntDivInternal<D, Int2<R, Q>> for Term

type Output = Int2<R, Q>

impl<N, D: Int, R, Q> IntDivInternal<D, Int2<R, Q>> for Zero<N>

where N: IntDivInternal<D, <<R as IntTriple>::Output as IntAbsMinThreeCmp<<<R as IntTriple>::Output as IntSub<D>>::Output, <<R as IntTriple>::Output as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output> + Int, <R as IntTriple>::Output: IntAbsMinThreeCmp<<<R as IntTriple>::Output as IntSub<D>>::Output, <<R as IntTriple>::Output as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>> + IntSub<D> + IntAdd<D>, R: IntTriple + Int, Q: IntTriple + Int,

type Output = <N as IntDivInternal<D, <<R as IntTriple>::Output as IntAbsMinThreeCmp<<<R as IntTriple>::Output as IntSub<D>>::Output, <<R as IntTriple>::Output as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output>>::Output

impl<N, D: Int, R: Int, Q> IntDivInternal<D, Int2<R, Q>> for Minus<N>

where N: IntDivInternal<D, <Minus<R> as IntAbsMinThreeCmp<<Minus<R> as IntSub<D>>::Output, <Minus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output> + Int, Minus<R>: IntAbsMinThreeCmp<<Minus<R> as IntSub<D>>::Output, <Minus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>> + IntSub<D> + IntAdd<D>, Q: IntTriple + Int,

type Output = <N as IntDivInternal<D, <Minus<R> as IntAbsMinThreeCmp<<Minus<R> as IntSub<D>>::Output, <Minus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output>>::Output

impl<N, D: Int, R: Int, Q> IntDivInternal<D, Int2<R, Q>> for Plus<N>

where N: IntDivInternal<D, <Plus<R> as IntAbsMinThreeCmp<<Plus<R> as IntSub<D>>::Output, <Plus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output> + Int, Plus<R>: IntAbsMinThreeCmp<<Plus<R> as IntSub<D>>::Output, <Plus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>> + IntSub<D> + IntAdd<D>, Q: IntTriple + Int,

type Output = <N as IntDivInternal<D, <Plus<R> as IntAbsMinThreeCmp<<Plus<R> as IntSub<D>>::Output, <Plus<R> as IntAdd<D>>::Output, <Q as IntTriple>::Output, Plus<Q>, Minus<Q>>>::Output>>::Output