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
The type of the result of the division
Required Methods
fn partial_div(self, _: Rhs) -> Self::Output
Method for performing the division
Implementors
impl<Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UTerm
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>,impl<M, N> PartialDiv<N> for M where
M: Integer + Div<N> + Rem<N, Output = Z0>,impl<Rhs> PartialDiv<Rhs> for ATerm
impl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where
V: PartialDiv<Rhs>,
A: PartialDiv<Rhs>,