Module cairo_lang_semantic::items::imp

Structs

• ConcreteImplId
• ConcreteImplLongId
• ImplDeclarationData
• ImplDefinitionData
• ImplFunctionDeclarationData
• ImplLookupContext
• ModuleIdById
• TraitFilter
  A filter for trait lookup that is not based on current inference state. This is used for caching queries.

Enums

• GenericsHeadFilter
  A lookup filter on generic arguments that is not based on current inference state. This is used for caching queries.
• ImplHead
  Head of an impl. A non-param non-variable impl has a head, which represents the kind of the root node in its tree representation. This is used for caching queries for fast lookups when the impl is not completely inferred yet.
• ImplId
  Represents a “callee” impl that can be referred to in the code. Traits should be resolved to this.
• UninferredImpl
  An candidate impl for later inference.

Functions

• can_infer_impl_by_self
  Checks if an impl of a trait function with a given self_ty exists. This function does not change the state of the inference context.
• filter_candidate_traits
  Returns all the trait functions that fits the given function name and can be called on a given type.
• find_candidates_at_context
  Finds all the implementations of a concrete trait, in a specific lookup context.
• impl_concrete_trait
  Query implementation of crate::db::SemanticGroup::impl_def_concrete_trait.
• impl_def_attributes
  Query implementation of crate::db::SemanticGroup::impl_def_attributes.
• impl_def_concrete_trait
  Query implementation of crate::db::SemanticGroup::impl_def_concrete_trait.
• impl_def_functions_asts
  Query implementation of crate::db::SemanticGroup::impl_def_functions_asts.
• impl_def_generic_params
  Query implementation of crate::db::SemanticGroup::impl_def_generic_params.
• impl_def_generic_params_data
  Query implementation of crate::db::SemanticGroup::impl_def_generic_params_data.
• impl_def_resolver_data
  Query implementation of crate::db::SemanticGroup::impl_def_resolver_data.
• impl_def_trait
  Query implementation of crate::db::SemanticGroup::impl_def_trait.
• impl_function_attributes
  Query implementation of crate::db::SemanticGroup::impl_function_attributes.
• impl_function_body
  Query implementation of crate::db::SemanticGroup::impl_function_body.
• impl_function_body_diagnostics
  Query implementation of crate::db::SemanticGroup::impl_function_body_diagnostics.
• impl_function_body_resolver_data
  Query implementation of crate::db::SemanticGroup::impl_function_body_resolver_data.
• impl_function_by_trait_function
  Query implementation of crate::db::SemanticGroup::impl_function_by_trait_function.
• impl_function_declaration_diagnostics
  Query implementation of crate::db::SemanticGroup::impl_function_declaration_diagnostics.
• impl_function_declaration_implicit_precedence
  Query implementation of SemanticGroup::impl_function_declaration_implicit_precedence.
• impl_function_declaration_implicits
  Query implementation of crate::db::SemanticGroup::impl_function_declaration_implicits.
• impl_function_declaration_inline_config
  Query implementation of crate::db::SemanticGroup::impl_function_declaration_inline_config.
• impl_function_generic_params
  Query implementation of crate::db::SemanticGroup::impl_function_generic_params.
• impl_function_generic_params_data
  Query implementation of crate::db::SemanticGroup::impl_function_generic_params_data.
• impl_function_resolver_data
  Query implementation of crate::db::SemanticGroup::impl_function_resolver_data.
• impl_function_signature
  Query implementation of crate::db::SemanticGroup::impl_function_signature.
• impl_function_trait_function
  Query implementation of crate::db::SemanticGroup::impl_function_trait_function.
• impl_functions
  Query implementation of crate::db::SemanticGroup::impl_functions.
• impl_semantic_declaration_diagnostics
  Query implementation of crate::db::SemanticGroup::impl_semantic_declaration_diagnostics.
• impl_semantic_definition_diagnostics
  Query implementation of crate::db::SemanticGroup::impl_semantic_definition_diagnostics.
• infer_impl_by_self
  Returns an impl of a given trait function with a given self_ty, as well as the number of snapshots needed to be added to it.
• module_impl_ids_for_trait_filter
  Query implementation of crate::db::SemanticGroup::module_impl_ids_for_trait_filter.
• priv_impl_declaration_data
  Query implementation of crate::db::SemanticGroup::priv_impl_declaration_data.
• priv_impl_declaration_data_cycle
  Cycle handling for crate::db::SemanticGroup::priv_impl_declaration_data.
• priv_impl_declaration_data_inner
  Shared code for the query and cycle handling. The cycle handling logic needs to pass resolve_trait=false to prevent the cycle.
• priv_impl_definition_data
  Query implementation of crate::db::SemanticGroup::priv_impl_definition_data.
• priv_impl_function_body_data
  Query implementation of crate::db::SemanticGroup::priv_impl_function_body_data.
• priv_impl_function_declaration_data
  Query implementation of crate::db::SemanticGroup::priv_impl_function_declaration_data.