Struct safe_modular_arithmetic::Modular

pub struct Modular<T: Clone + Eq + Rem<Output = T>> { /* fields omitted */ }

Represents an integer with an associated modulus.

Implementations

impl<T: Clone + Eq + Rem<Output = T>> Modular<T>

pub fn new(value: T, modulus: T) -> Self

Constructs a new modular arithmetic integer.

pub fn value(&self) -> &T

Gets the value of the integer.

pub fn modulus(&self) -> &T

Gets the modulus of the integer.

pub fn into_parts(self) -> (T, T)

Splits the integer into its value and modulus.

Trait Implementations

impl<T: CheckedAdd + Clone + Eq + Rem<Output = T> + Shr<Output = T> + BitAnd<Output = T> + One> Add<Modular<T>> for Modular<T>

type Output = Modular<<T as Add>::Output>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<T: Clone + Eq + Rem<Output = T>> Clone for Modular<T>

fn clone(&self) -> Modular<T>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Copy + Clone + Eq + Rem<Output = T>> Copy for Modular<T>

impl<T: Eq + Clone + Rem<Output = T>> Eq for Modular<T>

impl<T: Clone + Eq + Rem<Output = T> + Sub<Output = T> + One> Neg for Modular<T>

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T: PartialEq + Clone + Eq + Rem<Output = T>> PartialEq<Modular<T>> for Modular<T>

fn eq(&self, other: &Modular<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Modular<T>) -> bool

This method tests for !=.

impl<T: Clone + Eq + Rem<Output = T>> StructuralEq for Modular<T>

impl<T: Clone + Eq + Rem<Output = T>> StructuralPartialEq for Modular<T>

impl<T: CheckedAdd + Clone + Eq + Rem<Output = T> + Sub<Output = T> + Shr<Output = T> + BitAnd<Output = T> + One> Sub<Modular<T>> for Modular<T>

type Output = Modular<<T as Add>::Output>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.