Struct bytecode::stackless_bytecode::SpecBlockId
source · pub struct SpecBlockId(_);
Expand description
An id for a spec block. A spec block can contain assumes and asserts to be enforced at a program point.
Implementations§
Trait Implementations§
source§impl Clone for SpecBlockId
impl Clone for SpecBlockId
source§fn clone(&self) -> SpecBlockId
fn clone(&self) -> SpecBlockId
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 SpecBlockId
impl Debug for SpecBlockId
source§impl Hash for SpecBlockId
impl Hash for SpecBlockId
source§impl Ord for SpecBlockId
impl Ord for SpecBlockId
source§fn cmp(&self, other: &SpecBlockId) -> Ordering
fn cmp(&self, other: &SpecBlockId) -> Ordering
1.21.0 · 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<SpecBlockId> for SpecBlockId
impl PartialEq<SpecBlockId> for SpecBlockId
source§fn eq(&self, other: &SpecBlockId) -> bool
fn eq(&self, other: &SpecBlockId) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<SpecBlockId> for SpecBlockId
impl PartialOrd<SpecBlockId> for SpecBlockId
source§fn partial_cmp(&self, other: &SpecBlockId) -> Option<Ordering>
fn partial_cmp(&self, other: &SpecBlockId) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for SpecBlockId
impl Eq for SpecBlockId
impl StructuralEq for SpecBlockId
impl StructuralPartialEq for SpecBlockId
Auto Trait Implementations§
impl RefUnwindSafe for SpecBlockId
impl Send for SpecBlockId
impl Sync for SpecBlockId
impl Unpin for SpecBlockId
impl UnwindSafe for SpecBlockId
Blanket Implementations§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.