Struct ModuleRegistry 

pub struct ModuleRegistry { /* private fields */ }

Module registry for name resolution

Maintains a registry of all modules and their exported bindings, enabling both qualified and unqualified (via open) name lookups.

Implementations

impl ModuleRegistry

pub fn new() -> Self

Create a new empty module registry

pub fn with_stdlib() -> Self

Create a new module registry with standard library modules pre-registered

pub fn register_module( &mut self, name: String, bindings: HashMap<String, Expr>, types: HashMap<String, TypeDefinition>, )

Register a module with its bindings and types

Arguments

• name - Module name
• bindings - Map of value bindings (name -> expression)
• types - Map of type definitions (type name -> definition)

pub fn resolve_qualified( &self, module_name: &str, binding_name: &str, ) -> Option<&Expr>

Resolve a qualified name (e.g., “Math.add”)

Returns

The expression bound to the qualified name, or None if not found.

pub fn get_module_bindings( &self, module_name: &str, ) -> Option<&HashMap<String, Expr>>

Get all bindings from a module (for “open” imports)

Returns

A reference to all bindings in the module, or None if module not found.

pub fn get_module_types( &self, module_name: &str, ) -> Option<&HashMap<String, TypeDefinition>>

Get all type definitions from a module

Returns

A reference to all type definitions in the module, or None if module not found.

pub fn has_module(&self, name: &str) -> bool

Check if a module exists

pub fn get_module(&self, name: &str) -> Option<&Module>

Get a module by name

pub fn module_names(&self) -> Vec<&str>

List all registered module names

Trait Implementations

impl Clone for ModuleRegistry

fn clone(&self) -> ModuleRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleRegistry

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

Formats the value using the given formatter.

impl Default for ModuleRegistry

fn default() -> Self

Returns the “default value” for a type.