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) -> Self

Compile an AST. Performs the AST → IR pass once.

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

Wrap an already-compiled program (the optimizer is the canonical caller; tests use this for hand-built IR).

pub fn program(&self) -> &Program

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

pub fn coordinate_stream(&self) -> CoordinateStream

First-order surface (spec §9.5).

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

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

Second-order surface (spec §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 (spec §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) -> CompiledComprehension

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.