Struct ModuleData 

pub struct ModuleData { /* private fields */ }

A loaded module containing an immutable, name-sorted table of unevaluated item bodies. Built by crate::compile_module and stored in an Rc. Sibling references are compiled to Expr::ModItem and resolved via the home module in the environment (crate::eval_env::EnvNode::Module), ensuring the value heap remains acyclic. See docs/done/2026-08-07_elly-modules-v0.md.

Sibling references use a direct slice index; outside M.name accesses use binary search.

Implementations

impl ModuleData

pub fn item_names(&self) -> impl Iterator<Item = &Text>

Sorted list of public item names accessible via outside M.name access.

pub fn local_names(&self) -> Vec<&Text>

Sorted list of names declared with local. Locals are unreachable via M.name from outside; this method is provided for host introspection (e.g., debuggers).

pub fn iota_names(&self) -> &[Text]

Sorted list of names declared with const. Private iotas are unreachable via M.name from outside.

pub fn frame_names(&self) -> &[Text]

Names of frame slots in order. Defines the requirements for instantiate. Empty if no frame exists.

pub fn imports(&self) -> &[ImportSpec]

Import specifications in slot order. Provides a static, auditable record of reachable modules without requiring execution.

pub fn body(&self) -> Option<&Expr>

Returns the module’s body (a recur group’s body or a source’s __main). Evaluated by runners in the instance environment (see crate::eval_main); remains inert during imports.

pub fn name(&self) -> Option<&ModuleName>

The canonical name assigned by the host. Used by __Mod.name and the const stage for instance deduplication. None if unnamed.

Trait Implementations

impl Debug for ModuleData

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

Formats the value using the given formatter.

impl Eq for ModuleData

impl PartialEq for ModuleData

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