Struct PolydatMatterBuilder 

pub struct PolydatMatterBuilder<'a> { /* private fields */ }

Builder for PolydatMatter. Configure exactly one input form (source, pre-parsed statements, or program), plus optional metadata, then call Self::build.

Implementations

impl<'a> PolydatMatterBuilder<'a>

pub fn label(self, label: impl Into<String>) -> Self

Diagnostic label for this matter. Surfaces in compile errors and the __transient parent name during the SubcontextBuilder dance.

pub fn source(self, body: impl Into<String>) -> Self

Provide Polydat source as a string. Mutually exclusive with Self::statements and Self::program.

pub fn statements(self, stmts: Vec<Statement>) -> Self

Provide Polydat source as pre-parsed AST statements. Mutually exclusive with Self::source and Self::program. Use when the caller has already run the module parser (e.g. when synthesising scope source from a structured model and wanting to skip a string round-trip).

pub fn program(self, program: Arc<PolydatProgram>) -> Self

Provide a pre-compiled program. Mutually exclusive with Self::source and Self::statements. Used for per- fiber state forks, comprehension iteration, and other call sites that hold a compiled program directly.

pub fn iter_bindings(self, bindings: &'a [(String, Value)]) -> Self

Iter-var bindings applied before the parent binds the child. Only meaningful for the program form.

pub fn result_bindings(self, src: impl Into<String>) -> Self

SRD-66 result-binding source. Folded through super::SubcontextBuilder::add_result_bindings at finalize. Only meaningful for source / statements forms.

pub fn inherited_outputs(self, names: Vec<String>) -> Self

Names to pass through mark_inherited_outputs so the scope tree can distinguish own exports from cascade- inherited names. Source / statements forms only.

pub fn options(self, options: CompileOptions) -> Self

Compile-time knobs (lib paths, strict mode, required outputs, cursor limit). Source / statements forms only.

pub fn build(self) -> Result<PolydatMatter<'a>, String>

Validate and produce typed matter. Errors when zero or more than one input form is configured.

Trait Implementations

impl<'a> Default for PolydatMatterBuilder<'a>

fn default() -> PolydatMatterBuilder<'a>

Returns the “default value” for a type.