Trait Zero

pub trait Zero: Sized + Add<Output = Self> {
    // Required methods
    fn zero() -> Self;
    fn is_zero(&self) -> bool;

    // Provided method
    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

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.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

Provided Methods

fn set_zero(&mut self)

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

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 Zero for f32

fn zero() -> f32

fn is_zero(&self) -> bool

impl Zero for f64

fn zero() -> f64

fn is_zero(&self) -> bool

impl Zero for i8

fn zero() -> i8

fn is_zero(&self) -> bool

impl Zero for i16

fn zero() -> i16

fn is_zero(&self) -> bool

impl Zero for i32

fn zero() -> i32

fn is_zero(&self) -> bool

impl Zero for i64

fn zero() -> i64

fn is_zero(&self) -> bool

impl Zero for i128

fn zero() -> i128

fn is_zero(&self) -> bool

impl Zero for isize

fn zero() -> isize

fn is_zero(&self) -> bool

impl Zero for u8

fn zero() -> u8

fn is_zero(&self) -> bool

impl Zero for u16

fn zero() -> u16

fn is_zero(&self) -> bool

impl Zero for u32

fn zero() -> u32

fn is_zero(&self) -> bool

impl Zero for u64

fn zero() -> u64

fn is_zero(&self) -> bool

impl Zero for u128

fn zero() -> u128

fn is_zero(&self) -> bool

impl Zero for usize

fn zero() -> usize

fn is_zero(&self) -> bool

impl Zero for BigInt

fn zero() -> BigInt

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for BigUint

fn zero() -> BigUint

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl<T> Zero for Wrapping<T>

where T: Zero, Wrapping<T>: Add<Output = Wrapping<T>>,

fn is_zero(&self) -> bool

fn set_zero(&mut self)

fn zero() -> Wrapping<T>

Implementors

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

impl<P: FpConfig<N>, const N: usize> Zero for Fp<P, N>

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