[−][src]Struct ra_ap_hir::SemanticsScope

pub struct SemanticsScope<'a> {
    pub db: &'a dyn HirDatabase,
    // some fields omitted
}

Fields

db: &'a dyn HirDatabase

Implementations

impl<'a> SemanticsScope<'a>[src]

pub fn module(&self) -> Option<Module>[src]

pub fn krate(&self) -> Option<Crate>[src]

pub fn traits_in_scope(&self) -> FxHashSet<TraitId>[src]

Note: FxHashSet<TraitId> should be treated as an opaque type, passed into `Type

pub fn process_all_names(&self, f: &mut dyn FnMut(Name, ScopeDef))[src]

pub fn speculative_resolve(&self, path: &Path) -> Option<PathResolution>[src]

Resolve a path as-if it was written at the given scope. This is necessary a heuristic, as it doesn't take hygiene into account.

Trait Implementations

impl<'a> Debug for SemanticsScope<'a>[src]

Auto Trait Implementations

impl<'a> !RefUnwindSafe for SemanticsScope<'a>

impl<'a> !Send for SemanticsScope<'a>

impl<'a> !Sync for SemanticsScope<'a>

impl<'a> Unpin for SemanticsScope<'a>

impl<'a> !UnwindSafe for SemanticsScope<'a>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Any for T where
    T: Any, 

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Cast for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.