pub enum ConstGeneric {
Global(GlobalDeclId),
Var(ConstGenericVarId),
Value(Literal),
}
Expand description
Const Generic Values. Either a primitive value, or a variable corresponding to a primitve value
Variants§
Global(GlobalDeclId)
A global constant
Var(ConstGenericVarId)
A const generic variable
Value(Literal)
A concrete value
Implementations§
source§impl ConstGeneric
impl ConstGeneric
pub fn variant_name(&self) -> &'static str
source§impl ConstGeneric
impl ConstGeneric
source§impl ConstGeneric
impl ConstGeneric
source§impl ConstGeneric
impl ConstGeneric
pub fn as_global_mut(&mut self) -> Option<&mut GlobalDeclId>
pub fn as_var_mut(&mut self) -> Option<&mut ConstGenericVarId>
pub fn as_value_mut(&mut self) -> Option<&mut Literal>
source§impl ConstGeneric
impl ConstGeneric
pub fn variant_index_arity(&self) -> (u32, usize)
Trait Implementations§
source§impl Clone for ConstGeneric
impl Clone for ConstGeneric
source§fn clone(&self) -> ConstGeneric
fn clone(&self) -> ConstGeneric
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 ConstGeneric
impl Debug for ConstGeneric
source§impl<'de> Deserialize<'de> for ConstGeneric
impl<'de> Deserialize<'de> for ConstGeneric
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<C: AstFormatter> FmtWithCtx<C> for ConstGeneric
impl<C: AstFormatter> FmtWithCtx<C> for ConstGeneric
source§impl Hash for ConstGeneric
impl Hash for ConstGeneric
source§impl PartialEq for ConstGeneric
impl PartialEq for ConstGeneric
source§impl Serialize for ConstGeneric
impl Serialize for ConstGeneric
impl Eq for ConstGeneric
impl StructuralPartialEq for ConstGeneric
Auto Trait Implementations§
impl Freeze for ConstGeneric
impl RefUnwindSafe for ConstGeneric
impl Send for ConstGeneric
impl Sync for ConstGeneric
impl Unpin for ConstGeneric
impl UnwindSafe for ConstGeneric
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<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> 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