Enum CursorKind 

pub enum CursorKind {
    Range,
    ExtendingTimed {
        min_ms_output: String,
        delta_output: Option<String>,
    },
    ExtendingPasses {
        min_passes_output: String,
        delta_output: Option<String>,
    },
    ExtendingCount {
        min_count_output: String,
        delta_output: Option<String>,
    },
    ExtendingElapsedAndPasses {
        min_ms_output: String,
        min_passes_output: String,
        delta_output: Option<String>,
    },
    ExtendingElapsedOrPasses {
        min_ms_output: String,
        min_passes_output: String,
        delta_output: Option<String>,
    },
}

Cursor-construction discriminator. Set by the Polydat compiler when it recognises a cursor’s constructor expression (range(...), until_elapsed(...), etc.); read by the executor at phase setup to instantiate the matching data-source factory + policy.

Each Extending* variant carries the Polydat output names the runtime should pull at phase setup to resolve the policy’s parameters (same pattern as extent_outputs for range). delta_output is optional — when None, the cursor’s base is used as the extension delta.

Variants

Range

Bounded range(start, end) cursor. Default — keeps every existing call site working.

ExtendingTimed

until_elapsed(base, min_ms[, delta]). Extends while elapsed_ms < min_ms.

Fields

min_ms_output: String

The output holding the minimum elapsed milliseconds.

delta_output: Option<String>

The output holding the extension step, if one was given.

ExtendingPasses

until_passes(base, min_passes[, delta]). Extends while completed passes < min_passes.

Fields

min_passes_output: String

The output holding the minimum number of passes.

delta_output: Option<String>

The output holding the extension step, if one was given.

ExtendingCount

until_count(base, min_count[, delta]). Extends while raw consumed count < min_count.

Fields

min_count_output: String

The output holding the minimum consumed count.

delta_output: Option<String>

The output holding the extension step, if one was given.

ExtendingElapsedAndPasses

until_elapsed_and_passes(base, min_ms, min_passes[, delta]). AND: stops when EITHER target is reached. Extends while BOTH conditions are still below target.

Fields

min_ms_output: String

The output holding the minimum elapsed milliseconds.

min_passes_output: String

The output holding the minimum number of passes.

delta_output: Option<String>

The output holding the extension step, if one was given.

ExtendingElapsedOrPasses

until_elapsed_or_passes(base, min_ms, min_passes[, delta]). OR: stops only when BOTH targets are reached. Extends while EITHER condition is still below target.

Fields

min_ms_output: String

The output holding the minimum elapsed milliseconds.

min_passes_output: String

The output holding the minimum number of passes.

delta_output: Option<String>

The output holding the extension step, if one was given.

Trait Implementations

impl Clone for CursorKind

fn clone(&self) -> CursorKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CursorKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CursorKind

fn default() -> CursorKind

Returns the “default value” for a type.