Struct ra_ap_hir_def::resolver::Resolver

pub struct Resolver { /* fields omitted */ }

Implementations

impl Resolver

pub fn resolve_known_trait(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<TraitId>

Resolve known trait from std, like std::futures::Future

pub fn resolve_known_struct(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<StructId>

Resolve known struct from std, like std::boxed::Box

pub fn resolve_known_enum(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<EnumId>

Resolve known enum from std, like std::result::Result

pub fn resolve_module_path_in_items(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> PerNs

pub fn resolve_path_in_type_ns(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<(TypeNs, Option<usize>)>

pub fn resolve_path_in_type_ns_fully(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<TypeNs>

pub fn resolve_visibility(
    &self,
    db: &dyn DefDatabase,
    visibility: &RawVisibility
) -> Option<Visibility>

pub fn resolve_path_in_value_ns(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<ResolveValueResult>

pub fn resolve_path_in_value_ns_fully(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<ValueNs>

pub fn resolve_path_as_macro(
    &self,
    db: &dyn DefDatabase,
    path: &ModPath
) -> Option<MacroDefId>

pub fn process_all_names(
    &self,
    db: &dyn DefDatabase,
    f: &mut dyn FnMut(Name, ScopeDef)
)

pub fn traits_in_scope(&self, db: &dyn DefDatabase) -> FxHashSet<TraitId>

pub fn module(&self) -> Option<ModuleId>

pub fn krate(&self) -> Option<CrateId>

pub fn where_predicates_in_scope<'a>(
    &'a self
) -> impl Iterator<Item = &'a WherePredicate> + 'a

pub fn generic_def(&self) -> Option<GenericDefId>

pub fn body_owner(&self) -> Option<DefWithBodyId>

Trait Implementations

impl Clone for Resolver

pub fn clone(&self) -> Resolver

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Resolver

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Resolver

pub fn default() -> Resolver

Returns the "default value" for a type.