hacspec_lib::prelude

Trait ModNumeric

pub trait ModNumeric {
    // Required methods
    fn sub_mod(self, rhs: Self, n: Self) -> Self;
    fn add_mod(self, rhs: Self, n: Self) -> Self;
    fn mul_mod(self, rhs: Self, n: Self) -> Self;
    fn pow_mod(self, exp: Self, n: Self) -> Self;
    fn modulo(self, n: Self) -> Self;
    fn signed_modulo(self, n: Self) -> Self;
    fn absolute(self) -> Self;
}

Required Methods§

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

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.

Implementations on Foreign Types§

impl ModNumeric for i8

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for i16

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for i32

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for i64

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for i128

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, exp: Self, n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for u8

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for u16

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for u32

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for u64

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

impl ModNumeric for u128

fn sub_mod(self, rhs: Self, n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, n: Self) -> Self

self % n

fn signed_modulo(self, n: Self) -> Self

self % n that always returns a positive integer

fn absolute(self) -> Self

|self|

Implementors§

impl ModNumeric for BigInt

impl ModNumeric for I8

impl ModNumeric for I16

impl ModNumeric for I32

impl ModNumeric for I64

impl ModNumeric for I128

impl ModNumeric for U8

impl ModNumeric for U16

impl ModNumeric for U16Word

impl ModNumeric for U32

impl ModNumeric for U32Word

impl ModNumeric for U64

impl ModNumeric for U64Word

impl ModNumeric for U128

impl ModNumeric for U128Word

impl ModNumeric for u16Word

impl ModNumeric for u32Word

impl ModNumeric for u64Word

impl ModNumeric for u128Word

impl<T: Numeric + PublicInteger + Copy> ModNumeric for PublicSeq<T>

impl<T: Numeric + SecretInteger + Copy> ModNumeric for Seq<T>