Trait DivExact 

pub trait DivExact<Rhs, Precompute>: Sized {
    type Output;

    // Required method
    fn div_exact(self, d: Rhs, pre: &Precompute) -> Option<Self::Output>;
}

Exact division, re-exported from num-modular.

DivExact<Rhs, Precompute>::div_exact(self, rhs, pre) returns Some(self / rhs) when rhs divides self exactly and None otherwise. dashu’s implementations use the empty precomputation Precompute = () (pass &() at the call site). For arbitrary-precision types an exact division avoids the general division’s normalization and remainder computation when the divisor is small (e.g. dashu-int uses Hensel 2-adic division). Utility function for exact division, with precomputed helper values

Available Pre-computation types:

• (): No pre-computation, the implementation relies on native integer division
• PreModInv: With Pre-computed modular inverse

Required Associated Types

type Output

Required Methods

fn div_exact(self, d: Rhs, pre: &Precompute) -> Option<Self::Output>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl DivExact<u8, ()> for u8

type Output = u8

fn div_exact(self, d: u8, _: &()) -> Option<<u8 as DivExact<u8, ()>>::Output>

impl DivExact<u8, PreModInv<u8>> for u8

type Output = u8

fn div_exact(self, d: u8, pre: &PreModInv<u8>) -> Option<u8>

impl DivExact<u8, PreModInv<u8>> for u16

type Output = u16

fn div_exact( self, d: u8, pre: &PreModInv<u8>, ) -> Option<<u16 as DivExact<u8, PreModInv<u8>>>::Output>

impl DivExact<u8, PreMulInv1by1<u8>> for u8

type Output = u8

fn div_exact( self, d: u8, pre: &PreMulInv1by1<u8>, ) -> Option<<u8 as DivExact<u8, PreMulInv1by1<u8>>>::Output>

impl DivExact<u16, ()> for u16

type Output = u16

fn div_exact(self, d: u16, _: &()) -> Option<<u16 as DivExact<u16, ()>>::Output>

impl DivExact<u16, PreModInv<u16>> for u16

type Output = u16

fn div_exact(self, d: u16, pre: &PreModInv<u16>) -> Option<u16>

impl DivExact<u16, PreModInv<u16>> for u32

type Output = u32

fn div_exact( self, d: u16, pre: &PreModInv<u16>, ) -> Option<<u32 as DivExact<u16, PreModInv<u16>>>::Output>

impl DivExact<u16, PreMulInv1by1<u16>> for u16

type Output = u16

fn div_exact( self, d: u16, pre: &PreMulInv1by1<u16>, ) -> Option<<u16 as DivExact<u16, PreMulInv1by1<u16>>>::Output>

impl DivExact<u32, ()> for u32

type Output = u32

fn div_exact(self, d: u32, _: &()) -> Option<<u32 as DivExact<u32, ()>>::Output>

impl DivExact<u32, PreModInv<u32>> for u32

type Output = u32

fn div_exact(self, d: u32, pre: &PreModInv<u32>) -> Option<u32>

impl DivExact<u32, PreModInv<u32>> for u64

type Output = u64

fn div_exact( self, d: u32, pre: &PreModInv<u32>, ) -> Option<<u64 as DivExact<u32, PreModInv<u32>>>::Output>

impl DivExact<u32, PreMulInv1by1<u32>> for u32

type Output = u32

fn div_exact( self, d: u32, pre: &PreMulInv1by1<u32>, ) -> Option<<u32 as DivExact<u32, PreMulInv1by1<u32>>>::Output>

impl DivExact<u64, ()> for u64

type Output = u64

fn div_exact(self, d: u64, _: &()) -> Option<<u64 as DivExact<u64, ()>>::Output>

impl DivExact<u64, PreModInv<u64>> for u64

type Output = u64

fn div_exact(self, d: u64, pre: &PreModInv<u64>) -> Option<u64>

impl DivExact<u64, PreModInv<u64>> for u128

type Output = u128

fn div_exact( self, d: u64, pre: &PreModInv<u64>, ) -> Option<<u128 as DivExact<u64, PreModInv<u64>>>::Output>

impl DivExact<u64, PreMulInv1by1<u64>> for u64

type Output = u64

fn div_exact( self, d: u64, pre: &PreMulInv1by1<u64>, ) -> Option<<u64 as DivExact<u64, PreMulInv1by1<u64>>>::Output>

impl DivExact<u128, ()> for u128

type Output = u128

fn div_exact( self, d: u128, _: &(), ) -> Option<<u128 as DivExact<u128, ()>>::Output>

impl DivExact<usize, PreModInv<usize>> for u128

type Output = u128

fn div_exact( self, d: usize, pre: &PreModInv<usize>, ) -> Option<<u128 as DivExact<usize, PreModInv<usize>>>::Output>

impl DivExact<usize, PreModInv<usize>> for usize

type Output = usize

fn div_exact(self, d: usize, pre: &PreModInv<usize>) -> Option<usize>

impl DivExact<usize, PreMulInv1by1<usize>> for usize

type Output = usize

fn div_exact( self, d: usize, pre: &PreMulInv1by1<usize>, ) -> Option<<usize as DivExact<usize, PreMulInv1by1<usize>>>::Output>

Implementors