pub enum GeneralConstId {
ConstId(ConstId),
StaticId(StaticId),
}Expand description
A constant, which might appears as a const item, an anonymous const block in expressions or patterns, or as a constant in types with const generics.
Variants§
Implementations§
Source§impl GeneralConstId
impl GeneralConstId
pub fn generic_def(self, _db: &dyn DefDatabase) -> Option<GenericDefId>
pub fn name(self, db: &dyn DefDatabase) -> String
Trait Implementations§
Source§impl Clone for GeneralConstId
impl Clone for GeneralConstId
Source§fn clone(&self) -> GeneralConstId
fn clone(&self) -> GeneralConstId
Returns a duplicate 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 GeneralConstId
impl Debug for GeneralConstId
Source§impl From<ConstId> for GeneralConstId
impl From<ConstId> for GeneralConstId
Source§fn from(it: ConstId) -> GeneralConstId
fn from(it: ConstId) -> GeneralConstId
Converts to this type from the input type.
Source§impl From<StaticId> for GeneralConstId
impl From<StaticId> for GeneralConstId
Source§fn from(it: StaticId) -> GeneralConstId
fn from(it: StaticId) -> GeneralConstId
Converts to this type from the input type.
Source§impl Hash for GeneralConstId
impl Hash for GeneralConstId
Source§impl PartialEq for GeneralConstId
impl PartialEq for GeneralConstId
Source§impl SalsaStructInDb for GeneralConstId
impl SalsaStructInDb for GeneralConstId
type MemoIngredientMap = MemoIngredientIndices
Source§fn lookup_ingredient_index(__zalsa: &Zalsa) -> IngredientIndices
fn lookup_ingredient_index(__zalsa: &Zalsa) -> IngredientIndices
Lookup or create ingredient indices. Read more
Source§fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_
fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_
Returns the IDs of any instances of this struct in the database.
Source§fn cast(id: Id, type_id: TypeId) -> Option<Self>
fn cast(id: Id, type_id: TypeId) -> Option<Self>
Plumbing to support nested salsa supertypes. Read more
Source§unsafe fn memo_table(
zalsa: &Zalsa,
id: Id,
current_revision: Revision,
) -> MemoTableWithTypes<'_>
unsafe fn memo_table( zalsa: &Zalsa, id: Id, current_revision: Revision, ) -> MemoTableWithTypes<'_>
Return the memo table associated with
id. Read moreimpl Copy for GeneralConstId
impl Eq for GeneralConstId
impl StructuralPartialEq for GeneralConstId
Auto Trait Implementations§
impl Freeze for GeneralConstId
impl RefUnwindSafe for GeneralConstId
impl Send for GeneralConstId
impl Sync for GeneralConstId
impl Unpin for GeneralConstId
impl UnwindSafe for GeneralConstId
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,
§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<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
Checks if this value is equivalent to the given key. Read more
§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