Trait PartialDiv
pub trait PartialDiv<Rhs = Self>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::OutputMethod for performing the division
Implementors
impl<M, N> PartialDiv<N> for M where M: Integer + Div<N> + Rem<N, Output = Z0>,impl<M, N> PartialDiv<N> for NInt<U> where M: Integer + Div<N> + Rem<N, Output = Z0>,impl<M, N> PartialDiv<N> for PInt<U> where M: Integer + Div<N> + Rem<N, Output = Z0>,impl<M, N> PartialDiv<N> for Z0 where M: Integer + Div<N> + Rem<N, Output = Z0>,impl<Rhs> PartialDiv<Rhs> for ATermimpl<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<Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UTermimpl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where V: PartialDiv<Rhs>, A: PartialDiv<Rhs>, Rhs: Copy,