Enum TypeKind 

pub enum TypeKind {
    Primitive(PrimitiveType),
    Option(Box<TypeKind>),
    Vec(Box<TypeKind>),
    HashMap(Box<TypeKind>, Box<TypeKind>),
    Tuple(Vec<TypeKind>),
    Named(String),
    Generic(String, Vec<TypeKind>),
    Unit,
}

Every Rust type is mapped to one of these variants.

The IR is intentionally lossy — it captures only what is needed for type generation, not execution semantics.

Variants

Primitive(PrimitiveType)

A Rust primitive type (String, u32, bool, f64, etc.)

Option(Box<TypeKind>)

Option<T> — becomes optional/nullable in target languages

Vec(Box<TypeKind>)

Vec<T> — becomes array/list in target languages

HashMap(Box<TypeKind>, Box<TypeKind>)

HashMap<K, V> — becomes dict/record/map in target languages

Tuple(Vec<TypeKind>)

Tuple types (A, B, C)

Named(String)

A custom struct/enum referenced by name

Generic(String, Vec<TypeKind>)

A generic type MyType<T, U>

Unit

The unit type ()

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<(), Error>

Formats the value using the given formatter.

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 StructuralPartialEq for TypeKind