Trait num_traits::identities::Zero
[−]
[src]
pub trait Zero: Sized + Add<Self, Output = Self> { fn zero() -> Self; fn is_zero(&self) -> bool; }
Defines an additive identity element for Self
.
Required Methods
fn zero() -> Self
Returns the additive identity element of Self
, 0
.
Laws
a + 0 = a ∀ a ∈ Self
0 + a = a ∀ a ∈ Self
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 mut
s.
fn is_zero(&self) -> bool
Returns true
if self
is equal to the additive identity.