Enum cairo_lang_semantic::types::TypeHead

pub enum TypeHead {
    Concrete(GenericTypeId),
    Snapshot(Box<TypeHead>),
    Tuple,
}

Head of a type. A non-param non-variable type has a head, which represents the kind of the root node in its type tree. This is used for caching queries for fast lookups when the type is not completely inferred yet.

Variants

Concrete(GenericTypeId)

Snapshot(Box<TypeHead>)

Tuple

Trait Implementations

impl Clone for TypeHead

fn clone(&self) -> TypeHead

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeHead

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

Formats the value using the given formatter.

impl Hash for TypeHead

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 PartialEq<TypeHead> for TypeHead

fn eq(&self, other: &TypeHead) -> 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 Eq for TypeHead

impl StructuralEq for TypeHead

impl StructuralPartialEq for TypeHead