cairo-native 0.9.0-rc.3

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

//! Traits for types with an additive identity element.

/// Defines an additive identity element for `T`.
///
/// # Laws
///
/// ```text
/// a + 0 = a       ∀ a ∈ T
/// 0 + a = a       ∀ a ∈ T
/// ```
pub trait Zero<T> {
    /// Returns the additive identity element of `T`, `0`.
    ///
    /// # Examples
    ///
    /// ```
    /// use core::num::traits::Zero;
    ///
    /// assert!(Zero::<u32>::zero() == 0);
    /// ```
    fn zero() -> T;

    /// Returns true if `self` is equal to the additive identity.
    ///
    /// # Examples
    ///
    /// ```
    /// use core::num::traits::Zero;
    ///
    /// assert!(0.is_zero());
    /// assert!(!5.is_zero());
    /// ```
    fn is_zero(self: @T) -> bool;

    /// Returns false if `self` is equal to the additive identity.
    ///
    /// # Examples
    ///
    /// ```
    /// use core::num::traits::Zero;
    ///
    /// assert!(5.is_non_zero());
    /// assert!(!0.is_non_zero());
    /// ```
    fn is_non_zero(self: @T) -> bool;
}