List of all items
Structs
- LocalVariable
- ParamId
- Parameter
- db::CanonicTraitSolutionsQuery
- db::ConcreteFunctionSignatureQuery
- db::ConcreteTraitFunctionGenericParamsQuery
- db::ConcreteTraitFunctionSignatureQuery
- db::ConstantResolverDataQuery
- db::ConstantSemanticDataQuery
- db::ConstantSemanticDiagnosticsQuery
- db::CoreCrateQuery
- db::CoreFelt252TyQuery
- db::CoreModuleQuery
- db::EnumAttributesQuery
- db::EnumDeclarationDiagnosticsQuery
- db::EnumDeclarationResolverDataQuery
- db::EnumDefinitionDiagnosticsQuery
- db::EnumDefinitionResolverDataQuery
- db::EnumGenericParamsDataQuery
- db::EnumGenericParamsQuery
- db::EnumVariantsQuery
- db::ExprSemanticQuery
- db::ExternFunctionDeclarationDiagnosticsQuery
- db::ExternFunctionDeclarationGenericParamsDataQuery
- db::ExternFunctionDeclarationGenericParamsQuery
- db::ExternFunctionDeclarationImplicitsQuery
- db::ExternFunctionDeclarationInlineConfigQuery
- db::ExternFunctionDeclarationRefsQuery
- db::ExternFunctionDeclarationResolverDataQuery
- db::ExternFunctionSignatureQuery
- db::ExternTypeDeclarationDiagnosticsQuery
- db::ExternTypeDeclarationGenericParamsDataQuery
- db::ExternTypeDeclarationGenericParamsQuery
- db::FileSemanticDiagnosticsQuery
- db::FreeFunctionBodyDiagnosticsQuery
- db::FreeFunctionBodyResolverDataQuery
- db::FreeFunctionDeclarationDiagnosticsQuery
- db::FreeFunctionDeclarationImplicitPrecedenceQuery
- db::FreeFunctionDeclarationImplicitsQuery
- db::FreeFunctionDeclarationInlineConfigQuery
- db::FreeFunctionDeclarationResolverDataQuery
- db::FreeFunctionGenericParamsDataQuery
- db::FreeFunctionGenericParamsQuery
- db::FreeFunctionSignatureQuery
- db::FunctionBodyDiagnosticsQuery
- db::FunctionBodyExprQuery
- db::FunctionBodyQuery
- db::FunctionDeclarationDiagnosticsQuery
- db::FunctionDeclarationImplicitPrecedenceQuery
- db::FunctionDeclarationInlineConfigQuery
- db::FunctionTitleGenericParamsQuery
- db::FunctionTitleSignatureQuery
- db::FunctionWithBodyAttributesQuery
- db::FunctionWithBodyGenericParamsQuery
- db::FunctionWithBodySignatureQuery
- db::GenericImplParamTraitQuery
- db::GenericParamDataQuery
- db::GenericParamDiagnosticsQuery
- db::GenericParamResolverDataQuery
- db::GenericParamSemanticQuery
- db::GenericTypeGenericParamsQuery
- db::ImplAliasGenericParamsDataQuery
- db::ImplAliasGenericParamsQuery
- db::ImplAliasResolvedImplQuery
- db::ImplAliasResolverDataQuery
- db::ImplAliasSemanticDiagnosticsQuery
- db::ImplConcreteTraitQuery
- db::ImplDefAttributesQuery
- db::ImplDefConcreteTraitQuery
- db::ImplDefFunctionsAstsQuery
- db::ImplDefGenericParamsDataQuery
- db::ImplDefGenericParamsQuery
- db::ImplDefResolverDataQuery
- db::ImplDefTraitQuery
- db::ImplFunctionAttributesQuery
- db::ImplFunctionBodyDiagnosticsQuery
- db::ImplFunctionBodyQuery
- db::ImplFunctionBodyResolverDataQuery
- db::ImplFunctionByTraitFunctionQuery
- db::ImplFunctionDeclarationDiagnosticsQuery
- db::ImplFunctionDeclarationImplicitPrecedenceQuery
- db::ImplFunctionDeclarationImplicitsQuery
- db::ImplFunctionDeclarationInlineConfigQuery
- db::ImplFunctionGenericParamsDataQuery
- db::ImplFunctionGenericParamsQuery
- db::ImplFunctionResolverDataQuery
- db::ImplFunctionSignatureQuery
- db::ImplFunctionTraitFunctionQuery
- db::ImplFunctionsQuery
- db::ImplSemanticDeclarationDiagnosticsQuery
- db::ImplSemanticDefinitionDiagnosticsQuery
- db::InternConcreteEnumLookupQuery
- db::InternConcreteEnumQuery
- db::InternConcreteExternTypeLookupQuery
- db::InternConcreteExternTypeQuery
- db::InternConcreteFunctionWithBodyLookupQuery
- db::InternConcreteFunctionWithBodyQuery
- db::InternConcreteImplLookupQuery
- db::InternConcreteImplQuery
- db::InternConcreteStructLookupQuery
- db::InternConcreteStructQuery
- db::InternConcreteTraitFunctionLookupQuery
- db::InternConcreteTraitFunctionQuery
- db::InternConcreteTraitLookupQuery
- db::InternConcreteTraitQuery
- db::InternFunctionLookupQuery
- db::InternFunctionQuery
- db::InternImplVarLookupQuery
- db::InternImplVarQuery
- db::InternLiteralLookupQuery
- db::InternLiteralQuery
- db::InternTypeLookupQuery
- db::InternTypeQuery
- db::LookupResolvedConcreteItemByPtrQuery
- db::LookupResolvedGenericItemByPtrQuery
- db::MethodsInCrateQuery
- db::MethodsInModuleQuery
- db::ModuleAttributesQuery
- db::ModuleImplIdsForTraitFilterQuery
- db::ModuleItemByNameQuery
- db::ModuleScopeQuery
- db::ModuleSemanticDiagnosticsQuery
- db::PrivConstantSemanticDataQuery
- db::PrivEnumDeclarationDataQuery
- db::PrivEnumDefinitionDataQuery
- db::PrivExternFunctionDeclarationDataQuery
- db::PrivExternTypeDeclarationDataQuery
- db::PrivFreeFunctionBodyDataQuery
- db::PrivFreeFunctionDeclarationDataQuery
- db::PrivImplAliasSemanticDataQuery
- db::PrivImplDeclarationDataQuery
- db::PrivImplDefinitionDataQuery
- db::PrivImplFunctionBodyDataQuery
- db::PrivImplFunctionDeclarationDataQuery
- db::PrivModuleSemanticDataQuery
- db::PrivStructDeclarationDataQuery
- db::PrivStructDefinitionDataQuery
- db::PrivTraitFunctionBodyDataQuery
- db::PrivTraitFunctionDeclarationDataQuery
- db::PrivTraitSemanticDeclarationDataQuery
- db::PrivTraitSemanticDefinitionDataQuery
- db::PrivTypeAliasSemanticDataQuery
- db::PrivUseSemanticDataQuery
- db::SemanticDatabase
- db::SemanticGroupGroupStorage__
- db::SemanticPluginsQuery
- db::StatementSemanticQuery
- db::StructAttributesQuery
- db::StructDeclarationDiagnosticsQuery
- db::StructDeclarationResolverDataQuery
- db::StructDefinitionDiagnosticsQuery
- db::StructDefinitionResolverDataQuery
- db::StructGenericParamsDataQuery
- db::StructGenericParamsQuery
- db::StructMembersQuery
- db::TraitAttributesQuery
- db::TraitFunctionAstsQuery
- db::TraitFunctionAttributesQuery
- db::TraitFunctionBodyDiagnosticsQuery
- db::TraitFunctionBodyQuery
- db::TraitFunctionByNameQuery
- db::TraitFunctionDeclarationDiagnosticsQuery
- db::TraitFunctionDeclarationImplicitPrecedenceQuery
- db::TraitFunctionDeclarationImplicitsQuery
- db::TraitFunctionDeclarationInlineConfigQuery
- db::TraitFunctionGenericParamsDataQuery
- db::TraitFunctionGenericParamsQuery
- db::TraitFunctionResolverDataQuery
- db::TraitFunctionSignatureQuery
- db::TraitFunctionsQuery
- db::TraitGenericParamsDataQuery
- db::TraitGenericParamsQuery
- db::TraitResolverDataQuery
- db::TraitSemanticDeclarationDiagnosticsQuery
- db::TraitSemanticDefinitionDiagnosticsQuery
- db::TypeAliasGenericParamsDataQuery
- db::TypeAliasGenericParamsQuery
- db::TypeAliasResolvedTypeQuery
- db::TypeAliasResolverDataQuery
- db::TypeAliasSemanticDiagnosticsQuery
- db::TypeInfoQuery
- db::UseResolverDataQuery
- db::UseSemanticDiagnosticsQuery
- db::VariantSemanticQuery
- diagnostic::SemanticDiagnostic
- diagnostic::SemanticDiagnostics
- expr::compute::ComputationContext
- expr::compute::Environment
- expr::compute::ExprAndId
- expr::compute::NamedArg
- expr::fmt::ExprFormatter
- expr::inference::ImplVar
- expr::inference::ImplVarId
- expr::inference::Inference
- expr::inference::InferenceData
- expr::inference::LocalImplVarId
- expr::inference::LocalTypeVarId
- expr::inference::TypeVar
- expr::inference::canonic::CanonicalImpl
- expr::inference::canonic::CanonicalMapping
- expr::inference::canonic::CanonicalTrait
- expr::inference::canonic::MapperError
- expr::inference::canonic::VarMapping
- expr::inference::solver::CandidateSolver
- expr::inference::solver::Solver
- expr::objects::ExprAssignment
- expr::objects::ExprBlock
- expr::objects::ExprConstant
- expr::objects::ExprDesnap
- expr::objects::ExprEnumVariantCtor
- expr::objects::ExprFunctionCall
- expr::objects::ExprIf
- expr::objects::ExprLiteral
- expr::objects::ExprLogicalOperator
- expr::objects::ExprLoop
- expr::objects::ExprMatch
- expr::objects::ExprMemberAccess
- expr::objects::ExprMissing
- expr::objects::ExprPropagateError
- expr::objects::ExprSnapshot
- expr::objects::ExprStructCtor
- expr::objects::ExprTuple
- expr::objects::ExprVar
- expr::objects::MatchArm
- expr::objects::StatementBreak
- expr::objects::StatementContinue
- expr::objects::StatementExpr
- expr::objects::StatementLet
- expr::objects::StatementReturn
- expr::pattern::PatternEnumVariant
- expr::pattern::PatternLiteral
- expr::pattern::PatternOtherwise
- expr::pattern::PatternStruct
- expr::pattern::PatternTuple
- expr::pattern::PatternVariable
- items::constant::Constant
- items::constant::ConstantData
- items::enm::ConcreteVariant
- items::enm::EnumDeclarationData
- items::enm::EnumDefinitionData
- items::enm::Variant
- items::extern_type::ExternTypeDeclarationData
- items::function_with_body::FunctionBody
- items::function_with_body::FunctionBodyData
- items::functions::ConcreteFunction
- items::functions::ConcreteFunctionWithBody
- items::functions::ConcreteFunctionWithBodyId
- items::functions::FunctionDeclarationData
- items::functions::FunctionId
- items::functions::FunctionLongId
- items::functions::ImplGenericFunctionId
- items::functions::ImplGenericFunctionWithBodyId
- items::functions::ImplicitPrecedence
- items::functions::Signature
- items::generics::GenericParamConst
- items::generics::GenericParamData
- items::generics::GenericParamImpl
- items::generics::GenericParamType
- items::generics::GenericParamsData
- items::imp::ConcreteImplId
- items::imp::ConcreteImplLongId
- items::imp::ImplDeclarationData
- items::imp::ImplDefinitionData
- items::imp::ImplFunctionDeclarationData
- items::imp::ImplLookupContext
- items::imp::ModuleIdById
- items::imp::TraitFilter
- items::impl_alias::ImplAliasData
- items::module::ModuleSemanticData
- items::structure::Member
- items::structure::StructDeclarationData
- items::structure::StructDefinitionData
- items::trt::ConcreteTraitGenericFunctionId
- items::trt::ConcreteTraitGenericFunctionLongId
- items::trt::ConcreteTraitId
- items::trt::ConcreteTraitLongId
- items::trt::TraitDeclarationData
- items::trt::TraitDefinitionData
- items::type_alias::TypeAliasData
- items::us::UseData
- literals::LiteralId
- literals::LiteralLongId
- patcher::ModifiedNode
- patcher::Patch
- patcher::PatchBuilder
- patcher::Patches
- plugin::DynPluginAuxData
- plugin::PluginMappedDiagnostic
- plugin::TrivialPluginAuxData
- resolve::ResolvedItems
- resolve::Resolver
- resolve::ResolverData
- resolve::scope::Scope
- substitution::GenericSubstitution
- substitution::SubstitutionRewriter
- types::ConcreteEnumId
- types::ConcreteEnumLongId
- types::ConcreteExternTypeId
- types::ConcreteExternTypeLongId
- types::ConcreteStructId
- types::ConcreteStructLongId
- types::TypeId
- types::TypeInfo
Enums
- Mutability
- VarId
- Variable
- diagnostic::ElementKind
- diagnostic::NotFoundItemType
- diagnostic::SemanticDiagnosticKind
- diagnostic::UnsupportedOutsideOfFunctionFeatureName
- expr::inference::InferenceError
- expr::inference::InferenceVar
- expr::inference::canonic::NoError
- expr::inference::solver::Ambiguity
- expr::inference::solver::SolutionSet
- expr::objects::Expr
- expr::objects::ExprFunctionCallArg
- expr::objects::ExprVarMemberPath
- expr::objects::LogicalOperator
- expr::objects::Statement
- expr::pattern::Pattern
- items::functions::GenericFunctionId
- items::functions::GenericFunctionWithBodyId
- items::functions::InlineConfiguration
- items::generics::GenericArgumentHead
- items::generics::GenericArgumentId
- items::generics::GenericParam
- items::imp::GenericsHeadFilter
- items::imp::ImplHead
- items::imp::ImplId
- items::imp::UninferredImpl
- lsp_helpers::TypeFilter
- patcher::RewriteNode
- resolve::ResolvedConcreteItem
- resolve::ResolvedGenericItem
- types::ConcreteTypeId
- types::TypeHead
- types::TypeLongId
Traits
- db::Elongate
- db::SemanticGroup
- db::SemanticGroupEx
- expr::inference::canonic::ResultNoErrEx
- expr::inference::conform::InferenceConform
- expr::inference::infers::InferenceEmbeddings
- items::attribute::AttributeTrait
- items::attribute::SemanticQueryAttrs
- items::enm::SemanticEnumEx
- items::function_with_body::SemanticExprLookup
- items::structure::SemanticStructEx
- items::us::SemanticUseEx
- lookup_item::HasResolverData
- lookup_item::LookupItemEx
- plugin::AsDynGeneratedFileAuxData
- plugin::AsDynMacroPlugin
- plugin::PluginAuxData
- plugin::SemanticPlugin
- resolve::AsSegments
- substitution::HasDb
- substitution::SemanticObject
- substitution::SemanticRewriter
Macros
- add_basic_rewrites
- add_expr_rewrites
- add_rewrite
- add_rewrite_identity
- prune_single
- semantic_object_for_id
Functions
- corelib::concrete_copy_trait
- corelib::concrete_destruct_trait
- corelib::concrete_drop_trait
- corelib::concrete_panic_destruct_trait
- corelib::copy_trait
- corelib::core_array_felt252_ty
- corelib::core_binary_operator
- corelib::core_bool_enum
- corelib::core_bool_ty
- corelib::core_crate
- corelib::core_felt252_is_zero
- corelib::core_felt252_ty
- corelib::core_module
- corelib::core_nonzero_ty
- corelib::core_submodule
- corelib::core_unary_operator
- corelib::core_withdraw_gas
- corelib::destruct_trait
- corelib::drop_trait
- corelib::false_literal_expr
- corelib::false_variant
- corelib::felt252_eq
- corelib::felt252_sub
- corelib::get_const_libfunc_name_by_type
- corelib::get_core_enum_concrete_variant
- corelib::get_core_function_id
- corelib::get_core_generic_function_id
- corelib::get_core_trait
- corelib::get_core_ty_by_name
- corelib::get_enum_concrete_variant
- corelib::get_function_id
- corelib::get_generic_function_id
- corelib::get_panic_ty
- corelib::get_ty_by_name
- corelib::jump_nz_nonzero_variant
- corelib::jump_nz_zero_variant
- corelib::never_ty
- corelib::option_none_variant
- corelib::option_some_variant
- corelib::true_literal_expr
- corelib::true_variant
- corelib::try_get_core_ty_by_name
- corelib::try_get_ty_by_name
- corelib::unit_expr
- corelib::unit_ty
- corelib::unwrap_error_propagation_type
- corelib::validate_literal
- db::init_semantic_group
- db::lookup_resolved_concrete_item_by_ptr
- db::lookup_resolved_generic_item_by_ptr
- expr::compute::compute_expr_block_semantic
- expr::compute::compute_expr_semantic
- expr::compute::compute_named_argument_clause
- expr::compute::compute_root_expr
- expr::compute::compute_statement_semantic
- expr::compute::get_variable_by_name
- expr::compute::maybe_compute_expr_semantic
- expr::compute::resolve_variable_by_name
- expr::inference::solver::canonic_trait_solutions
- expr::inference::solver::canonic_trait_solutions_cycle
- expr::inference::solver::enrich_lookup_context
- items::constant::constant_resolver_data
- items::constant::constant_semantic_data
- items::constant::constant_semantic_diagnostics
- items::constant::priv_constant_semantic_data
- items::enm::enum_attributes
- items::enm::enum_declaration_diagnostics
- items::enm::enum_declaration_resolver_data
- items::enm::enum_definition_diagnostics
- items::enm::enum_definition_resolver_data
- items::enm::enum_generic_params
- items::enm::enum_generic_params_data
- items::enm::enum_variants
- items::enm::priv_enum_declaration_data
- items::enm::priv_enum_definition_data
- items::enm::variant_semantic
- items::extern_function::extern_function_declaration_diagnostics
- items::extern_function::extern_function_declaration_generic_params
- items::extern_function::extern_function_declaration_generic_params_data
- items::extern_function::extern_function_declaration_implicits
- items::extern_function::extern_function_declaration_inline_config
- items::extern_function::extern_function_declaration_refs
- items::extern_function::extern_function_declaration_resolver_data
- items::extern_function::extern_function_signature
- items::extern_function::priv_extern_function_declaration_data
- items::extern_type::extern_type_declaration_diagnostics
- items::extern_type::extern_type_declaration_generic_params
- items::extern_type::extern_type_declaration_generic_params_data
- items::extern_type::priv_extern_type_declaration_data
- items::free_function::free_function_body_diagnostics
- items::free_function::free_function_body_resolver_data
- items::free_function::free_function_declaration_diagnostics
- items::free_function::free_function_declaration_implicit_precedence
- items::free_function::free_function_declaration_implicits
- items::free_function::free_function_declaration_inline_config
- items::free_function::free_function_declaration_resolver_data
- items::free_function::free_function_generic_params
- items::free_function::free_function_generic_params_data
- items::free_function::free_function_signature
- items::free_function::priv_free_function_body_data
- items::free_function::priv_free_function_declaration_data
- items::function_with_body::expr_semantic
- items::function_with_body::function_body
- items::function_with_body::function_body_diagnostics
- items::function_with_body::function_body_expr
- items::function_with_body::function_declaration_diagnostics
- items::function_with_body::function_declaration_implicit_precedence
- items::function_with_body::function_declaration_inline_config
- items::function_with_body::function_with_body_attributes
- items::function_with_body::function_with_body_generic_params
- items::function_with_body::function_with_body_signature
- items::function_with_body::get_implicit_precedence
- items::function_with_body::get_inline_config
- items::function_with_body::statement_semantic
- items::functions::concrete_function_signature
- items::functions::forbid_inline_always_with_impl_generic_param
- items::functions::function_signature_implicit_parameters
- items::functions::function_signature_params
- items::functions::function_signature_return_type
- items::functions::function_title_generic_params
- items::functions::function_title_signature
- items::generics::generic_impl_param_trait
- items::generics::generic_param_data
- items::generics::generic_param_data_cycle
- items::generics::generic_param_diagnostics
- items::generics::generic_param_resolver_data
- items::generics::generic_param_semantic
- items::generics::semantic_generic_params
- items::imp::can_infer_impl_by_self
- items::imp::filter_candidate_traits
- items::imp::find_candidates_at_context
- items::imp::get_impl_at_context
- items::imp::impl_concrete_trait
- items::imp::impl_def_attributes
- items::imp::impl_def_concrete_trait
- items::imp::impl_def_functions_asts
- items::imp::impl_def_generic_params
- items::imp::impl_def_generic_params_data
- items::imp::impl_def_resolver_data
- items::imp::impl_def_trait
- items::imp::impl_function_attributes
- items::imp::impl_function_body
- items::imp::impl_function_body_diagnostics
- items::imp::impl_function_body_resolver_data
- items::imp::impl_function_by_trait_function
- items::imp::impl_function_declaration_diagnostics
- items::imp::impl_function_declaration_implicit_precedence
- items::imp::impl_function_declaration_implicits
- items::imp::impl_function_declaration_inline_config
- items::imp::impl_function_generic_params
- items::imp::impl_function_generic_params_data
- items::imp::impl_function_resolver_data
- items::imp::impl_function_signature
- items::imp::impl_function_trait_function
- items::imp::impl_functions
- items::imp::impl_semantic_declaration_diagnostics
- items::imp::impl_semantic_definition_diagnostics
- items::imp::infer_impl_by_self
- items::imp::module_impl_ids_for_trait_filter
- items::imp::priv_impl_declaration_data
- items::imp::priv_impl_declaration_data_cycle
- items::imp::priv_impl_declaration_data_inner
- items::imp::priv_impl_definition_data
- items::imp::priv_impl_function_body_data
- items::imp::priv_impl_function_declaration_data
- items::impl_alias::impl_alias_generic_params
- items::impl_alias::impl_alias_generic_params_data
- items::impl_alias::impl_alias_resolved_impl
- items::impl_alias::impl_alias_resolver_data
- items::impl_alias::impl_alias_semantic_diagnostics
- items::impl_alias::priv_impl_alias_semantic_data
- items::impl_alias::priv_impl_alias_semantic_data_cycle
- items::modifiers::compute_mutability
- items::module::module_attributes
- items::module::module_item_by_name
- items::module::module_scope
- items::module::priv_module_semantic_data
- items::structure::priv_struct_declaration_data
- items::structure::priv_struct_definition_data
- items::structure::struct_attributes
- items::structure::struct_declaration_diagnostics
- items::structure::struct_declaration_resolver_data
- items::structure::struct_definition_diagnostics
- items::structure::struct_definition_resolver_data
- items::structure::struct_generic_params
- items::structure::struct_generic_params_data
- items::structure::struct_members
- items::trt::concrete_trait_function_generic_params
- items::trt::concrete_trait_function_signature
- items::trt::priv_trait_function_body_data
- items::trt::priv_trait_function_declaration_data
- items::trt::priv_trait_semantic_declaration_data
- items::trt::priv_trait_semantic_definition_data
- items::trt::trait_attributes
- items::trt::trait_function_asts
- items::trt::trait_function_attributes
- items::trt::trait_function_body
- items::trt::trait_function_body_diagnostics
- items::trt::trait_function_by_name
- items::trt::trait_function_declaration_diagnostics
- items::trt::trait_function_declaration_implicit_precedence
- items::trt::trait_function_declaration_implicits
- items::trt::trait_function_declaration_inline_config
- items::trt::trait_function_generic_params
- items::trt::trait_function_generic_params_data
- items::trt::trait_function_resolver_data
- items::trt::trait_function_signature
- items::trt::trait_functions
- items::trt::trait_generic_params
- items::trt::trait_generic_params_data
- items::trt::trait_resolver_data
- items::trt::trait_semantic_declaration_diagnostics
- items::trt::trait_semantic_definition_diagnostics
- items::type_alias::priv_type_alias_semantic_data
- items::type_alias::priv_type_alias_semantic_data_cycle
- items::type_alias::type_alias_generic_params
- items::type_alias::type_alias_generic_params_data
- items::type_alias::type_alias_resolved_type
- items::type_alias::type_alias_resolver_data
- items::type_alias::type_alias_semantic_diagnostics
- items::us::get_use_segments
- items::us::priv_use_semantic_data
- items::us::priv_use_semantic_data_cycle
- items::us::use_resolver_data
- items::us::use_semantic_diagnostics
- lsp_helpers::methods_in_crate
- lsp_helpers::methods_in_module
- types::generic_type_generic_params
- types::maybe_resolve_type
- types::peel_snapshots
- types::resolve_type
- types::type_info
- types::wrap_in_snapshots