Struct CompiledComprehension 

pub struct CompiledComprehension { /* private fields */ }

A comprehension that has been compiled to immutable IR and is ready to dispense. The single source of truth for the underlying program across the consumption surfaces.

Construction is via from_ast (compiles once) or from_program (when the IR was compiled elsewhere). Cloning a CompiledComprehension is cheap — just an Arc::clone on the program.

Implementations

impl CompiledComprehension

pub fn from_ast(ast: &Comprehension) -> Result<Self, ValidationError>

Compile an AST: validation (§5, V1–V9) first, then the §10 optimizer, then the AST → IR pass, once. Validation and optimization are stages of this compile (comprehension_forms.md §5, §9.4, §10.6): a tree that violates a V-axiom is refused here, and the §9.3 resource bounds hold for the program this returns.

pub fn from_ast_with( ast: &Comprehension, mode: Mode, ) -> Result<(Self, ValidationReport), ValidationError>

from_ast under a validation mode (comprehension_forms.md §5.8), with the validator’s report: in Permissive mode a degenerate composition is a warning in the report and the comprehension compiles; in Strict mode it is the error. Context-free sources are flattened first (§10.7.0): a generator that references no name is evaluated here, in the empty scope, and validated as the literal of its values.

The comprehension is compiled with no enclosing scope, so a name it reads and does not bind is resolved nowhere (V3): in Permissive mode it is a ValidationWarning::UnresolvedNames in the report and reads None, and in Strict mode it is ValidationError::V3UnresolvedNames. from_ast_in compiles one bound in a scope.

pub fn from_ast_in( ast: &Comprehension, mode: Mode, in_scope: &dyn Fn(&str) -> bool, ) -> Result<(Self, ValidationReport), ValidationError>

from_ast_with for a comprehension bound in an enclosing scope, which has the names in_scope answers true for, as a producer wire’s comprehension is (comprehension_forms.md §5 V3, §9.5.2).

These surfaces supply no name. A name the enclosing scope does not have either is resolved nowhere (V3): outside Strict mode it is a ValidationWarning::UnresolvedNames in the report and reads None, so a source reading one yields nothing and a predicate that reads one for a tuple keeps it not; in Strict mode it is ValidationError::V3UnresolvedNames. A name only that scope has is one a for traversal captures when it opens and a stream cannot see: a source reading one is ValidationError::ContextRequired, as is a source reading an earlier axis, which only a traversal evaluates, and a predicate reading one is ValidationError::PredicateContextRequired.

pub fn from_program(program: Arc<Program>) -> Self

Wrap an already-compiled program (tests use this for hand-built IR).

pub fn program(&self) -> &Program

Access the underlying compiled program (immutable per comprehension_forms.md §9.1).

pub fn coordinate_stream(&self) -> CoordinateStream

First-order surface (comprehension_forms.md §9.5).

Return a fresh CoordinateStream. Each call allocates new per-streamer state; siblings share the underlying IR but dispense independently per §9.5.2’s independence contract.

pub fn scoped_kernel_stream<K: KernelScope>( &self, parent: K, ) -> ScopedKernelStream<K>

Second-order surface (comprehension_forms.md §9.5).

Return a fresh ScopedKernelStream wrapping the supplied parent kernel. Each advance() pulls one coord tuple from the underlying IR and applies parent.scope(&coords) to produce a ScopedKernelInstance.

Independence: pulling from this stream does NOT advance any CoordinateStream obtained from the same CompiledComprehension.

pub fn scope_once<K: KernelScope>( &self, parent: &K, coords: &Tuple, ) -> ScopedKernelInstance<K::Scoped>

One-shot surface (comprehension_forms.md §9.5.3).

Apply parent.scope(coords) directly, without constructing any streamer. Pure function — no cursor consulted, no dispense state advanced. Used for replay, debugging, and point queries where a specific coord tuple is already known.

Trait Implementations

impl Clone for CompiledComprehension

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledComprehension

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

Formats the value using the given formatter.