Trait modicum::DivMod

pub trait DivMod<M: Modulus<Self>, Rhs = Self>
where
    Self: TryFrom<M>,
    <Self as TryFrom<M>>::Error: Debug,
{
    type Output;

    // Required method
    fn div_mod(self, rhs: Rhs, modulus: M) -> Option<Self::Output>;
}

A trait to divide two integers and constrain the result to a modulus.

Required Associated Types

type Output

The output type.

Required Methods

fn div_mod(self, rhs: Rhs, modulus: M) -> Option<Self::Output>

Divide two integers and constrain the result to a modulus. If the divisor is not invertible, return None.

Object Safety

This trait is not object safe.

Implementors

impl<T, M> DivMod<M> for T

where T: Invert + TryFrom<M>, <T as TryFrom<M>>::Error: Debug, M: Modulus<T>,

type Output = T