Skip to main content

KernelScope

polydat_core::iteration::comprehension::surfaces::instance

Trait KernelScope 

Source 
pub trait KernelScope {
    type Scoped;

    // Required method
    fn scope(&self, coords: &Tuple) -> Self::Scoped;
}
Expand description

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.”

For polydat kernels this is PolydatKernel::for_iteration(&canonical, &parent, &bindings). For tests it can be any type that derives a scoped value from a tuple.

Required Associated Types§

Source

type Scoped

The scoped value produced by scope.

Required Methods§

Source

fn scope(&self, coords: &Tuple) -> Self::Scoped

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

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§