[−][src]Trait verified::PartialDiv
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<M, N> PartialDiv<N> for M where
M: Integer + Div<N> + Rem<N, Output = Z0>,
[src]
M: Integer + Div<N> + Rem<N, Output = Z0>,
type Output = <M as Div<N>>::Output
fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output
[src]
impl<Rhs> PartialDiv<Rhs> for ATerm
[src]
type Output = ATerm
fn partial_div(self, Rhs) -> <ATerm as PartialDiv<Rhs>>::Output
[src]
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,
[src]
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,
type Output = <UInt<Ul, Bl> as Div<UInt<Ur, Br>>>::Output
fn partial_div(
self,
rhs: UInt<Ur, Br>
) -> <UInt<Ul, Bl> as PartialDiv<UInt<Ur, Br>>>::Output
[src]
self,
rhs: UInt<Ur, Br>
) -> <UInt<Ul, Bl> as PartialDiv<UInt<Ur, Br>>>::Output
impl<Ur, Br> PartialDiv<UInt<Ur, Br>> for UTerm where
Br: Bit,
Ur: Unsigned,
[src]
Br: Bit,
Ur: Unsigned,
type Output = UTerm
fn partial_div(
self,
UInt<Ur, Br>
) -> <UTerm as PartialDiv<UInt<Ur, Br>>>::Output
[src]
self,
UInt<Ur, Br>
) -> <UTerm as PartialDiv<UInt<Ur, Br>>>::Output
impl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where
A: PartialDiv<Rhs>,
Rhs: Copy,
V: PartialDiv<Rhs>,
[src]
A: PartialDiv<Rhs>,
Rhs: Copy,
V: PartialDiv<Rhs>,