Expand description
KernelScope trait + ScopedKernelInstance — the
second-order surface’s value type (comprehension_forms.md §9.5).
KernelScope is the algebra-layer abstraction over
“a thing that can be scoped to a coordinate tuple.”
polydat-core’s PolydatKernelScope (surfaces/polydat_kernel.rs)
implements it over a PolydatKernel pair; tests can implement
it with a lightweight mock so the surfaces can be exercised
without pulling in the full Polydat runtime.
Structs§
- Scoped
Kernel Instance - The result of scoping a parent kernel against a coord
tuple. Wraps the scoped value (
Scoped) and the originating coord tuple for traceability.
Traits§
- Kernel
Scope - A parent value that can be scoped to a coordinate tuple,
producing an instance of
Self::Scoped: the binding comprehension_forms.md §9.5.3’s one-shot map function applies.