Trait PrivateDivInt 

pub trait PrivateDivInt<C, Divisor> {
    type Output;

    // Required method
    fn private_div_int(self, _: C, _: Divisor) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn private_div_int(self, _: C, _: Divisor) -> Self::Output

Implementors

impl<Ul, Ur> PrivateDivInt<Equal, NInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = PInt<UInt<UTerm, B1>>

impl<Ul, Ur> PrivateDivInt<Equal, NInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = NInt<UInt<UTerm, B1>>

impl<Ul, Ur> PrivateDivInt<Equal, PInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = NInt<UInt<UTerm, B1>>

impl<Ul, Ur> PrivateDivInt<Equal, PInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = PInt<UInt<UTerm, B1>>

impl<Ul, Ur> PrivateDivInt<Greater, NInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero + Div<Ur>, Ur: Unsigned + NonZero, <Ul as Div<Ur>>::Output: Unsigned + NonZero,

type Output = PInt<<Ul as Div<Ur>>::Output>

impl<Ul, Ur> PrivateDivInt<Greater, NInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero + Div<Ur>, Ur: Unsigned + NonZero, <Ul as Div<Ur>>::Output: Unsigned + NonZero,

type Output = NInt<<Ul as Div<Ur>>::Output>

impl<Ul, Ur> PrivateDivInt<Greater, PInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero + Div<Ur>, Ur: Unsigned + NonZero, <Ul as Div<Ur>>::Output: Unsigned + NonZero,

type Output = NInt<<Ul as Div<Ur>>::Output>

impl<Ul, Ur> PrivateDivInt<Greater, PInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero + Div<Ur>, Ur: Unsigned + NonZero, <Ul as Div<Ur>>::Output: Unsigned + NonZero,

type Output = PInt<<Ul as Div<Ur>>::Output>

impl<Ul, Ur> PrivateDivInt<Less, NInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = Z0

impl<Ul, Ur> PrivateDivInt<Less, NInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = Z0

impl<Ul, Ur> PrivateDivInt<Less, PInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = Z0

impl<Ul, Ur> PrivateDivInt<Less, PInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero,

type Output = Z0