[][src]Trait fraction::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 i16[src]

impl Zero for u8[src]

impl Zero for u32[src]

impl Zero for u64[src]

impl Zero for usize[src]

impl Zero for isize[src]

impl Zero for u16[src]

impl Zero for i32[src]

impl Zero for f32[src]

impl Zero for i64[src]

impl Zero for i128[src]

impl Zero for u128[src]

impl Zero for f64[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 i8[src]

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

Loading content...

Implementors

impl Zero for BigInt[src]

impl Zero for BigUint[src]

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

impl<T, G> Zero for DynaInt<T, G> where
    T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
    G: Clone + GenericInteger
[src]

impl<T, P> Zero for GenericDecimal<T, P> where
    T: Clone + GenericInteger,
    P: Copy + GenericInteger + Into<usize> + Zero
[src]

impl<T: Clone + Integer> Zero for GenericFraction<T>[src]

Loading content...