pub enum ItemId {
Type(TypeDeclId),
Fun(FunDeclId),
Global(GlobalDeclId),
TraitDecl(TraitDeclId),
TraitImpl(TraitImplId),
}
Expand description
The id of a translated item.
Variants§
Implementations§
Source§impl ItemId
impl ItemId
pub fn as_type(&self) -> Option<&TypeDeclId>
pub fn as_fun(&self) -> Option<&FunDeclId>
pub fn as_global(&self) -> Option<&GlobalDeclId>
pub fn as_trait_decl(&self) -> Option<&TraitDeclId>
pub fn as_trait_impl(&self) -> Option<&TraitImplId>
Source§impl ItemId
impl ItemId
pub fn as_type_mut(&mut self) -> Option<&mut TypeDeclId>
pub fn as_fun_mut(&mut self) -> Option<&mut FunDeclId>
pub fn as_global_mut(&mut self) -> Option<&mut GlobalDeclId>
pub fn as_trait_decl_mut(&mut self) -> Option<&mut TraitDeclId>
pub fn as_trait_impl_mut(&mut self) -> Option<&mut TraitImplId>
Trait Implementations§
Source§impl<'de> Deserialize<'de> for ItemId
impl<'de> Deserialize<'de> for ItemId
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl<'s, V> Drive<'s, V> for ItemIdwhere
V: Visitor + Visit<'s, TypeDeclId> + Visit<'s, FunDeclId> + Visit<'s, GlobalDeclId> + Visit<'s, TraitDeclId> + Visit<'s, TraitImplId>,
impl<'s, V> Drive<'s, V> for ItemIdwhere
V: Visitor + Visit<'s, TypeDeclId> + Visit<'s, FunDeclId> + Visit<'s, GlobalDeclId> + Visit<'s, TraitDeclId> + Visit<'s, TraitImplId>,
Source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit()
on the immediate contents of self
.Source§impl<'s, V> DriveMut<'s, V> for ItemIdwhere
V: Visitor + VisitMut<'s, TypeDeclId> + VisitMut<'s, FunDeclId> + VisitMut<'s, GlobalDeclId> + VisitMut<'s, TraitDeclId> + VisitMut<'s, TraitImplId>,
impl<'s, V> DriveMut<'s, V> for ItemIdwhere
V: Visitor + VisitMut<'s, TypeDeclId> + VisitMut<'s, FunDeclId> + VisitMut<'s, GlobalDeclId> + VisitMut<'s, TraitDeclId> + VisitMut<'s, TraitImplId>,
Source§fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit()
on the immediate contents of self
.Source§impl<C: AstFormatter> FmtWithCtx<C> for ItemId
impl<C: AstFormatter> FmtWithCtx<C> for ItemId
Source§impl From<GlobalDeclId> for ItemId
impl From<GlobalDeclId> for ItemId
Source§fn from(x: GlobalDeclId) -> Self
fn from(x: GlobalDeclId) -> Self
Converts to this type from the input type.
Source§impl From<TraitDeclId> for ItemId
impl From<TraitDeclId> for ItemId
Source§fn from(x: TraitDeclId) -> Self
fn from(x: TraitDeclId) -> Self
Converts to this type from the input type.
Source§impl From<TraitImplId> for ItemId
impl From<TraitImplId> for ItemId
Source§fn from(x: TraitImplId) -> Self
fn from(x: TraitImplId) -> Self
Converts to this type from the input type.
Source§impl From<TypeDeclId> for ItemId
impl From<TypeDeclId> for ItemId
Source§fn from(x: TypeDeclId) -> Self
fn from(x: TypeDeclId) -> Self
Converts to this type from the input type.
Source§impl Ord for ItemId
impl Ord for ItemId
Source§impl PartialOrd for ItemId
impl PartialOrd for ItemId
Source§impl TryFrom<ItemId> for GlobalDeclId
impl TryFrom<ItemId> for GlobalDeclId
Source§impl TryFrom<ItemId> for TraitDeclId
impl TryFrom<ItemId> for TraitDeclId
Source§impl TryFrom<ItemId> for TraitImplId
impl TryFrom<ItemId> for TraitImplId
Source§impl TryFrom<ItemId> for TypeDeclId
impl TryFrom<ItemId> for TypeDeclId
impl Copy for ItemId
impl Eq for ItemId
impl StructuralPartialEq for ItemId
Auto Trait Implementations§
impl Freeze for ItemId
impl RefUnwindSafe for ItemId
impl Send for ItemId
impl Sync for ItemId
impl Unpin for ItemId
impl UnwindSafe for ItemId
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> 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<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
§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§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more