Trait 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 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.

Required Associated Types

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

The rust matching type to this type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl IntTraits for Sint128Traits

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"

type IntType = i128

impl IntTraits for Sint8Traits

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"

type IntType = i8

impl IntTraits for Sint16Traits

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"

type IntType = i16

impl IntTraits for Sint32Traits

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"

type IntType = i32

impl IntTraits for Sint64Traits

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"

type IntType = i64

impl IntTraits for Uint128Traits

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"

type IntType = u128

impl IntTraits for Uint8Traits

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"

type IntType = u8

impl IntTraits for Uint16Traits

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"

type IntType = u16

impl IntTraits for Uint32Traits

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"

type IntType = u32

impl IntTraits for Uint64Traits

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"

type IntType = u64