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 a multiplicative identity element.

/// Defines a multiplicative identity element for `T`.
///
/// # Laws
///
/// ```text
/// a * 1 = a       ∀ a ∈ T
/// 1 * a = a       ∀ a ∈ T
/// ```
pub trait One<T> {
    /// Returns the multiplicative identity element of `T`, `1`.
    ///
    /// # Examples
    ///
    /// ```
    /// use core::num::traits::One;
    ///
    /// assert!(One::<u32>::one() == 1);
    /// ```
    fn one() -> T;

    /// Returns true if `self` is equal to the multiplicative identity.
    ///
    /// # Examples
    ///
    /// ```
    /// use core::num::traits::One;
    ///
    /// assert!(1.is_one());
    /// assert!(!0.is_one());
    /// ```
    fn is_one(self: @T) -> bool;

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