Enum TypeKind 

#[repr(u8)]
pub enum TypeKind {
    Void = 0,
    Node = 1,
    String = 2,
    Optional = 3,
    ArrayZeroOrMore = 4,
    ArrayOneOrMore = 5,
    Struct = 6,
    Enum = 7,
    Alias = 8,
}

Semantic type kinds.

This is the canonical enumeration of all type kinds, including primitives. Primitive types (Void, Node, String) are stored as TypeDefs like any other type.

Variants

Void = 0

Unit type - used for definitions with no captures.

Node = 1

AST node reference.

String = 2

Text content extracted from node.

Optional = 3

T? - optional wrapper, contains zero or one value.

ArrayZeroOrMore = 4

T* - array of zero or more values.

ArrayOneOrMore = 5

T+ - array of one or more values (non-empty).

Struct = 6

Record with named fields.

Enum = 7

Discriminated union with tagged variants.

Alias = 8

Named reference to another type (e.g., type Foo = Bar).

Implementations

impl TypeKind

Convenience aliases for bytecode-specific naming (ArrayStar/ArrayPlus).

pub const ARRAY_STAR: Self = Self::ArrayZeroOrMore

Alias for ArrayZeroOrMore (T*).

pub const ARRAY_PLUS: Self = Self::ArrayOneOrMore

Alias for ArrayOneOrMore (T+).

impl TypeKind

pub fn from_u8(v: u8) -> Option<Self>

Convert from raw discriminant.

pub fn is_primitive(self) -> bool

Whether this is a primitive/builtin type (Void, Node, String).

pub fn is_wrapper(self) -> bool

Whether this is a wrapper type (Optional, ArrayZeroOrMore, ArrayOneOrMore).

Wrapper types contain a single inner type. Composite types (Struct, Enum) have named members.

pub fn is_composite(self) -> bool

Whether this is a composite type (Struct, Enum).

pub fn is_array(self) -> bool

Whether this is an array type.

pub fn array_is_non_empty(self) -> bool

For array types, whether the array is non-empty.

pub fn is_alias(self) -> bool

Whether this is an alias type.

pub fn primitive_name(self) -> Option<&'static str>

Get the display name for primitive types.

Trait Implementations

impl Clone for TypeKind

fn clone(&self) -> TypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeKind

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

Formats the value using the given formatter.

impl Hash for TypeKind

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 TypeKind

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

impl Eq for TypeKind

impl StructuralPartialEq for TypeKind