Trait num_modular::DivExact

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

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

Utility function for exact division, with precomputed helper values

Available Pre-computation types:

• (): No pre-computation, the implementation relies on native integer division
• PreInv: 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.

Implementations on Foreign Types

impl DivExact<u8, PreInv<u8>> for u8

type Output = u8

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

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

type Output = u16

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

impl DivExact<u16, PreInv<u16>> for u16

type Output = u16

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

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

type Output = u32

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

impl DivExact<u32, PreInv<u32>> for u32

type Output = u32

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

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

type Output = u64

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

impl DivExact<u64, PreInv<u64>> for u64

type Output = u64

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

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

type Output = u128

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

impl DivExact<u8, ()> for u8

type Output = u8

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

impl DivExact<u16, ()> for u16

type Output = u16

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

impl DivExact<u32, ()> for u32

type Output = u32

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

impl DivExact<u64, ()> for u64

type Output = u64

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

impl DivExact<u128, ()> for u128

type Output = u128

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

Implementors