Trait prio::field::Integer

pub trait Integer: Debug + Eq + Ord + BitAnd<Output = Self> + Div<Output = Self> + Shl<usize, Output = Self> + Shr<usize, Output = Self> + Add<Output = Self> + Sub<Output = Self> + TryFrom<usize, Error = Self::TryFromUsizeError> + TryInto<u64, Error = Self::TryIntoU64Error> {
    type TryFromUsizeError: Error;
    type TryIntoU64Error: Error;

    // Required methods
    fn zero() -> Self;
    fn one() -> Self;
}

An integer type that accompanies a finite field. Integers and field elements may be converted back and forth via the natural map between residue classes modulo ‘p’ and integers between 0 and p - 1.

Required Associated Types

type TryFromUsizeError: Error

The error returned if converting usize to this integer type fails.

type TryIntoU64Error: Error

The error returned if converting this integer type to a u64 fails.

Required Methods

fn zero() -> Self

Returns zero.

fn one() -> Self

Returns one.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Integer for u32

type TryFromUsizeError = <u32 as TryFrom<usize>>::Error

type TryIntoU64Error = <u32 as TryInto<u64>>::Error

fn zero() -> Self

fn one() -> Self

impl Integer for u64

type TryFromUsizeError = <u64 as TryFrom<usize>>::Error

type TryIntoU64Error = <u64 as TryInto<u64>>::Error

fn zero() -> Self

fn one() -> Self

impl Integer for u128

type TryFromUsizeError = <u128 as TryFrom<usize>>::Error

type TryIntoU64Error = <u128 as TryInto<u64>>::Error

fn zero() -> Self

fn one() -> Self

Implementors