Module cairo_lang_semantic::corelib

Enums

• CoreTraitContext
  The context for a core library trait.
• ErrorPropagationType
• LiteralError

Functions

• bounded_int_ty
  Returns the concrete type of a bounded int type with a given min and max.
• concrete_copy_trait
• concrete_destruct_trait
• concrete_drop_trait
• concrete_iterator_trait
• concrete_panic_destruct_trait
• copy_trait
• core_array_felt252_ty
• core_binary_operator
• core_bool_enum
  Generates a ConcreteEnumId instance for bool.
• core_bool_ty
• core_box_ty
• core_crate
• core_downcast
  The function downcast from the integer submodule.
• core_felt252_is_zero
• core_felt252_ty
• core_module
• core_nonzero_ty
• core_option_ty
• core_result_ty
• core_submodule
  Returns a submodule of the corelib named submodule_name. If no such submodule exists, panics.
• core_unary_operator
• core_withdraw_gas_fns
  The gas withdrawal functions from the gas submodule.
• deref_mut_trait
• deref_trait
• destruct_trait_fn
• drop_trait
• false_literal_expr
  Gets a semantic expression of the literal false. Uses the given stable_ptr in the returned semantic expression.
• false_variant
  Generates a ConcreteVariant instance for false.
• felt252_eq
• felt252_sub
• get_convert_to_felt252_libfunc_name_by_type
  Returns FunctionId of the libfunc that converts type of ty to felt252.
• get_core_enum_concrete_variant
  Gets a ConcreteVariant instance for an enum variant from the core module, by name. Assumes the variant exists.
• get_core_function_id
  Given a core library function name and its generic arguments, returns FunctionId.
• get_core_generic_function_id
  Given a core library function name, returns GenericFunctionId.
• get_core_trait
  Given a core library context and trait name, returns TraitId.
• get_core_ty_by_name
• get_enum_concrete_variant
  Gets a ConcreteVariant instance for an enum variant, by module and name. Assumes the variant exists.
• get_function_id
  Given a module, a library function name and its generic arguments, returns FunctionId.
• get_generic_function_id
  Given a module and a library function name, returns GenericFunctionId.
• get_panic_ty
• get_submodule
  Returns the submodule of base_module, named submodule_name, if exists.
• get_ty_by_name
• get_usize_ty
• internal_require_implicit
• into_iterator_trait
• jump_nz_nonzero_variant
  Generates a ConcreteVariant instance for IsZeroResult::<felt252>::NonZero.
• jump_nz_zero_variant
  Generates a ConcreteVariant instance for IsZeroResult::<felt252>::Zero.
• never_ty
  Gets the never type ().
• numeric_literal_trait
• option_none_variant
  Generates a ConcreteVariant instance for Option::None.
• option_some_variant
  Generates a ConcreteVariant instance for Option::Some.
• panic_destruct_trait_fn
• true_literal_expr
  Gets a semantic expression of the literal true. Uses the given stable_ptr in the returned semantic expression.
• true_variant
  Generates a ConcreteVariant instance for true.
• try_extract_nz_wrapped_type
  Returns the type if the inner value of a NonZero type, if it is wrapped in one.
• try_get_core_ty_by_name
• try_get_ty_by_name
• unit_expr
  builds a semantic unit expression. This is not necessarily located in the AST, so it is received as a param.
• unit_ty
  Gets the unit type ().
• unwrap_error_propagation_type
  Attempts to unwrap error propagation types (Option, Result). Returns None if not one of these types.
• validate_literal
  Validates that a given type is valid for a literal and that the value fits the range of the specific type.