Struct ra_ap_hir::ImplDef

pub struct ImplDef { /* fields omitted */ }

Implementations

impl ImplDef

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

pub fn for_trait(
    db: &dyn HirDatabase,
    krate: Crate,
    trait_: Trait
) -> Vec<ImplDef>

pub fn target_trait(self, db: &dyn HirDatabase) -> Option<TypeRef>

pub fn target_type(self, db: &dyn HirDatabase) -> TypeRef

pub fn target_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 module(self, db: &dyn HirDatabase) -> Module

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

pub fn is_builtin_derive(self, db: &dyn HirDatabase) -> Option<InFile<Attr>>

Trait Implementations

impl Clone for ImplDef

fn clone(&self) -> ImplDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ImplDef

impl Debug for ImplDef

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

Formats the value using the given formatter.

impl Eq for ImplDef

impl From<ImplDef> for ImplId

fn from(ty: ImplDef) -> ImplId

Performs the conversion.

impl From<ImplDef> for GenericDef

fn from(it: ImplDef) -> GenericDef

Performs the conversion.

impl From<ImplId> for ImplDef

fn from(id: ImplId) -> ImplDef

Performs the conversion.

impl HasSource for ImplDef

type Ast = Impl

fn source(self, db: &dyn HirDatabase) -> InFile<Impl>

impl Hash for ImplDef

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, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<ImplDef> for ImplDef

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for ImplDef

impl StructuralPartialEq for ImplDef