Trait 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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