Enum hir_def::DefWithBodyId
source · pub enum DefWithBodyId {
FunctionId(FunctionId),
StaticId(StaticId),
ConstId(ConstId),
InTypeConstId(InTypeConstId),
VariantId(EnumVariantId),
}
Expand description
The defs which have a body.
Variants§
FunctionId(FunctionId)
StaticId(StaticId)
ConstId(ConstId)
InTypeConstId(InTypeConstId)
VariantId(EnumVariantId)
Implementations§
source§impl DefWithBodyId
impl DefWithBodyId
pub fn as_generic_def_id(self, db: &dyn DefDatabase) -> Option<GenericDefId>
Trait Implementations§
source§impl Clone for DefWithBodyId
impl Clone for DefWithBodyId
source§fn clone(&self) -> DefWithBodyId
fn clone(&self) -> DefWithBodyId
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 DefWithBodyId
impl Debug for DefWithBodyId
source§impl From<ConstId> for DefWithBodyId
impl From<ConstId> for DefWithBodyId
source§fn from(it: ConstId) -> DefWithBodyId
fn from(it: ConstId) -> DefWithBodyId
Converts to this type from the input type.
source§impl From<DefWithBodyId> for TypeOwnerId
impl From<DefWithBodyId> for TypeOwnerId
source§fn from(value: DefWithBodyId) -> Self
fn from(value: DefWithBodyId) -> Self
Converts to this type from the input type.
source§impl From<EnumVariantId> for DefWithBodyId
impl From<EnumVariantId> for DefWithBodyId
source§fn from(id: EnumVariantId) -> Self
fn from(id: EnumVariantId) -> Self
Converts to this type from the input type.
source§impl From<FunctionId> for DefWithBodyId
impl From<FunctionId> for DefWithBodyId
source§fn from(it: FunctionId) -> DefWithBodyId
fn from(it: FunctionId) -> DefWithBodyId
Converts to this type from the input type.
source§impl From<InTypeConstId> for DefWithBodyId
impl From<InTypeConstId> for DefWithBodyId
source§fn from(it: InTypeConstId) -> DefWithBodyId
fn from(it: InTypeConstId) -> DefWithBodyId
Converts to this type from the input type.
source§impl From<StaticId> for DefWithBodyId
impl From<StaticId> for DefWithBodyId
source§fn from(it: StaticId) -> DefWithBodyId
fn from(it: StaticId) -> DefWithBodyId
Converts to this type from the input type.
source§impl HasModule for DefWithBodyId
impl HasModule for DefWithBodyId
source§fn module(&self, db: &dyn DefDatabase) -> ModuleId
fn module(&self, db: &dyn DefDatabase) -> ModuleId
Returns the enclosing module this thing is defined within.
source§fn krate(&self, db: &dyn DefDatabase) -> CrateId
fn krate(&self, db: &dyn DefDatabase) -> CrateId
Returns the crate this thing is defined within.
source§impl HasResolver for DefWithBodyId
impl HasResolver for DefWithBodyId
source§fn resolver(self, db: &dyn DefDatabase) -> Resolver
fn resolver(self, db: &dyn DefDatabase) -> Resolver
Builds a resolver for type references inside this def.
source§impl Hash for DefWithBodyId
impl Hash for DefWithBodyId
source§impl PartialEq for DefWithBodyId
impl PartialEq for DefWithBodyId
impl Copy for DefWithBodyId
impl Eq for DefWithBodyId
impl StructuralPartialEq for DefWithBodyId
Auto Trait Implementations§
impl Freeze for DefWithBodyId
impl RefUnwindSafe for DefWithBodyId
impl Send for DefWithBodyId
impl Sync for DefWithBodyId
impl Unpin for DefWithBodyId
impl UnwindSafe for DefWithBodyId
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more