Trait Zero 

pub trait Zero: Sized {
    // Required methods
    fn zero() -> Self;
    fn set_zero(&mut self);
    fn is_zero(&self) -> bool;
}

Defines an additive identity element for Self.

This is a pure identity-value trait: it provides the 0 and a zero-test, but does not require Add. The bundling of Add is upstream convention, not a law — 0 is equally the identity under subtraction (a - 0 = a) — so consumers state the operators they actually use explicitly (T: Zero + Add, T: Zero + Sub, …). Numeric code that needs the full operator set takes Num.

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 set_zero(&mut self)

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

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl Zero for f32

fn zero() -> f32

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for f64

fn zero() -> f64

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for i8

fn zero() -> i8

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for i16

fn zero() -> i16

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for i32

fn zero() -> i32

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for i64

fn zero() -> i64

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for i128

fn zero() -> i128

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for isize

fn zero() -> isize

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for u8

fn zero() -> u8

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for u16

fn zero() -> u16

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for u32

fn zero() -> u32

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for u64

fn zero() -> u64

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for u128

fn zero() -> u128

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl Zero for usize

fn zero() -> usize

fn set_zero(&mut self)

fn is_zero(&self) -> bool

impl<T: Zero> Zero for Saturating<T>

where Saturating<T>: Add<Output = Saturating<T>>,

fn is_zero(&self) -> bool

fn set_zero(&mut self)

fn zero() -> Self

impl<T: Zero> Zero for Wrapping<T>

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

fn is_zero(&self) -> bool

fn set_zero(&mut self)

fn zero() -> Self

Implementors