PrivateDiv

Trait PrivateDiv 

Source
pub trait PrivateDiv<N, D, Q, R, I> {
    type Quotient;
    type Remainder;

    // Required methods
    fn private_div_quotient(
        self,
        _: N,
        _: D,
        _: Q,
        _: R,
        _: I,
    ) -> Self::Quotient;
    fn private_div_remainder(
        self,
        _: N,
        _: D,
        _: Q,
        _: R,
        _: I,
    ) -> Self::Remainder;
}

Required Associated Types§

Required Methods§

Source

fn private_div_quotient(self, _: N, _: D, _: Q, _: R, _: I) -> Self::Quotient

Source

fn private_div_remainder(self, _: N, _: D, _: Q, _: R, _: I) -> Self::Remainder

Implementations on Foreign Types§

Source§

impl<N, D, Q, I> PrivateDiv<N, D, Q, UTerm, I> for ()
where N: GetBit<I>, UInt<UTerm, GetBitOut<N, I>>: Trim, TrimOut<UInt<UTerm, GetBitOut<N, I>>>: Cmp<D>, (): PrivateDivIf<N, D, Q, TrimOut<UInt<UTerm, GetBitOut<N, I>>>, I, Compare<TrimOut<UInt<UTerm, GetBitOut<N, I>>>, D>>,

Source§

type Quotient = <() as PrivateDivIf<N, D, Q, <UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output, I, <<UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output as Cmp<D>>::Output>>::Quotient

Source§

type Remainder = <() as PrivateDivIf<N, D, Q, <UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output, I, <<UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output as Cmp<D>>::Output>>::Remainder

Source§

fn private_div_quotient(self, n: N, d: D, q: Q, _: U0, i: I) -> Self::Quotient

Source§

fn private_div_remainder(self, n: N, d: D, q: Q, _: U0, i: I) -> Self::Remainder

Source§

impl<N, D, Q, Ur, Br, I> PrivateDiv<N, D, Q, UInt<Ur, Br>, I> for ()
where N: GetBit<I>, UInt<UInt<Ur, Br>, GetBitOut<N, I>>: Cmp<D>, (): PrivateDivIf<N, D, Q, UInt<UInt<Ur, Br>, GetBitOut<N, I>>, I, Compare<UInt<UInt<Ur, Br>, GetBitOut<N, I>>, D>>,

Source§

type Quotient = <() as PrivateDivIf<N, D, Q, UInt<UInt<Ur, Br>, <N as GetBit<I>>::Output>, I, <UInt<UInt<Ur, Br>, <N as GetBit<I>>::Output> as Cmp<D>>::Output>>::Quotient

Source§

type Remainder = <() as PrivateDivIf<N, D, Q, UInt<UInt<Ur, Br>, <N as GetBit<I>>::Output>, I, <UInt<UInt<Ur, Br>, <N as GetBit<I>>::Output> as Cmp<D>>::Output>>::Remainder

Source§

fn private_div_quotient( self, n: N, d: D, q: Q, r: UInt<Ur, Br>, i: I, ) -> Self::Quotient

Source§

fn private_div_remainder( self, n: N, d: D, q: Q, r: UInt<Ur, Br>, i: I, ) -> Self::Remainder

Implementors§