Trait libp2p::multihash::typenum::PartialDiv[][src]

pub trait PartialDiv<Rhs = Self> {
    type Output;
    pub 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

Loading content...

Required methods

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

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 = <M as Div<N>>::Output

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

type Output = ATerm

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

type Output = <UInt<Ul, Bl> as Div<UInt<Ur, Br>>>::Output

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

type Output = UTerm

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

type Output = TArr<<V as PartialDiv<Rhs>>::Output, <A as PartialDiv<Rhs>>::Output>

Loading content...