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
.
a + 0 = a ∀ a ∈ Self
0 + a = a ∀ a ∈ Self
Returns the additive identity element of Self
, 0
.
This function should return the same result at all times regardless of
external mutable state, for example values stored in TLS or in
static mut
s.
Returns true
if self
is equal to the additive identity.
Sets self
to the additive identity element of Self
, 0
.