[−][src]Trait ra_ap_hir_ty::db::HirDatabase

pub trait HirDatabase: Database + HasQueryGroup<HirDatabaseStorage> + DefDatabase + Upcast<dyn DefDatabase> {
    fn infer(&self, key0: DefWithBodyId) -> Arc<InferenceResult>;

    fn infer_query(&self, key0: DefWithBodyId) -> Arc<InferenceResult>;

    fn ty(&self, key0: TyDefId) -> Binders<Ty>;

    fn value_ty(&self, key0: ValueTyDefId) -> Binders<Ty>;

    fn impl_self_ty(&self, key0: ImplId) -> Binders<Ty>;

    fn impl_trait(&self, key0: ImplId) -> Option<Binders<TraitRef>>;

    fn field_types(
        &self, 
        key0: VariantId
    ) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>;

    fn callable_item_signature(&self, key0: CallableDefId) -> PolyFnSig;

    fn return_type_impl_traits(
        &self, 
        key0: FunctionId
    ) -> Option<Arc<Binders<ReturnTypeImplTraits>>>;

    fn generic_predicates_for_param(
        &self, 
        key0: TypeParamId
    ) -> Arc<[Binders<GenericPredicate>]>;

    fn generic_predicates(
        &self, 
        key0: GenericDefId
    ) -> Arc<[Binders<GenericPredicate>]>;

    fn generic_defaults(&self, key0: GenericDefId) -> Arc<[Binders<Ty>]>;

    fn inherent_impls_in_crate(&self, key0: CrateId) -> Arc<InherentImpls>;

    fn trait_impls_in_crate(&self, key0: CrateId) -> Arc<TraitImpls>;

    fn trait_impls_in_deps(&self, key0: CrateId) -> Arc<TraitImpls>;

    fn intern_callable_def(&self, key0: CallableDefId) -> InternedCallableDefId;

    fn lookup_intern_callable_def(
        &self, 
        key0: InternedCallableDefId
    ) -> CallableDefId;

    fn intern_type_param_id(&self, key0: TypeParamId) -> GlobalTypeParamId;

    fn lookup_intern_type_param_id(
        &self, 
        key0: GlobalTypeParamId
    ) -> TypeParamId;

    fn intern_impl_trait_id(&self, key0: OpaqueTyId) -> InternedOpaqueTyId;

    fn lookup_intern_impl_trait_id(
        &self, 
        key0: InternedOpaqueTyId
    ) -> OpaqueTyId;

    fn intern_closure(&self, key0: (DefWithBodyId, ExprId)) -> ClosureId;

    fn lookup_intern_closure(&self, key0: ClosureId) -> (DefWithBodyId, ExprId);

    fn associated_ty_data(
        &self, 
        key0: AssocTypeId<Interner>
    ) -> Arc<AssociatedTyDatum<Interner>>;

    fn trait_datum(
        &self, 
        key0: CrateId, 
        key1: TraitId<Interner>
    ) -> Arc<TraitDatum<Interner>>;

    fn struct_datum(
        &self, 
        key0: CrateId, 
        key1: AdtId<Interner>
    ) -> Arc<AdtDatum<Interner>>;

    fn impl_datum(
        &self, 
        key0: CrateId, 
        key1: ImplId<Interner>
    ) -> Arc<ImplDatum<Interner>>;

    fn fn_def_datum(
        &self, 
        key0: CrateId, 
        key1: FnDefId<Interner>
    ) -> Arc<FnDefDatum<Interner>>;

    fn associated_ty_value(
        &self, 
        key0: CrateId, 
        key1: AssociatedTyValueId<Interner>
    ) -> Arc<AssociatedTyValue<Interner>>;

    fn trait_solve(
        &self, 
        key0: CrateId, 
        key1: Canonical<InEnvironment<Obligation>>
    ) -> Option<Solution>;

    fn program_clauses_for_chalk_env(
        &self, 
        key0: CrateId, 
        key1: Environment<Interner>
    ) -> ProgramClauses<Interner>;
}

Required methods

fn infer(&self, key0: DefWithBodyId) -> Arc<InferenceResult>

fn infer_query(&self, key0: DefWithBodyId) -> Arc<InferenceResult>

fn ty(&self, key0: TyDefId) -> Binders<Ty>

fn value_ty(&self, key0: ValueTyDefId) -> Binders<Ty>

fn impl_self_ty(&self, key0: ImplId) -> Binders<Ty>

fn impl_trait(&self, key0: ImplId) -> Option<Binders<TraitRef>>

fn field_types(
    &self,
    key0: VariantId
) -> Arc<ArenaMap<LocalFieldId, Binders<Ty>>>

fn callable_item_signature(&self, key0: CallableDefId) -> PolyFnSig

fn return_type_impl_traits(
    &self,
    key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>

fn generic_predicates_for_param(
    &self,
    key0: TypeParamId
) -> Arc<[Binders<GenericPredicate>]>

fn generic_predicates(
    &self,
    key0: GenericDefId
) -> Arc<[Binders<GenericPredicate>]>

fn generic_defaults(&self, key0: GenericDefId) -> Arc<[Binders<Ty>]>

fn inherent_impls_in_crate(&self, key0: CrateId) -> Arc<InherentImpls>

fn trait_impls_in_crate(&self, key0: CrateId) -> Arc<TraitImpls>

fn trait_impls_in_deps(&self, key0: CrateId) -> Arc<TraitImpls>

fn intern_callable_def(&self, key0: CallableDefId) -> InternedCallableDefId

fn lookup_intern_callable_def(
    &self,
    key0: InternedCallableDefId
) -> CallableDefId

fn intern_type_param_id(&self, key0: TypeParamId) -> GlobalTypeParamId

fn lookup_intern_type_param_id(&self, key0: GlobalTypeParamId) -> TypeParamId

fn intern_impl_trait_id(&self, key0: OpaqueTyId) -> InternedOpaqueTyId

fn lookup_intern_impl_trait_id(&self, key0: InternedOpaqueTyId) -> OpaqueTyId

fn intern_closure(&self, key0: (DefWithBodyId, ExprId)) -> ClosureId

fn lookup_intern_closure(&self, key0: ClosureId) -> (DefWithBodyId, ExprId)

fn associated_ty_data(
    &self,
    key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>

fn trait_datum(
    &self,
    key0: CrateId,
    key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>

fn struct_datum(
    &self,
    key0: CrateId,
    key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>

fn impl_datum(
    &self,
    key0: CrateId,
    key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>

fn fn_def_datum(
    &self,
    key0: CrateId,
    key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>

fn associated_ty_value(
    &self,
    key0: CrateId,
    key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>

fn trait_solve(
    &self,
    key0: CrateId,
    key1: Canonical<InEnvironment<Obligation>>
) -> Option<Solution>

fn program_clauses_for_chalk_env(
    &self,
    key0: CrateId,
    key1: Environment<Interner>
) -> ProgramClauses<Interner>

Loading content...

Implementors

impl<DB> HirDatabase for DB where
    DB: DefDatabase + Upcast<dyn DefDatabase>,
    DB: Database,
    DB: HasQueryGroup<HirDatabaseStorage>, [src]

Loading content...