Enum BuiltinTypeConstructorKind 

pub enum BuiltinTypeConstructorKind {
    Ptr,
    MutPtr,
    Ref,
    MutRef,
    Slice,
    MutSlice,
    Vec,
}

Identifier for a built-in parameterized type.

Each variant corresponds to a closed, compiler-recognized type constructor (e.g. Ptr(T), MutPtr(T)). The actual lowering to a TypeKind happens in sema (gruel-air), which dispatches on this tag — gruel-builtins has no dependency on the type system.

New constructors are added by extending this enum, adding an entry to BUILTIN_TYPE_CONSTRUCTORS, and adding a corresponding sema lowering arm. Exhaustive matches in sema force you to add the lowering arm when adding a variant — that’s intentional, so the enum is not marked #[non_exhaustive].

Variants

Ptr

Immutable raw pointer (ADR-0061): Ptr(T) lowers to TypeKind::PtrConst.

MutPtr

Mutable raw pointer (ADR-0061): MutPtr(T) lowers to TypeKind::PtrMut.

Ref

Immutable reference (ADR-0062): Ref(T) lowers to TypeKind::Ref.

MutRef

Mutable reference (ADR-0062): MutRef(T) lowers to TypeKind::MutRef.

Slice

Immutable slice (ADR-0064): Slice(T) lowers to TypeKind::Slice.

MutSlice

Mutable slice (ADR-0064): MutSlice(T) lowers to TypeKind::MutSlice.

Vec

Owned vector (ADR-0066): Vec(T) lowers to TypeKind::Vec.

Trait Implementations

impl Clone for BuiltinTypeConstructorKind

fn clone(&self) -> BuiltinTypeConstructorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinTypeConstructorKind

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

Formats the value using the given formatter.

impl Hash for BuiltinTypeConstructorKind

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 BuiltinTypeConstructorKind

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

impl Eq for BuiltinTypeConstructorKind

impl StructuralPartialEq for BuiltinTypeConstructorKind