Struct TypeRegistry 

pub struct TypeRegistry { /* private fields */ }

Registry of all known runtime types.

Implementations

impl TypeRegistry

pub fn new() -> Self

Create a new empty type registry.

pub fn register(&mut self, info: TypeInfo)

Register a type.

pub fn lookup(&self, name: &str) -> Option<&TypeInfo>

Look up type information by name.

pub fn all_types(&self) -> impl Iterator<Item = &TypeInfo>

Get all registered types.

pub fn len(&self) -> usize

Number of registered types.

pub fn is_empty(&self) -> bool

Check if the registry is empty.

pub fn register_builtins(&mut self)

Register built-in types (Nat, Bool, Unit, etc.).

Trait Implementations

impl Default for TypeRegistry

fn default() -> Self

Returns the “default value” for a type.