pub struct EvmIrValueId(/* private fields */);Expand description
A unique identifier for an untyped stack word in EVM IR.
Implementations§
Source§impl EvmIrValueId
impl EvmIrValueId
Sourcepub const CHECKS_MAX_INDEX: bool = true
pub const CHECKS_MAX_INDEX: bool = true
Whether this index type performs bounds checking.
Sourcepub fn from_foreign<F: Idx>(value: F) -> Self
pub fn from_foreign<F: Idx>(value: F) -> Self
Convert an index from another index type.
Sourcepub const unsafe fn from_usize_unchecked(value: usize) -> Self
pub const unsafe fn from_usize_unchecked(value: usize) -> Self
Create an index from a usize without bounds checking.
§SAFETY
The caller must ensure value < (u32::MAX as usize).
Sourcepub const unsafe fn from_raw_unchecked(raw: u32) -> Self
pub const unsafe fn from_raw_unchecked(raw: u32) -> Self
Create an index from a raw u32 without bounds checking.
§SAFETY
The caller must ensure the value is not u32::MAX.
Sourcepub const fn from_usize(value: usize) -> Self
pub const fn from_usize(value: usize) -> Self
Source§impl EvmIrValueId
impl EvmIrValueId
Trait Implementations§
Source§impl Add for EvmIrValueId
impl Add for EvmIrValueId
Source§type Output = EvmIrValueId
type Output = EvmIrValueId
The resulting type after applying the
+ operator.Source§fn add(self, other: EvmIrValueId) -> EvmIrValueId
fn add(self, other: EvmIrValueId) -> EvmIrValueId
Performs the
+ operation. Read moreSource§impl Add<EvmIrValueId> for usize
impl Add<EvmIrValueId> for usize
Source§type Output = EvmIrValueId
type Output = EvmIrValueId
The resulting type after applying the
+ operator.Source§fn add(self, other: EvmIrValueId) -> EvmIrValueId
fn add(self, other: EvmIrValueId) -> EvmIrValueId
Performs the
+ operation. Read moreSource§impl Add<usize> for EvmIrValueId
impl Add<usize> for EvmIrValueId
Source§impl AddAssign for EvmIrValueId
impl AddAssign for EvmIrValueId
Source§fn add_assign(&mut self, other: EvmIrValueId)
fn add_assign(&mut self, other: EvmIrValueId)
Performs the
+= operation. Read moreSource§impl AddAssign<usize> for EvmIrValueId
impl AddAssign<usize> for EvmIrValueId
Source§fn add_assign(&mut self, other: usize)
fn add_assign(&mut self, other: usize)
Performs the
+= operation. Read moreSource§impl Clone for EvmIrValueId
impl Clone for EvmIrValueId
Source§fn clone(&self) -> EvmIrValueId
fn clone(&self) -> EvmIrValueId
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for EvmIrValueId
Source§impl Debug for EvmIrValueId
impl Debug for EvmIrValueId
impl Eq for EvmIrValueId
Source§impl From<EvmIrValueId> for usize
impl From<EvmIrValueId> for usize
Source§fn from(v: EvmIrValueId) -> usize
fn from(v: EvmIrValueId) -> usize
Converts to this type from the input type.
Source§impl From<usize> for EvmIrValueId
impl From<usize> for EvmIrValueId
Source§impl Hash for EvmIrValueId
impl Hash for EvmIrValueId
Source§impl Idx for EvmIrValueId
impl Idx for EvmIrValueId
Source§impl Ord for EvmIrValueId
impl Ord for EvmIrValueId
Source§fn cmp(&self, other: &EvmIrValueId) -> Ordering
fn cmp(&self, other: &EvmIrValueId) -> Ordering
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl PartialEq for EvmIrValueId
impl PartialEq for EvmIrValueId
Source§fn eq(&self, other: &EvmIrValueId) -> bool
fn eq(&self, other: &EvmIrValueId) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl PartialEq<EvmIrValueId> for usize
impl PartialEq<EvmIrValueId> for usize
Source§fn eq(&self, other: &EvmIrValueId) -> bool
fn eq(&self, other: &EvmIrValueId) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl PartialEq<usize> for EvmIrValueId
impl PartialEq<usize> for EvmIrValueId
Source§impl PartialOrd for EvmIrValueId
impl PartialOrd for EvmIrValueId
Source§impl PartialOrd<EvmIrValueId> for usize
impl PartialOrd<EvmIrValueId> for usize
Source§impl PartialOrd<usize> for EvmIrValueId
impl PartialOrd<usize> for EvmIrValueId
Source§impl Rem<usize> for EvmIrValueId
impl Rem<usize> for EvmIrValueId
impl StructuralPartialEq for EvmIrValueId
Source§impl Sub for EvmIrValueId
impl Sub for EvmIrValueId
Source§type Output = EvmIrValueId
type Output = EvmIrValueId
The resulting type after applying the
- operator.Source§fn sub(self, other: EvmIrValueId) -> EvmIrValueId
fn sub(self, other: EvmIrValueId) -> EvmIrValueId
Performs the
- operation. Read moreSource§impl Sub<EvmIrValueId> for usize
impl Sub<EvmIrValueId> for usize
Source§type Output = EvmIrValueId
type Output = EvmIrValueId
The resulting type after applying the
- operator.Source§fn sub(self, other: EvmIrValueId) -> EvmIrValueId
fn sub(self, other: EvmIrValueId) -> EvmIrValueId
Performs the
- operation. Read moreSource§impl Sub<usize> for EvmIrValueId
impl Sub<usize> for EvmIrValueId
Source§impl SubAssign for EvmIrValueId
impl SubAssign for EvmIrValueId
Source§fn sub_assign(&mut self, other: EvmIrValueId)
fn sub_assign(&mut self, other: EvmIrValueId)
Performs the
-= operation. Read moreSource§impl SubAssign<usize> for EvmIrValueId
impl SubAssign<usize> for EvmIrValueId
Source§fn sub_assign(&mut self, other: usize)
fn sub_assign(&mut self, other: usize)
Performs the
-= operation. Read moreAuto Trait Implementations§
impl Freeze for EvmIrValueId
impl RefUnwindSafe for EvmIrValueId
impl Send for EvmIrValueId
impl Sync for EvmIrValueId
impl Unpin for EvmIrValueId
impl UnsafeUnpin for EvmIrValueId
impl UnwindSafe for EvmIrValueId
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§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
fn equivalent(&self, key: &K) -> bool
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<I, T> IdxSliceIndex<I, T> for Iwhere
I: Idx,
impl<I, T> IdxSliceIndex<I, T> for Iwhere
I: Idx,
type Output = T
fn get( self, slice: &IndexSlice<I, [T]>, ) -> Option<&<I as IdxSliceIndex<I, T>>::Output>
fn get_mut( self, slice: &mut IndexSlice<I, [T]>, ) -> Option<&mut <I as IdxSliceIndex<I, T>>::Output>
fn index( self, slice: &IndexSlice<I, [T]>, ) -> &<I as IdxSliceIndex<I, T>>::Output
fn index_mut( self, slice: &mut IndexSlice<I, [T]>, ) -> &mut <I as IdxSliceIndex<I, T>>::Output
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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