Trait typenum::type_operators::PartialDiv[−][src]

pub trait PartialDiv<Rhs = Self> {
    type Output;
    fn partial_div(self, _: Rhs) -> Self::Output;
}
[−]

Division as a partial function. This type operator performs division just as Div, but is only defined when the result is an integer (i.e. there is no remainder).

Associated Types

type Output[src][−]

The type of the result of the division

Required methods

fn partial_div(self, _: Rhs) -> Self::Output[src][−]

Method for performing the division

Implementors

impl<M, N> PartialDiv<N> for M where
    M: Integer + Div<N> + Rem<N, Output = Z0>, [src][+]

type Output = Quot<M, N>

impl<Rhs> PartialDiv<Rhs> for ATerm[src][+]

type Output = ATerm

impl<Ul: Unsigned, Bl: Bit, Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UInt<Ul, Bl> where
    UInt<Ul, Bl>: Div<UInt<Ur, Br>> + Rem<UInt<Ur, Br>, Output = U0>, [src][+]

type Output = Quot<UInt<Ul, Bl>, UInt<Ur, Br>>

impl<Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UTerm[src][+]

type Output = UTerm

impl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where
    V: PartialDiv<Rhs>,
    A: PartialDiv<Rhs>,
    Rhs: Copy, [src][+]

type Output = TArr<PartialQuot<V, Rhs>, PartialQuot<A, Rhs>>