List of all items

Structs

• LocalVariable
• ParamId
• Parameter
• db::ConcreteFunctionSignatureQuery
• db::ConstantResolvedLookbackQuery
• db::ConstantSemanticDataQuery
• db::ConstantSemanticDiagnosticsQuery
• db::CoreFeltTyQuery
• db::CoreModuleQuery
• db::EnumGenericParamsQuery
• db::EnumResolvedLookbackQuery
• db::EnumSemanticDiagnosticsQuery
• db::EnumVariantsQuery
• db::ExprSemanticQuery
• db::ExternFunctionDeclarationDiagnosticsQuery
• db::ExternFunctionDeclarationGenericParamsQuery
• db::ExternFunctionDeclarationImplicitsQuery
• db::ExternFunctionDeclarationRefsQuery
• db::ExternFunctionDeclarationResolvedLookbackQuery
• db::ExternFunctionSignatureQuery
• db::ExternTypeDeclarationDiagnosticsQuery
• db::ExternTypeDeclarationGenericParamsQuery
• db::FileSemanticDiagnosticsQuery
• db::FreeFunctionBodyDiagnosticsQuery
• db::FreeFunctionBodyResolvedLookbackQuery
• db::FreeFunctionDeclarationDiagnosticsQuery
• db::FreeFunctionDeclarationImplicitsQuery
• db::FreeFunctionDeclarationResolvedLookbackQuery
• db::FreeFunctionGenericParamsQuery
• db::FreeFunctionSignatureQuery
• db::FunctionBodyDiagnosticsQuery
• db::FunctionBodyExprQuery
• db::FunctionBodyQuery
• db::FunctionDeclarationDiagnosticsQuery
• db::FunctionSignatureGenericParamsQuery
• db::FunctionSignatureSignatureQuery
• db::FunctionWithBodyAttributesQuery
• db::FunctionWithBodyDirectCalleesQuery
• db::FunctionWithBodyDirectFunctionWithBodyCalleesQuery
• db::FunctionWithBodyGenericParamsQuery
• db::FunctionWithBodySignatureQuery
• db::GenericTypeGenericParamsQuery
• db::ImplFunctionBodyDiagnosticsQuery
• db::ImplFunctionBodyQuery
• db::ImplFunctionBodyResolvedLookbackQuery
• db::ImplFunctionByTraitFunctionQuery
• db::ImplFunctionDeclarationDiagnosticsQuery
• db::ImplFunctionDeclarationImplicitsQuery
• db::ImplFunctionGenericParamsQuery
• db::ImplFunctionResolvedLookbackQuery
• db::ImplFunctionSignatureQuery
• db::ImplFunctionsQuery
• db::ImplGenericParamsQuery
• db::ImplResolvedLookbackQuery
• db::ImplSemanticDeclarationDiagnosticsQuery
• db::ImplSemanticDefinitionDiagnosticsQuery
• db::ImplTraitQuery
• 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::InternLiteralLookupQuery
• db::InternLiteralQuery
• db::InternTypeLookupQuery
• db::InternTypeQuery
• db::LookupResolvedConcreteItemByPtrQuery
• db::LookupResolvedGenericItemByPtrQuery
• db::ModuleAttributesQuery
• db::ModuleItemByNameQuery
• db::ModuleSemanticDiagnosticsQuery
• db::PrivConstantSemanticDataQuery
• db::PrivEnumSemanticDataQuery
• db::PrivExternFunctionDeclarationDataQuery
• db::PrivExternTypeDeclarationDataQuery
• db::PrivFreeFunctionBodyDataQuery
• db::PrivFreeFunctionDeclarationDataQuery
• db::PrivImplDeclarationDataQuery
• db::PrivImplDefinitionDataQuery
• db::PrivImplFunctionBodyDataQuery
• db::PrivImplFunctionDeclarationDataQuery
• db::PrivModuleItemsDataQuery
• db::PrivStructSemanticDataQuery
• db::PrivTraitFunctionDataQuery
• db::PrivTraitSemanticDataQuery
• db::PrivTypeAliasSemanticDataQuery
• db::PrivUseSemanticDataQuery
• db::SemanticDatabase
• db::SemanticGroupGroupStorage__
• db::SemanticPluginsQuery
• db::StatementSemanticQuery
• db::StructAttributesQuery
• db::StructGenericParamsQuery
• db::StructMembersQuery
• db::StructResolvedLookbackQuery
• db::StructSemanticDiagnosticsQuery
• db::TraitAttributesQuery
• db::TraitFunctionAttributesQuery
• db::TraitFunctionByNameQuery
• db::TraitFunctionDiagnosticsQuery
• db::TraitFunctionGenericParamsQuery
• db::TraitFunctionResolvedLookbackQuery
• db::TraitFunctionSignatureQuery
• db::TraitFunctionsQuery
• db::TraitGenericParamsQuery
• db::TraitSemanticDiagnosticsQuery
• db::TypeAliasGenericParamsQuery
• db::TypeAliasResolvedLookbackQuery
• db::TypeAliasResolvedTypeQuery
• db::TypeAliasSemanticDiagnosticsQuery
• db::TypeInfoQuery
• db::UseResolvedItemQuery
• db::UseResolvedLookbackQuery
• db::UseSemanticDiagnosticsQuery
• db::VariantSemanticQuery
• diagnostic::SemanticDiagnostic
• diagnostic::SemanticDiagnostics
• expr::compute::ComputationContext
• expr::compute::Environment
• expr::fmt::ExprFormatter
• expr::inference::Inference
• expr::inference::TypeVar
• expr::objects::ExprAssignment
• expr::objects::ExprBlock
• expr::objects::ExprConstant
• expr::objects::ExprEnumVariantCtor
• expr::objects::ExprFunctionCall
• expr::objects::ExprIf
• expr::objects::ExprLiteral
• expr::objects::ExprMatch
• expr::objects::ExprMemberAccess
• expr::objects::ExprMissing
• expr::objects::ExprPropagateError
• expr::objects::ExprStructCtor
• expr::objects::ExprTuple
• expr::objects::ExprVar
• expr::objects::MatchArm
• 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::attribute::Attribute
• items::constant::Constant
• items::constant::ConstantData
• items::enm::ConcreteVariant
• items::enm::EnumData
• 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::ConcreteImplGenericFunctionId
• items::functions::FunctionDeclarationData
• items::functions::FunctionId
• items::functions::FunctionLongId
• items::functions::Signature
• items::imp::ConcreteImplId
• items::imp::ConcreteImplLongId
• items::imp::ImplDeclarationData
• items::imp::ImplDefinitionData
• items::imp::ImplLookupContext
• items::module::ModuleSemanticData
• items::strct::Member
• items::strct::StructData
• items::trt::ConcreteTraitGenericFunctionId
• items::trt::ConcreteTraitGenericFunctionLongId
• items::trt::ConcreteTraitId
• items::trt::ConcreteTraitLongId
• items::trt::TraitData
• items::trt::TraitFunctionData
• items::type_alias::TypeAliasData
• items::us::UseData
• literals::LiteralId
• literals::LiteralLongId
• patcher::ModifiedNode
• patcher::Patch
• patcher::PatchBuilder
• patcher::Patches
• plugin::DynDiagnosticMapper
• plugin::PluginMappedDiagnostic
• plugin::TrivialMapper
• resolve_path::ResolvedLookback
• resolve_path::Resolver
• types::ConcreteEnumId
• types::ConcreteEnumLongId
• types::ConcreteExternTypeId
• types::ConcreteExternTypeLongId
• types::ConcreteStructId
• types::ConcreteStructLongId
• types::GenericSubstitution
• types::TypeId
• types::TypeInfo

