Enum Ty

pub enum Ty {
    Primitive(PrimitiveTy),
    Struct(StructTy),
    Union(UnionTy),
    Enum(EnumTy),
    Tagged(TaggedTy),
    Alias(AliasTy),
    Pun(PunTy),
    Array(ArrayTy),
    Ref(RefTy),
    Empty,
}

The actual structure of a type

This may be either a nominal, structural, or primitive type.

Any types that this type references will already have been normalized to a TyIdx so you don’t have to worry about name resolution or interning/memoizing. Notably all uses of [u32; 5] will have the same TyIdx, although [MyU32Alias; 5] will be get a separate type id to allow a backend to more accurately reproduce the input program.

Variants

Primitive(PrimitiveTy)

A primitive (int, float, bool, ptr)

Struct(StructTy)

A nominal struct

Union(UnionTy)

A nominal untagged union

Enum(EnumTy)

A nominal C-style enum (see Tagged for a full rust-style enum)

Tagged(TaggedTy)

A nominal tagged union (rust-style enum, see Enum for a c-style enum)

Alias(AliasTy)

A transparent type alias (like typed)

Pun(PunTy)

A type pun that can have different underlying types for different targets

Array(ArrayTy)

A fixed-length array

Ref(RefTy)

A reference to a type (behaves as if is the Pointee, but just passed by-ref)

Empty

Empty tuple – ()

Implementations

impl Ty

pub fn is_nominal(&self) -> bool

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Hash for Ty

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 for Ty

fn eq(&self, other: &Ty) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

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

impl Eq for Ty

impl StructuralPartialEq for Ty