Enum chalk_ir::TyData

pub enum TyData<I: Interner> {
    Apply(ApplicationTy<I>),
    Placeholder(PlaceholderIndex),
    Dyn(DynTy<I>),
    Alias(AliasTy<I>),
    Function(Fn<I>),
    BoundVar(BoundVar),
    InferenceVar(InferenceVar, TyKind),
}

Variants

Apply(ApplicationTy<I>)

An "application" type is one that applies the set of type arguments to some base type. For example, Vec<u32> would be "applying" the parameters [u32] to the code type Vec. This type is also used for base types like u32 (which just apply an empty list).

Placeholder(PlaceholderIndex)

instantiated form a universally quantified type, e.g., from forall<T> { .. }. Stands in as a representative of "some unknown type".

Dyn(DynTy<I>)

A "dyn" type is a trait object type created via the "dyn Trait" syntax. In the chalk parser, the traits that the object represents is parsed as a QuantifiedInlineBound, and is then changed to a list of where clauses during lowering.

See the Opaque variant for a discussion about the use of binders here.

Alias(AliasTy<I>)

An "alias" type represents some form of type alias, such as:

• An associated type projection like <T as Iterator>::Item
• impl Trait types
• Named type aliases like type Foo<X> = Vec<X>

Function(Fn<I>)

A function type such as for<'a> fn(&'a u32). Note that "higher-ranked" types (starting with for<>) are either function types or dyn types, and do not appear otherwise in Rust surface syntax.

BoundVar(BoundVar)

References the binding at the given depth. The index is a [de Bruijn index], so it counts back through the in-scope binders.

InferenceVar(InferenceVar, TyKind)

Inference variable defined in the current inference context.

Implementations

impl<I: Interner> TyData<I>

pub fn intern(self, interner: &I) -> Ty<I>

Trait Implementations

impl<I: Interner> CastTo<TyData<I>> for TyData<I>

fn cast_to(self, _interner: &<TyData<I> as HasInterner>::Interner) -> TyData<I>

impl<I: Interner> CastTo<TyData<I>> for ApplicationTy<I>

fn cast_to(self, _interner: &I) -> TyData<I>

impl<I: Interner> CastTo<TyData<I>> for AliasTy<I>

fn cast_to(self, _interner: &I) -> TyData<I>

impl<I: Clone + Interner> Clone for TyData<I>

fn clone(&self) -> TyData<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Interner> Debug for TyData<I>

fn fmt(&self, fmt: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl<I: Eq + Interner> Eq for TyData<I>

impl<I: Interner> HasInterner for TyData<I>

type Interner = I

impl<I: Hash + Interner> Hash for TyData<I>

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<I: PartialEq + Interner> PartialEq<TyData<I>> for TyData<I>

fn eq(&self, other: &TyData<I>) -> bool

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

fn ne(&self, other: &TyData<I>) -> bool

This method tests for !=.

impl<I: Interner> StructuralEq for TyData<I>

impl<I: Interner> StructuralPartialEq for TyData<I>