Trait snarkvm_console_algorithms::scalar::Zero

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

    fn set_zero(&mut self) { ... }
}
Expand description

Defines an additive identity element for Self.

Laws

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

Required Methods

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.

Returns true if self is equal to the additive identity.

Provided Methods

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

Implementations on Foreign Types

Returns the 0 element of the integer.

Returns true if the element is zero.

Implementors