Enum ra_ap_hir::DefWithBody
source · Expand description
The defs which have a body.
Variants§
Implementations§
source§impl DefWithBody
impl DefWithBody
pub fn module(self, db: &dyn HirDatabase) -> Module
pub fn name(self, db: &dyn HirDatabase) -> Option<Name>
sourcepub fn body_type(self, db: &dyn HirDatabase) -> Type
pub fn body_type(self, db: &dyn HirDatabase) -> Type
Returns the type this def’s body has to evaluate to.
sourcepub fn debug_hir(self, db: &dyn HirDatabase) -> String
pub fn debug_hir(self, db: &dyn HirDatabase) -> String
A textual representation of the HIR of this def’s body for debugging purposes.
pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>)
Trait Implementations§
source§impl Clone for DefWithBody
impl Clone for DefWithBody
source§fn clone(&self) -> DefWithBody
fn clone(&self) -> DefWithBody
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for DefWithBody
impl Debug for DefWithBody
source§impl From<Const> for DefWithBody
impl From<Const> for DefWithBody
source§fn from(it: Const) -> DefWithBody
fn from(it: Const) -> DefWithBody
Converts to this type from the input type.
source§impl From<DefWithBody> for DefWithBodyId
impl From<DefWithBody> for DefWithBodyId
source§fn from(def: DefWithBody) -> Self
fn from(def: DefWithBody) -> Self
Converts to this type from the input type.
source§impl From<DefWithBodyId> for DefWithBody
impl From<DefWithBodyId> for DefWithBody
source§fn from(def: DefWithBodyId) -> Self
fn from(def: DefWithBodyId) -> Self
Converts to this type from the input type.
source§impl From<Function> for DefWithBody
impl From<Function> for DefWithBody
source§fn from(it: Function) -> DefWithBody
fn from(it: Function) -> DefWithBody
Converts to this type from the input type.
source§impl From<Static> for DefWithBody
impl From<Static> for DefWithBody
source§fn from(it: Static) -> DefWithBody
fn from(it: Static) -> DefWithBody
Converts to this type from the input type.
source§impl From<Variant> for DefWithBody
impl From<Variant> for DefWithBody
source§fn from(it: Variant) -> DefWithBody
fn from(it: Variant) -> DefWithBody
Converts to this type from the input type.
source§impl Hash for DefWithBody
impl Hash for DefWithBody
source§impl PartialEq<DefWithBody> for DefWithBody
impl PartialEq<DefWithBody> for DefWithBody
source§fn eq(&self, other: &DefWithBody) -> bool
fn eq(&self, other: &DefWithBody) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for DefWithBody
impl Eq for DefWithBody
impl StructuralEq for DefWithBody
impl StructuralPartialEq for DefWithBody
Auto Trait Implementations§
impl RefUnwindSafe for DefWithBody
impl Send for DefWithBody
impl Sync for DefWithBody
impl Unpin for DefWithBody
impl UnwindSafe for DefWithBody
Blanket Implementations§
§impl<T> Cast for T
impl<T> Cast for T
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.