Struct move_model::model::GlobalId
source · pub struct GlobalId(_);
Expand description
A global id. Instances of this type represent unique identifiers relative to GlobalEnv
.
Implementations§
Trait Implementations§
source§impl Ord for GlobalId
impl Ord for GlobalId
source§impl PartialEq<GlobalId> for GlobalId
impl PartialEq<GlobalId> for GlobalId
source§impl PartialOrd<GlobalId> for GlobalId
impl PartialOrd<GlobalId> for GlobalId
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 GlobalId
impl Eq for GlobalId
impl StructuralEq for GlobalId
impl StructuralPartialEq for GlobalId
Auto Trait Implementations§
impl RefUnwindSafe for GlobalId
impl Send for GlobalId
impl Sync for GlobalId
impl Unpin for GlobalId
impl UnwindSafe for GlobalId
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.