cairo-native 0.9.0-rc.5

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

//! Utilities for the `felt252` type.
//!
//! The implementations defined in this module can be accessed by using the traits directly.

pub(crate) impl Felt252Zero of crate::num::traits::Zero<felt252> {
    const fn zero() -> felt252 {
        0
    }

    #[inline]
    const fn is_zero(self: @felt252) -> bool {
        *self == Self::zero()
    }

    #[inline]
    const fn is_non_zero(self: @felt252) -> bool {
        !self.is_zero()
    }
}

pub(crate) impl Felt252One of crate::num::traits::One<felt252> {
    fn one() -> felt252 {
        1
    }

    #[inline]
    fn is_one(self: @felt252) -> bool {
        *self == Self::one()
    }

    #[inline]
    fn is_non_one(self: @felt252) -> bool {
        !self.is_one()
    }
}