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.”
nb-rs’s PolydatKernel implements it; 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.”