Struct move_model::model::ModuleId
source · pub struct ModuleId(_);
Expand description
Identifier for a module.
Implementations§
source§impl ModuleId
impl ModuleId
pub fn qualified<Id>(self, id: Id) -> QualifiedId<Id>
pub fn qualified_inst<Id>(self, id: Id, inst: Vec<Type>) -> QualifiedInstId<Id>
Trait Implementations§
source§impl Ord for ModuleId
impl Ord for ModuleId
source§impl PartialEq<ModuleId> for ModuleId
impl PartialEq<ModuleId> for ModuleId
source§impl PartialOrd<ModuleId> for ModuleId
impl PartialOrd<ModuleId> for ModuleId
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 ModuleId
impl Eq for ModuleId
impl StructuralEq for ModuleId
impl StructuralPartialEq for ModuleId
Auto Trait Implementations§
impl RefUnwindSafe for ModuleId
impl Send for ModuleId
impl Sync for ModuleId
impl Unpin for ModuleId
impl UnwindSafe for ModuleId
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.