Struct PolydatKernelScope 

pub struct PolydatKernelScope { /* private fields */ }

Wrapper around a (canonical, parent) PolydatKernel pair that implements KernelScope.

• canonical is the comprehension’s prototype kernel — built once at scope-synthesis time, materialized fresh per iteration via for_iteration.
• parent is the enclosing scope’s kernel — provides the outer scope chain that materialize_subscope wires into every iteration’s child.

scope(coords) converts the algebra-layer Tuple to a polydat [(String, Value)] bindings slice and calls PolydatKernel::for_iteration(&canonical, &parent, &bindings).

Implementations

impl PolydatKernelScope

pub fn new(canonical: Arc<PolydatKernel>, parent: Arc<PolydatKernel>) -> Self

Construct the scope wrapper from the comprehension’s canonical kernel and the enclosing parent kernel.

pub fn canonical(&self) -> &Arc<PolydatKernel>

Access the canonical kernel — useful when the consumer needs to share metadata (input manifest, scope coordinates) without invoking scope.

pub fn parent(&self) -> &Arc<PolydatKernel>

Access the parent kernel.

Trait Implementations

impl Clone for PolydatKernelScope

fn clone(&self) -> PolydatKernelScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PolydatKernelScope

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

Formats the value using the given formatter.

impl KernelScope for PolydatKernelScope

type Scoped = Arc<PolydatKernel>

Each scope produces a fresh Arc<PolydatKernel> — the per-iteration child kernel. Consumers can clone the Arc cheaply if they need multiple references.

fn scope(&self, coords: &Tuple) -> Arc<PolydatKernel>

Apply coords to this parent and produce a scoped instance. Pure function — same (parent, coords) always produces equivalent output.