Enum VariantId
pub enum VariantId {
EnumVariantId(EnumVariantId),
StructId(StructId),
UnionId(UnionId),
}Variants§
Implementations§
§impl VariantId
impl VariantId
pub fn fields(self, db: &(dyn DefDatabase + 'static)) -> &VariantFields
pub fn fields_with_source_map( self, db: &(dyn DefDatabase + 'static), ) -> (&VariantFields, &ExpressionStoreSourceMap)
pub fn file_id(self, db: &(dyn DefDatabase + 'static)) -> HirFileId
pub fn adt_id(self, db: &(dyn DefDatabase + 'static)) -> AdtId
Trait Implementations§
Source§impl ChildBySource for VariantId
impl ChildBySource for VariantId
fn child_by_source_to( &self, db: &dyn DefDatabase, res: &mut DynMap, _: HirFileId, )
fn child_by_source(&self, db: &dyn DefDatabase, file_id: HirFileId) -> DynMap
Source§impl From<VariantId> for ChildContainer
impl From<VariantId> for ChildContainer
Source§fn from(it: VariantId) -> ChildContainer
fn from(it: VariantId) -> ChildContainer
Converts to this type from the input type.
§impl From<VariantId> for SolverDefId
impl From<VariantId> for SolverDefId
§fn from(value: VariantId) -> SolverDefId
fn from(value: VariantId) -> SolverDefId
Converts to this type from the input type.
§impl HasChildSource<Idx<FieldData>> for VariantId
impl HasChildSource<Idx<FieldData>> for VariantId
type Value = Either<TupleField, RecordField>
fn child_source( &self, db: &(dyn DefDatabase + 'static), ) -> InFileWrapper<HirFileId, ArenaMap<Idx<FieldData>, <VariantId as HasChildSource<Idx<FieldData>>>::Value>>
§impl HasModule for VariantId
impl HasModule for VariantId
§fn module(&self, db: &(dyn DefDatabase + 'static)) -> ModuleIdLt<'static>
fn module(&self, db: &(dyn DefDatabase + 'static)) -> ModuleIdLt<'static>
Returns the enclosing module this thing is defined within.
§fn krate(&self, db: &(dyn DefDatabase + 'static)) -> Crate
fn krate(&self, db: &(dyn DefDatabase + 'static)) -> Crate
Returns the crate this thing is defined within.
§impl HasResolver for VariantId
impl HasResolver for VariantId
§fn resolver(self, db: &(dyn DefDatabase + 'static)) -> Resolver<'_>
fn resolver(self, db: &(dyn DefDatabase + 'static)) -> Resolver<'_>
Builds a resolver for type references inside this def.
§impl Ord for VariantId
impl Ord for VariantId
§impl PartialOrd for VariantId
impl PartialOrd for VariantId
impl Copy for VariantId
impl Eq for VariantId
impl StructuralPartialEq for VariantId
Auto Trait Implementations§
impl Freeze for VariantId
impl RefUnwindSafe for VariantId
impl Send for VariantId
impl Sync for VariantId
impl Unpin for VariantId
impl UnwindSafe for VariantId
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<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§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<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
Source§impl<T> HasCrate for Twhere
T: HasModule,
impl<T> HasCrate for Twhere
T: HasModule,
fn krate(&self, db: &(dyn HirDatabase + 'static)) -> Crate
§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