Trait num::traits::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.
Implementors
impl Zero for BigUint
impl Zero for BigInt
impl<T: Clone + Num> Zero for Complex<T>
impl Zero for usize
impl Zero for u8
impl Zero for u16
impl Zero for u32
impl Zero for u64
impl Zero for isize
impl Zero for i8
impl Zero for i16
impl Zero for i32
impl Zero for i64
impl Zero for f32
impl Zero for f64
impl<T: Clone + Integer + PartialOrd> Zero for Ratio<T>