Trait SubMod

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

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

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

Required Associated Types

type Output

The output type.

Required Methods

fn sub_mod(self, rhs: Rhs, modulus: M) -> Self::Output

Subtract two integers and constrain the result to a modulus.

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> SubMod<M> for T

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

type Output = T