Struct StaticModular

pub struct StaticModular<T: Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize>(/* private fields */);

Represents an integer with a statically specified modulus.

Implementations

impl<T: Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize> StaticModular<T, M>

pub fn new(value: T) -> Self

Constructs a new modular integer.

pub fn value(&self) -> &T

Gets the value of the integer.

pub fn into_value(self) -> T

Consumes the integer, producing its value.

pub fn into_dynamic(self) -> Modular<T>

Consumes the integer, producing an equivalent Modular value.

Trait Implementations

impl<T: CheckedAdd + Clone + Eq + Rem<Output = T> + Shr<Output = T> + BitAnd<Output = T> + One + From<usize>, const M: usize> Add for StaticModular<T, M>

type Output = StaticModular<<T as Add>::Output, M>

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> + One + From<usize>, const M: usize> Clone for StaticModular<T, M>

fn clone(&self) -> StaticModular<T, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Clone + Eq + From<usize> + Rem<Output = T> + One, const M: usize> From<T> for StaticModular<T, M>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T: Clone + Eq + From<usize> + Rem<Output = T> + One, U, const M: usize> Index<StaticModular<T, M>> for [U]

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

type Output = U

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl<T: Clone + Eq + From<usize> + Rem<Output = T> + One, U, const M: usize> IndexMut<StaticModular<T, M>> for [U]

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

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

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

impl<T: PartialEq + Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize> PartialEq for StaticModular<T, M>

fn eq(&self, other: &StaticModular<T, M>) -> 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: Copy + Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize> Copy for StaticModular<T, M>

impl<T: Eq + Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize> Eq for StaticModular<T, M>

impl<T: Clone + Eq + Rem<Output = T> + One + From<usize>, const M: usize> StructuralPartialEq for StaticModular<T, M>