Struct ScopeModule 

pub struct ScopeModule<M> { /* private fields */ }

Closed, immutable module-matter artifact.

Produced by super::SubcontextBuilder::finalize; consumed by super::ScopeKernel::spawn. The artifact carries no live reference to its parent — it can be stored, inspected, or moved freely.

Implementations

impl<M> ScopeModule<M>

pub fn program_on( &self, engine: Engine, ) -> Result<Arc<dyn KernelProgram>, KernelError>

This module’s program on engine, compiled on the first ask for that engine and shared by every instance after it.

This is the kernel image. A module instantiated many times — once per coordinate, per fiber, per scenario visit — compiles once per engine here and pays only a state per instance, which is what Self::instantiate_under does with it.

pub fn instantiate_under( &self, parent: &dyn Kernel, engine: Engine, iter_bindings: &[(String, Value)], ) -> Result<Box<dyn Kernel>, KernelError>

One instance of this module under parent: a kernel on engine over the program Self::program_on holds, with the parent’s cells attached, its values copied in, and iter_bindings written before either.

The image is shared; the instance is a state. Calling this a second time with different coordinates or different input values compiles nothing.

engine is the caller’s to name, and the parent’s own is the answer a caller usually wants: a child belongs to the kernel it was bound under, the way a for body belongs to the kernel that opened it.

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

The imports the module declares.

pub fn exports(&self) -> &[ExportSpec]

The exports the module declares.

pub fn program(&self) -> &Arc<PolydatProgram>

The body’s compiled program.

pub fn contract(&self) -> &ScopeContract<M>

The contract the module was built against.

pub fn context(&self) -> &SourceContext

Where the module comes from.

pub fn consumers(&self) -> &[RegisteredPullConsumer]

The pull consumers registered on the module’s outputs.

pub fn diagnostics(&self) -> &[String]

Diagnostics the build recorded.

pub fn write_throughs(&self) -> &[WriteThroughBinding]

Rule 2 write-through bindings produced by the builder for child exports that collide with a parent shared export.

Trait Implementations

impl<M> Debug for ScopeModule<M>

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

Formats the value using the given formatter.