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

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

The type of the result of the division

Loading content...

Required methods

fn partial_div(self, _: Rhs) -> Self::Output

Method for performing the division

Loading content...

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>>

Loading content...