Trait astral::math::num::Zero

pub trait Zero: 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 muts.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

Loading content...

Implementations on Foreign Types

impl Zero for u32

fn zero() -> u32

fn is_zero(&self) -> bool

impl Zero for f32

fn zero() -> f32

fn is_zero(&self) -> bool

impl Zero for u64

fn zero() -> u64

fn is_zero(&self) -> bool

impl Zero for u128

fn zero() -> u128

fn is_zero(&self) -> bool

impl Zero for usize

fn zero() -> usize

fn is_zero(&self) -> bool

impl Zero for isize

fn zero() -> isize

fn is_zero(&self) -> bool

impl Zero for u8

fn zero() -> u8

fn is_zero(&self) -> bool

impl Zero for f64

fn zero() -> f64

fn is_zero(&self) -> bool

impl Zero for i64

fn zero() -> i64

fn is_zero(&self) -> bool

impl Zero for i8

fn zero() -> i8

fn is_zero(&self) -> bool

impl Zero for i128

fn zero() -> i128

fn is_zero(&self) -> bool

impl<T> Zero for Wrapping<T> where
    T: Zero,
    Wrapping<T>: Add<Wrapping<T>>,
    <Wrapping<T> as Add<Wrapping<T>>>::Output == Wrapping<T>, 

fn is_zero(&self) -> bool

fn zero() -> Wrapping<T>

impl Zero for i16

fn zero() -> i16

fn is_zero(&self) -> bool

impl Zero for u16

fn zero() -> u16

fn is_zero(&self) -> bool

impl Zero for i32

fn zero() -> i32

fn is_zero(&self) -> bool

Loading content...

Implementors

Loading content...