Expand description
KernelScope trait + ScopedKernelInstance — the
second-order surface’s value type (spec §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. Spec §9.5.3 names this the “one-shot scope function.”