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: 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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq + HasInterner> PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

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