Enums

• GenericArgumentId
• Mutability
• VarId
• Variable
• diagnostic::ElementKind
• diagnostic::NotFoundItemType
• diagnostic::SemanticDiagnosticKind
• diagnostic::UnsupportedOutsideOfFunctionFeatureName
• expr::inference::InferenceError
• expr::objects::Expr
• expr::objects::Statement
• expr::pattern::Pattern
• items::functions::GenericFunctionId
• items::functions::GenericFunctionWithBodyId
• patcher::RewriteNode
• resolve_path::ResolvedConcreteItem
• resolve_path::ResolvedGenericItem
• types::ConcreteTypeId
• types::TypeLongId

Traits

• db::Elongate
• db::SemanticGroup
• db::SemanticGroupEx
• items::enm::SemanticEnumEx
• items::function_with_body::SemanticExprLookup
• items::strct::SemanticStructEx
• plugin::AsDynGeneratedFileAuxData
• plugin::AsDynMacroPlugin
• plugin::DiagnosticMapper
• plugin::SemanticPlugin

Functions

• corelib::concrete_copy_trait
• corelib::concrete_drop_trait
• corelib::copy_trait
• corelib::core_binary_operator
• corelib::core_bool_enum
• corelib::core_bool_ty
• corelib::core_felt_ty
• corelib::core_jump_nz_func
• corelib::core_module
• corelib::core_nonzero_ty
• corelib::core_unary_operator
• corelib::drop_trait
• corelib::false_literal_expr
• corelib::false_variant
• corelib::felt_eq
• corelib::felt_sub
• corelib::get_const_libfunc_name_by_type
• corelib::get_core_function_id
• corelib::get_core_generic_function_id
• corelib::get_core_ty_by_name
• corelib::get_enum_concrete_variant
• corelib::get_panic_ty
• corelib::jump_nz_nonzero_variant
• corelib::jump_nz_zero_variant
• corelib::never_ty
• corelib::true_literal_expr
• corelib::true_variant
• corelib::try_get_const_libfunc_name_by_type
• corelib::try_get_core_ty_by_name
• corelib::unit_expr
• corelib::unit_ty
• corelib::unwrap_error_propagation_type
• 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_trait_function
• expr::compute::resolve_variable_by_name
• items::attribute::ast_attributes_to_semantic
• items::attribute::module_attributes
• items::constant::constant_resolved_lookback
• items::constant::constant_semantic_data
• items::constant::constant_semantic_diagnostics
• items::constant::priv_constant_semantic_data
• items::enm::enum_generic_params
• items::enm::enum_resolved_lookback
• items::enm::enum_semantic_diagnostics
• items::enm::enum_variants
• items::enm::priv_enum_semantic_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_implicits
• items::extern_function::extern_function_declaration_refs
• items::extern_function::extern_function_declaration_resolved_lookback
• 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::priv_extern_type_declaration_data
• items::free_function::free_function_body_diagnostics
• items::free_function::free_function_body_resolved_lookback
• items::free_function::free_function_declaration_diagnostics
• items::free_function::free_function_declaration_implicits
• items::free_function::free_function_declaration_resolved_lookback
• items::free_function::free_function_generic_params
• 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_with_body_attributes
• items::function_with_body::function_with_body_direct_callees
• items::function_with_body::function_with_body_direct_function_with_body_callees
• items::function_with_body::function_with_body_generic_params
• items::function_with_body::function_with_body_signature
• items::function_with_body::statement_semantic
• items::functions::concrete_function_signature
• items::functions::function_signature_generic_params
• items::functions::function_signature_implicit_parameters
• items::functions::function_signature_params
• items::functions::function_signature_return_type
• items::functions::function_signature_signature
• items::functions::substitute_signature
• items::generics::semantic_generic_params
• items::imp::find_impls_at_context
• items::imp::find_impls_at_module
• items::imp::impl_function_body
• items::imp::impl_function_body_diagnostics
• items::imp::impl_function_body_resolved_lookback
• items::imp::impl_function_by_trait_function
• items::imp::impl_function_declaration_diagnostics
• items::imp::impl_function_declaration_implicits
• items::imp::impl_function_generic_params
• items::imp::impl_function_resolved_lookback
• items::imp::impl_function_signature
• items::imp::impl_functions
• items::imp::impl_generic_params
• items::imp::impl_resolved_lookback
• items::imp::impl_semantic_declaration_diagnostics
• items::imp::impl_semantic_definition_diagnostics
• items::imp::impl_trait
• 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::modifiers::compute_mutability
• items::module::module_item_by_name
• items::module::priv_module_items_data
• items::strct::priv_struct_semantic_data
• items::strct::struct_attributes
• items::strct::struct_generic_params
• items::strct::struct_members
• items::strct::struct_resolved_lookback
• items::strct::struct_semantic_diagnostics
• items::trt::priv_trait_function_data
• items::trt::priv_trait_semantic_data
• items::trt::trait_attributes
• items::trt::trait_function_attributes
• items::trt::trait_function_by_name
• items::trt::trait_function_diagnostics
• items::trt::trait_function_generic_params
• items::trt::trait_function_resolved_lookback
• items::trt::trait_function_signature
• items::trt::trait_functions
• items::trt::trait_generic_params
• items::trt::trait_semantic_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_resolved_lookback
• items::type_alias::type_alias_resolved_type
• items::type_alias::type_alias_semantic_diagnostics
• items::us::priv_use_semantic_data
• items::us::priv_use_semantic_data_cycle
• items::us::use_resolved_item
• items::us::use_resolved_lookback
• items::us::use_semantic_diagnostics
• resolve_path::conform_generic_args
• resolve_path::specialize_function
• resolve_path::specialize_type
• types::generic_type_generic_params
• types::maybe_resolve_type
• types::resolve_type
• types::resolve_type_with_inference
• types::substitute_function
• types::substitute_generics
• types::substitute_generics_args
• types::substitute_variant
• types::type_info

Type Definitions

• expr::compute::EnvVariables
• expr::objects::ExprId
• expr::objects::StatementId