Trait num::Zero[−][src]

pub trait Zero: Add<Self, Output = Self> {
    pub fn zero() -> Self;

    pub fn is_zero(&self) -> bool;

    pub fn set_zero(&mut self) { ... }
}
[−]

Defines an additive identity element for Self.

Laws

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

Required methods

pub fn zero() -> Self[src][−]

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.

pub fn is_zero(&self) -> bool[src][−]

Returns true if self is equal to the additive identity.

Provided methods

pub fn set_zero(&mut self)[src][−]

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

Implementations on Foreign Types

impl Zero for u8[src][−]

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

impl Zero for u128[src][−]

impl Zero for i128[src][−]

impl Zero for u64[src][−]

impl Zero for isize[src][−]

impl Zero for usize[src][−]

impl Zero for i16[src][−]

impl Zero for i64[src][−]

impl Zero for u32[src][−]

impl Zero for f32[src][−]

impl Zero for i8[src][−]

impl Zero for u16[src][−]

impl Zero for f64[src][−]

impl Zero for i32[src][−]

Implementors

impl<T> Zero for Ratio<T> where
    T: Clone + Integer, [src][+]

impl<T> Zero for Complex<T> where
    T: Clone + Num, [src][+]

impl<T: Clone + Num> Zero for Complex<T>

impl<T: Clone + Integer> Zero for Ratio<T>

impl<T: Float> Zero for OrderedFloat<T>

impl<T: Float> Zero for NotNan<T>