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

[]

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 muts.

[]

Returns true if self is equal to the additive identity.

Implementations on Foreign Types

impl<T: Zero> Zero for Wrapping<T> where
    Wrapping<T>: Add<Output = Wrapping<T>>, 
[src]

[]

Implementors