Struct chalk_ir::UCanonical

pub struct UCanonical<T: HasInterner> {
    pub canonical: Canonical<T>,
    pub universes: usize,
}

A "universe canonical" value. This is a wrapper around a Canonical, indicating that the universes within have been "renumbered" to start from 0 and collapse unimportant distinctions.

To produce one of these values, use the u_canonicalize method.

Fields

canonical: Canonical<T>

The wrapped Canonical.

universes: usize

The number of universes that have been collapsed.

Implementations

impl<T: HasInterner> UCanonical<T>

pub fn is_trivial_substitution(
    &self,
    interner: &T::Interner,
    canonical_subst: &Canonical<AnswerSubst<T::Interner>>
) -> bool

Checks whether the universe canonical value is a trivial substitution (e.g. an identity substitution).

pub fn trivial_substitution(
    &self,
    interner: &T::Interner
) -> Substitution<T::Interner>

Creates an identity substitution.

Trait Implementations

impl<T: Clone + HasInterner> Clone for UCanonical<T>

fn clone(&self) -> UCanonical<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + HasInterner> Debug for UCanonical<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Eq + HasInterner> Eq for UCanonical<T>

impl<T: Hash + HasInterner> Hash for UCanonical<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq + HasInterner> PartialEq<UCanonical<T>> for UCanonical<T>

fn eq(&self, other: &UCanonical<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &UCanonical<T>) -> bool

This method tests for !=.

impl<T: HasInterner> StructuralEq for UCanonical<T>

impl<T: HasInterner> StructuralPartialEq for UCanonical<T>