Module polydat_kernel 

Bridge between the algebra-layer KernelScope surface and polydat’s PolydatKernel scope-binding primitives.

Implements KernelScope for a PolydatKernelScope wrapper that holds a (canonical, parent) PolydatKernel pair. Each scope(coords) call delegates to PolydatKernel::for_iteration — the established polydat primitive for “materialize a fresh per-iteration child of parent based on canonical with these bindings.”

This bridge lets ScopedKernelStream<PolydatKernelScope> drive per-iteration kernels from the compiled IR.

Structs

PolydatKernelScope

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

Functions

polydat_value_to_tuple_value

Reverse conversion — polydat Value to algebra-layer TupleValue. Only the subset of Value variants that have a corresponding TupleValue are converted; richer Value variants (Bytes, Json, Ext, Handle, Vec*, etc.) return None so the caller can handle the unsupported case explicitly.

tuple_value_to_polydat_value

Convert an algebra-layer TupleValue to a polydat Value.