Trait ark_ff::Zero

pub trait Zero: Add<Self, Output = Self> {
    pub fn zero() -> Self;
    pub fn is_zero(&self) -> bool;

    pub fn set_zero(&mut self) { ... }
}

Defines an additive identity element for Self.

Laws

a + 0 = a       ∀ a ∈ Self
0 + a = a       ∀ a ∈ Self

Required methods

pub fn zero() -> Self

Returns the additive identity element of Self, 0.

Purity

This function should return the same result at all times regardless of external mutable state, for example values stored in TLS or in static muts.

pub fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

Loading content...

Provided methods

pub fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

Loading content...

Implementations on Foreign Types

impl<T> Zero for Wrapping<T> where
    T: Zero,
    Wrapping<T>: Add<Wrapping<T>>,
    <Wrapping<T> as Add<Wrapping<T>>>::Output == Wrapping<T>, 

pub fn is_zero(&self) -> bool

pub fn set_zero(&mut self)

pub fn zero() -> Wrapping<T>

Loading content...

Implementors

impl Zero for f32

pub fn zero() -> f32

pub fn is_zero(&self) -> bool

impl Zero for f64

pub fn zero() -> f64

pub fn is_zero(&self) -> bool

impl Zero for i8

pub fn zero() -> i8

pub fn is_zero(&self) -> bool

impl Zero for i16

pub fn zero() -> i16

pub fn is_zero(&self) -> bool

impl Zero for i32

pub fn zero() -> i32

pub fn is_zero(&self) -> bool

impl Zero for i64

pub fn zero() -> i64

pub fn is_zero(&self) -> bool

impl Zero for i128

pub fn zero() -> i128

pub fn is_zero(&self) -> bool

impl Zero for isize

pub fn zero() -> isize

pub fn is_zero(&self) -> bool

impl Zero for u8

pub fn zero() -> u8

pub fn is_zero(&self) -> bool

impl Zero for u16

pub fn zero() -> u16

pub fn is_zero(&self) -> bool

impl Zero for u32

pub fn zero() -> u32

pub fn is_zero(&self) -> bool

impl Zero for u64

pub fn zero() -> u64

pub fn is_zero(&self) -> bool

impl Zero for u128

pub fn zero() -> u128

pub fn is_zero(&self) -> bool

impl Zero for usize

pub fn zero() -> usize

pub fn is_zero(&self) -> bool

impl<P: CubicExtParameters> Zero for CubicExtField<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: QuadExtParameters> Zero for QuadExtField<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp64Parameters> Zero for Fp64<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp256Parameters> Zero for Fp256<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp320Parameters> Zero for Fp320<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp384Parameters> Zero for Fp384<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp768Parameters> Zero for Fp768<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Fp832Parameters> Zero for Fp832<P>

fn zero() -> Self

fn is_zero(&self) -> bool

Loading content...