[−][src]Trait ra_ap_hir_ty::db::HirDatabase
Required methods
pub fn infer(&self, key0: DefWithBodyId) -> Arc<InferenceResult>
[src]
pub fn infer_query(&self, key0: DefWithBodyId) -> Arc<InferenceResult>
[src]
pub fn ty(&self, key0: TyDefId) -> Binders<Ty>
[src]
pub fn value_ty(&self, key0: ValueTyDefId) -> Binders<Ty>
[src]
pub fn impl_self_ty(&self, key0: ImplId) -> Binders<Ty>
[src]
pub fn const_param_ty(&self, key0: ConstParamId) -> Ty
[src]
pub fn impl_trait(&self, key0: ImplId) -> Option<Binders<TraitRef>>
[src]
pub fn field_types(
&self,
key0: VariantId
) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>
[src]
&self,
key0: VariantId
) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>
pub fn callable_item_signature(&self, key0: CallableDefId) -> PolyFnSig
[src]
pub fn return_type_impl_traits(
&self,
key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>
[src]
&self,
key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>
pub fn generic_predicates_for_param(
&self,
key0: TypeParamId
) -> Arc<[Binders<GenericPredicate>]>
[src]
&self,
key0: TypeParamId
) -> Arc<[Binders<GenericPredicate>]>
pub fn generic_predicates(
&self,
key0: GenericDefId
) -> Arc<[Binders<GenericPredicate>]>
[src]
&self,
key0: GenericDefId
) -> Arc<[Binders<GenericPredicate>]>
pub fn generic_defaults(&self, key0: GenericDefId) -> Arc<[Binders<Ty>]>
[src]
pub fn inherent_impls_in_crate(&self, key0: CrateId) -> Arc<InherentImpls>
[src]
pub fn trait_impls_in_crate(&self, key0: CrateId) -> Arc<TraitImpls>
[src]
pub fn trait_impls_in_deps(&self, key0: CrateId) -> Arc<TraitImpls>
[src]
pub fn intern_callable_def(&self, key0: CallableDefId) -> InternedCallableDefId
[src]
pub fn lookup_intern_callable_def(
&self,
key0: InternedCallableDefId
) -> CallableDefId
[src]
&self,
key0: InternedCallableDefId
) -> CallableDefId
pub fn intern_type_param_id(&self, key0: TypeParamId) -> GlobalTypeParamId
[src]
pub fn lookup_intern_type_param_id(
&self,
key0: GlobalTypeParamId
) -> TypeParamId
[src]
&self,
key0: GlobalTypeParamId
) -> TypeParamId
pub fn intern_impl_trait_id(&self, key0: OpaqueTyId) -> InternedOpaqueTyId
[src]
pub fn lookup_intern_impl_trait_id(
&self,
key0: InternedOpaqueTyId
) -> OpaqueTyId
[src]
&self,
key0: InternedOpaqueTyId
) -> OpaqueTyId
pub fn intern_closure(&self, key0: (DefWithBodyId, ExprId)) -> ClosureId
[src]
pub fn lookup_intern_closure(&self, key0: ClosureId) -> (DefWithBodyId, ExprId)
[src]
pub fn associated_ty_data(
&self,
key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>
[src]
&self,
key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>
pub fn trait_datum(
&self,
key0: CrateId,
key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>
pub fn struct_datum(
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>
pub fn impl_datum(
&self,
key0: CrateId,
key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>
pub fn fn_def_datum(
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>
pub fn fn_def_variance(
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Variances<Interner>
[src]
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Variances<Interner>
pub fn adt_variance(
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Variances<Interner>
[src]
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Variances<Interner>
pub fn associated_ty_value(
&self,
key0: CrateId,
key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>
[src]
&self,
key0: CrateId,
key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>
pub fn trait_solve(
&self,
key0: CrateId,
key1: Canonical<InEnvironment<Obligation>>
) -> Option<Solution>
[src]
&self,
key0: CrateId,
key1: Canonical<InEnvironment<Obligation>>
) -> Option<Solution>
pub fn program_clauses_for_chalk_env(
&self,
key0: CrateId,
key1: Environment<Interner>
) -> ProgramClauses<Interner>
[src]
&self,
key0: CrateId,
key1: Environment<Interner>
) -> ProgramClauses<Interner>
Implementors
impl<DB> HirDatabase for DB where
DB: DefDatabase + Upcast<dyn DefDatabase>,
DB: Database,
DB: HasQueryGroup<HirDatabaseStorage>,
[src]
DB: DefDatabase + Upcast<dyn DefDatabase>,
DB: Database,
DB: HasQueryGroup<HirDatabaseStorage>,
pub fn infer(&self, key0: DefWithBodyId) -> Arc<InferenceResult>
[src]
pub fn infer_query(&self, key0: DefWithBodyId) -> Arc<InferenceResult>
[src]
pub fn ty(&self, key0: TyDefId) -> Binders<Ty>
[src]
pub fn value_ty(&self, key0: ValueTyDefId) -> Binders<Ty>
[src]
pub fn impl_self_ty(&self, key0: ImplId) -> Binders<Ty>
[src]
pub fn const_param_ty(&self, key0: ConstParamId) -> Ty
[src]
pub fn impl_trait(&self, key0: ImplId) -> Option<Binders<TraitRef>>
[src]
pub fn field_types(
&self,
key0: VariantId
) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>
[src]
&self,
key0: VariantId
) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>
pub fn callable_item_signature(&self, key0: CallableDefId) -> PolyFnSig
[src]
pub fn return_type_impl_traits(
&self,
key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>
[src]
&self,
key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>
pub fn generic_predicates_for_param(
&self,
key0: TypeParamId
) -> Arc<[Binders<GenericPredicate>]>
[src]
&self,
key0: TypeParamId
) -> Arc<[Binders<GenericPredicate>]>
pub fn generic_predicates(
&self,
key0: GenericDefId
) -> Arc<[Binders<GenericPredicate>]>
[src]
&self,
key0: GenericDefId
) -> Arc<[Binders<GenericPredicate>]>
pub fn generic_defaults(&self, key0: GenericDefId) -> Arc<[Binders<Ty>]>
[src]
pub fn inherent_impls_in_crate(&self, key0: CrateId) -> Arc<InherentImpls>
[src]
pub fn trait_impls_in_crate(&self, key0: CrateId) -> Arc<TraitImpls>
[src]
pub fn trait_impls_in_deps(&self, key0: CrateId) -> Arc<TraitImpls>
[src]
pub fn intern_callable_def(&self, key0: CallableDefId) -> InternedCallableDefId
[src]
pub fn lookup_intern_callable_def(
&self,
key0: InternedCallableDefId
) -> CallableDefId
[src]
&self,
key0: InternedCallableDefId
) -> CallableDefId
pub fn intern_type_param_id(&self, key0: TypeParamId) -> GlobalTypeParamId
[src]
pub fn lookup_intern_type_param_id(
&self,
key0: GlobalTypeParamId
) -> TypeParamId
[src]
&self,
key0: GlobalTypeParamId
) -> TypeParamId
pub fn intern_impl_trait_id(&self, key0: OpaqueTyId) -> InternedOpaqueTyId
[src]
pub fn lookup_intern_impl_trait_id(
&self,
key0: InternedOpaqueTyId
) -> OpaqueTyId
[src]
&self,
key0: InternedOpaqueTyId
) -> OpaqueTyId
pub fn intern_closure(&self, key0: (DefWithBodyId, ExprId)) -> ClosureId
[src]
pub fn lookup_intern_closure(&self, key0: ClosureId) -> (DefWithBodyId, ExprId)
[src]
pub fn associated_ty_data(
&self,
key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>
[src]
&self,
key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>
pub fn trait_datum(
&self,
key0: CrateId,
key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>
pub fn struct_datum(
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>
pub fn impl_datum(
&self,
key0: CrateId,
key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>
pub fn fn_def_datum(
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>
[src]
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>
pub fn fn_def_variance(
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Variances<Interner>
[src]
&self,
key0: CrateId,
key1: FnDefId<Interner>
) -> Variances<Interner>
pub fn adt_variance(
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Variances<Interner>
[src]
&self,
key0: CrateId,
key1: AdtId<Interner>
) -> Variances<Interner>
pub fn associated_ty_value(
&self,
key0: CrateId,
key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>
[src]
&self,
key0: CrateId,
key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>
pub fn trait_solve(
&self,
key0: CrateId,
key1: Canonical<InEnvironment<Obligation>>
) -> Option<Solution>
[src]
&self,
key0: CrateId,
key1: Canonical<InEnvironment<Obligation>>
) -> Option<Solution>
pub fn program_clauses_for_chalk_env(
&self,
key0: CrateId,
key1: Environment<Interner>
) -> ProgramClauses<Interner>
[src]
&self,
key0: CrateId,
key1: Environment<Interner>
) -> ProgramClauses<Interner>