Struct move_stackless_bytecode::access_path::AbsStructType
source · [−]pub struct AbsStructType { /* private fields */ }
Expand description
Fully qualified type identifier base
bound to type actuals types
Implementations
sourceimpl AbsStructType
impl AbsStructType
pub fn new(mid: &ModuleId, sid: StructId, types: Vec<Type>) -> Self
sourcepub fn get_type_tag(&self, env: &GlobalEnv) -> Option<StructTag>
pub fn get_type_tag(&self, env: &GlobalEnv) -> Option<StructTag>
If this self
is closed, convert it to a StructTag
. Return
None
otherwise
sourcepub fn substitute_footprint(&mut self, type_actuals: &[Type])
pub fn substitute_footprint(&mut self, type_actuals: &[Type])
Substitue the open types in self.types with caller type_actuals
sourcepub fn normalize(&self, env: &GlobalEnv) -> Option<StructTag>
pub fn normalize(&self, env: &GlobalEnv) -> Option<StructTag>
Returns a normalized representation of this type if it closed, None if it is open
sourcepub fn is_closed(&self) -> bool
pub fn is_closed(&self) -> bool
Return true
if self
has no type variables or if all of self
’s type variables are bound
sourcepub fn display<'a>(&'a self, env: &'a GlobalEnv) -> AbsStructTypeDisplay<'a>
pub fn display<'a>(&'a self, env: &'a GlobalEnv) -> AbsStructTypeDisplay<'a>
Return a wrapper of self
that implements Display
using env
Trait Implementations
sourceimpl Clone for AbsStructType
impl Clone for AbsStructType
sourcefn clone(&self) -> AbsStructType
fn clone(&self) -> AbsStructType
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for AbsStructType
impl Debug for AbsStructType
sourceimpl Ord for AbsStructType
impl Ord for AbsStructType
sourcefn cmp(&self, other: &AbsStructType) -> Ordering
fn cmp(&self, other: &AbsStructType) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialEq<AbsStructType> for AbsStructType
impl PartialEq<AbsStructType> for AbsStructType
sourcefn eq(&self, other: &AbsStructType) -> bool
fn eq(&self, other: &AbsStructType) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourceimpl PartialOrd<AbsStructType> for AbsStructType
impl PartialOrd<AbsStructType> for AbsStructType
sourcefn partial_cmp(&self, other: &AbsStructType) -> Option<Ordering>
fn partial_cmp(&self, other: &AbsStructType) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn 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 more
impl Eq for AbsStructType
impl StructuralEq for AbsStructType
impl StructuralPartialEq for AbsStructType
Auto Trait Implementations
impl RefUnwindSafe for AbsStructType
impl Send for AbsStructType
impl Sync for AbsStructType
impl Unpin for AbsStructType
impl UnwindSafe for AbsStructType
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.