Struct TraitImpls 

pub struct TraitImpls { /* private fields */ }

Implementations

impl TraitImpls

pub fn for_crate( db: &(dyn HirDatabase + 'static), krate: Crate, ) -> &Arc<TraitImpls>

pub fn for_block( db: &(dyn HirDatabase + 'static), block: BlockId, ) -> &Option<Box<TraitImpls>>

pub fn for_crate_and_deps( db: &(dyn HirDatabase + 'static), krate: Crate, ) -> &Box<[Arc<TraitImpls>]>

impl TraitImpls

pub fn blanket_impls(&self, for_trait: TraitId) -> &[ImplId]

pub fn has_impls_for_trait_and_self_ty( &self, trait_: TraitId, self_ty: &SimplifiedType<SolverDefId>, ) -> bool

Queries whether self_ty has potentially applicable implementations of trait_.

pub fn for_trait_and_self_ty( &self, trait_: TraitId, self_ty: &SimplifiedType<SolverDefId>, ) -> &[ImplId]

pub fn for_trait(&self, trait_: TraitId, callback: impl FnMut(&[ImplId]))

pub fn for_self_ty( &self, self_ty: &SimplifiedType<SolverDefId>, callback: impl FnMut(&[ImplId]), )

pub fn for_each_crate_and_block( db: &(dyn HirDatabase + 'static), krate: Crate, block: Option<BlockId>, for_each: &mut dyn FnMut(&TraitImpls), )

pub fn for_each_crate_and_block_trait_and_type( db: &(dyn HirDatabase + 'static), krate: Crate, type_block: Option<BlockId>, trait_block: Option<BlockId>, for_each: &mut dyn FnMut(&TraitImpls), )

Like Self::for_each_crate_and_block(), but takes in account two blocks, one for a trait and one for a self type.

Trait Implementations

impl Debug for TraitImpls

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

Formats the value using the given formatter.

impl PartialEq for TraitImpls

fn eq(&self, other: &TraitImpls) -> 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 StructuralPartialEq for TraitImpls