Struct hir::Impl

pub struct Impl { /* private fields */ }

Implementations

impl Impl

pub fn all_in_crate(db: &dyn HirDatabase, krate: Crate) -> Vec<Impl>

pub fn all_in_module(db: &dyn HirDatabase, module: Module) -> Vec<Impl>

pub fn all_for_type(db: &dyn HirDatabase, _: Type) -> Vec<Impl>

pub fn all_for_trait(db: &dyn HirDatabase, trait_: Trait) -> Vec<Impl>

pub fn trait_(self, db: &dyn HirDatabase) -> Option<Trait>

pub fn trait_ref(self, db: &dyn HirDatabase) -> Option<TraitRef>

pub fn self_ty(self, db: &dyn HirDatabase) -> Type

pub fn items(self, db: &dyn HirDatabase) -> Vec<AssocItem>

pub fn is_negative(self, db: &dyn HirDatabase) -> bool

pub fn is_unsafe(self, db: &dyn HirDatabase) -> bool

pub fn module(self, db: &dyn HirDatabase) -> Module

pub fn as_builtin_derive_path( self, db: &dyn HirDatabase, ) -> Option<InMacroFile<Path>>

pub fn check_orphan_rules(self, db: &dyn HirDatabase) -> bool

Trait Implementations

impl Clone for Impl

fn clone(&self) -> Impl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Impl

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

Formats the value using the given formatter.

impl From<Impl> for GenericDef

fn from(it: Impl) -> GenericDef

Converts to this type from the input type.

impl From<Impl> for ImplId

fn from(ty: Impl) -> ImplId

Converts to this type from the input type.

impl From<ImplId> for Impl

fn from(id: ImplId) -> Impl

Converts to this type from the input type.

impl HasAttrs for Impl

fn attrs(self, db: &dyn HirDatabase) -> AttrsWithOwner

impl HasSource for Impl

type Ast = Impl

fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>>

Fetches the definition’s source node. Using [crate::Semantics::source] is preferred when working with crate::Semantics, as that caches the parsed file in the semantics’ cache.

impl Hash for Impl

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Impl

fn eq(&self, other: &Impl) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Impl

impl Eq for Impl

impl StructuralPartialEq for Impl