Trait num_modular::DivExact

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

    // Required method
    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
• 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.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl DivExact<u8, ()> for u8

type Output = u8

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

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

type Output = u8

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

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

type Output = u16

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

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

type Output = u8

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

impl DivExact<u16, ()> for u16

type Output = u16

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

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

type Output = u16

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

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

type Output = u32

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

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

type Output = u16

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

impl DivExact<u32, ()> for u32

type Output = u32

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

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

type Output = u32

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

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

type Output = u64

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

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

type Output = u32

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

impl DivExact<u64, ()> for u64

type Output = u64

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

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

type Output = u64

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

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

type Output = u128

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

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

type Output = u64

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

impl DivExact<u128, ()> for u128

type Output = u128

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

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

type Output = u128

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

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

type Output = usize

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

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

type Output = usize

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

Implementors