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