Trait cairo_lang_sierra::extensions::modules::int::IntTraits

pub trait IntTraits: Default {
    type IntType: TryFrom<BigInt> + Into<BigInt> + Copy;

    const IS_SMALL: bool;
    const GENERIC_TYPE_ID: GenericTypeId;
    const CONST: &'static str;
    const EQUAL: &'static str;
    const TO_FELT252: &'static str;
    const TRY_FROM_FELT252: &'static str;
}

Trait for implementing integers.

Required Associated Types

type IntType: TryFrom<BigInt> + Into<BigInt> + Copy

The rust matching type to this type.

Required Associated Constants

const IS_SMALL: bool

Is the type smaller than 128 bits. Relevant since some implementations are different due to range check being 128 bits based.

const GENERIC_TYPE_ID: GenericTypeId

The generic type id for this type.

const CONST: &'static str

The generic libfunc id for getting a const of this type.

const EQUAL: &'static str

The generic libfunc id for comparing equality.

const TO_FELT252: &'static str

The generic libfunc id for conversion to felt252.

const TRY_FROM_FELT252: &'static str

The generic libfunc id for conversion from felt252.

Object Safety

This trait is not object safe.

Implementors

impl IntTraits for Sint128Traits

type IntType = i128

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = false

const CONST: &'static str = "i128_const"

const EQUAL: &'static str = "i128_eq"

const TO_FELT252: &'static str = "i128_to_felt252"

const TRY_FROM_FELT252: &'static str = "i128_try_from_felt252"

impl IntTraits for Sint8Traits

type IntType = i8

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "i8_const"

const EQUAL: &'static str = "i8_eq"

const TO_FELT252: &'static str = "i8_to_felt252"

const TRY_FROM_FELT252: &'static str = "i8_try_from_felt252"

impl IntTraits for Sint16Traits

type IntType = i16

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "i16_const"

const EQUAL: &'static str = "i16_eq"

const TO_FELT252: &'static str = "i16_to_felt252"

const TRY_FROM_FELT252: &'static str = "i16_try_from_felt252"

impl IntTraits for Sint32Traits

type IntType = i32

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "i32_const"

const EQUAL: &'static str = "i32_eq"

const TO_FELT252: &'static str = "i32_to_felt252"

const TRY_FROM_FELT252: &'static str = "i32_try_from_felt252"

impl IntTraits for Sint64Traits

type IntType = i64

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "i64_const"

const EQUAL: &'static str = "i64_eq"

const TO_FELT252: &'static str = "i64_to_felt252"

const TRY_FROM_FELT252: &'static str = "i64_try_from_felt252"

impl IntTraits for Uint128Traits

type IntType = u128

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = false

const CONST: &'static str = "u128_const"

const EQUAL: &'static str = "u128_eq"

const TO_FELT252: &'static str = "u128_to_felt252"

const TRY_FROM_FELT252: &'static str = "u128_try_from_felt252"

impl IntTraits for Uint8Traits

type IntType = u8

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "u8_const"

const EQUAL: &'static str = "u8_eq"

const TO_FELT252: &'static str = "u8_to_felt252"

const TRY_FROM_FELT252: &'static str = "u8_try_from_felt252"

impl IntTraits for Uint16Traits

type IntType = u16

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "u16_const"

const EQUAL: &'static str = "u16_eq"

const TO_FELT252: &'static str = "u16_to_felt252"

const TRY_FROM_FELT252: &'static str = "u16_try_from_felt252"

impl IntTraits for Uint32Traits

type IntType = u32

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "u32_const"

const EQUAL: &'static str = "u32_eq"

const TO_FELT252: &'static str = "u32_to_felt252"

const TRY_FROM_FELT252: &'static str = "u32_try_from_felt252"

impl IntTraits for Uint64Traits

type IntType = u64

const GENERIC_TYPE_ID: GenericTypeId = _

const IS_SMALL: bool = true

const CONST: &'static str = "u64_const"

const EQUAL: &'static str = "u64_eq"

const TO_FELT252: &'static str = "u64_to_felt252"

const TRY_FROM_FELT252: &'static str = "u64_try_from_felt252"