Trait HasModulus 

pub trait HasModulus {
    // Required method
    fn modulus(&self) -> u64;
}

Trait providing access to the const-generic modulus value.

Implemented automatically for all Modular<N> instances.

Examples

use const_reify::{Modular, HasModulus};

fn print_modulus(m: &dyn HasModulus) {
    println!("modulus = {}", m.modulus());
}

print_modulus(&Modular::<7>);

Required Methods

fn modulus(&self) -> u64

Returns the modulus value.

Implementors

impl<const N: u64> HasModulus for Modular<N>