Struct Modular

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

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 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 + Clone + Eq + Rem<Output = T>> Clone for Modular<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Clone + Eq + Rem<Output = T> + One, U> Index<Modular<T>> for [U]

where [U]: Index<T, Output = U>,

type Output = U

The returned type after indexing.

fn index(&self, index: Modular<T>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T: Clone + Eq + Rem<Output = T> + One, U> IndexMut<Modular<T>> for [U]

where [U]: IndexMut<T, Output = U>,

fn index_mut(&mut self, index: Modular<T>) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

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

type Output = Modular<T>

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 for Modular<T>

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: CheckedAdd + Clone + Eq + Rem<Output = T> + Sub<Output = T> + Shr<Output = T> + BitAnd<Output = T> + One> Sub 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.

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

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

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