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

The type of the result of the division

Required Methods

Method for performing the division

Implementors

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

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

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]

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

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