Struct 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>(db: &'db dyn HirDatabase, _: Type<'db>) -> Vec<Impl>

Note: This is an approximation that strives to give the human-perceived notion of an “impl for type”, not answer the technical question “what are all impls applying to this type”. In particular, it excludes blanket impls, and only does a shallow type constructor check. In fact, this should’ve probably been on Adt etc., and not on Type. If you would want to create a precise list of all impls applying to a type, you would need to include blanket impls, and try to prove to predicates for each candidate.

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 duplicate 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

fn hir_docs(self, db: &dyn HirDatabase) -> Option<&Docs>

impl HasCrate for Impl

fn krate(&self, db: &dyn HirDatabase) -> Crate

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::SemanticsImpl::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