Struct TypeDef 

pub struct TypeDef { /* private fields */ }

Type definition entry (4 bytes).

Semantics of data and count depend on kind:

• Wrappers (Optional, ArrayStar, ArrayPlus): data = inner TypeId, count = 0
• Struct/Enum: data = member index, count = member count
• Alias: data = target TypeId, count = 0

Implementations

impl TypeDef

pub fn builtin(kind: TypeKind) -> Self

Create a builtin type (Void, Node, String).

pub fn placeholder() -> Self

Create a placeholder slot (to be filled later).

pub fn wrapper(kind: TypeKind, inner: TypeId) -> Self

Create a wrapper type (Optional, ArrayStar, ArrayPlus).

pub fn composite(kind: TypeKind, member_start: u16, member_count: u8) -> Self

Create a composite type (Struct, Enum).

pub fn optional(inner: TypeId) -> Self

Create an optional wrapper type.

pub fn alias(target: TypeId) -> Self

Create an alias type.

pub fn array_star(element: TypeId) -> Self

Create an ArrayStar (T*) wrapper type.

pub fn array_plus(element: TypeId) -> Self

Create an ArrayPlus (T+) wrapper type.

pub fn struct_type(member_start: u16, member_count: u8) -> Self

Create a struct type.

pub fn enum_type(member_start: u16, member_count: u8) -> Self

Create an enum type.

pub fn to_bytes(&self) -> [u8; 4]

Encode to 4 bytes.

pub fn classify(&self) -> TypeData

Classify this type definition into a structured enum.

Panics

Panics if the kind byte is invalid (corrupted bytecode).

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> TypeDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

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

Formats the value using the given formatter.

impl PartialEq for TypeDef

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

impl Eq for TypeDef

impl StructuralPartialEq for TypeDef