Enum Source 

pub enum Source {
    Literal {
        values: Vec<LiteralValue>,
    },
    IntRange {
        lo: i64,
        hi: i64,
        step: i64,
    },
    Generator {
        expr: String,
        cardinality_hint: Option<u64>,
    },
    WorkloadParamList {
        name: String,
        len_hint: Option<u64>,
    },
    ContinuousInterval {
        interval: Interval,
        measure: ProductMeasure,
    },
    Distribution {
        distribution: MeasureName,
        support: Interval,
        params: Vec<f64>,
    },
}

A clause’s source of values.

Discrete variants produce a stream of Value via the runtime evaluator; continuous variants describe a measure that a downstream sampling strategy will draw from.

Variants

Literal

Literal comma list (e.g., [1, 2, 4, 8]). Stream producer over the list contents.

Fields

values: Vec<LiteralValue>

The values, in order.

IntRange

Integer half-open range lo..hi with optional step. Default step is 1.

Fields

lo: i64

The first value.

hi: i64

One past the last.

step: i64

The step between values, 1 by default.

Generator

Generator function call expressed as a Polydat source string. Resolved at clause construction; cardinality may be Unbounded if the generator is open-ended.

Fields

expr: String

The generator call, as Polydat source.

cardinality_hint: Option<u64>

How many values it yields, when known.

WorkloadParamList

Reference to a workload-level parameter that resolves to a list of values. Cardinality is the parameter’s declared list length.

Fields

name: String

The parameter’s name.

len_hint: Option<u64>

The list’s length, when known.

ContinuousInterval

Real interval (continuous source). Combined with a measure to form a Continuous cardinality. Integrability is checked at parse via V8.

Fields

interval: Interval

The interval.

measure: ProductMeasure

The measure drawn from.

Distribution

Named continuous distribution. The distribution carries its own support; the support field records the effective interval for V8’s check.

Fields

distribution: MeasureName

The distribution.

support: Interval

Its effective support.

params: Vec<f64>

Its parameters, in the distribution’s order.

Implementations

impl Source

pub fn cardinality(&self) -> CardinalityClass

Declare this source’s cardinality class for use by clause metadata propagation.

pub fn is_continuous(&self) -> bool

true if this source is continuous (Continuous / Distribution variants). Used by V7 (zip must be all discrete) and V9 (union must be all discrete) without a full cardinality computation.

pub fn is_discrete(&self) -> bool

true if this source is discrete (every variant except the continuous ones).

Trait Implementations

impl Clone for Source

fn clone(&self) -> Source

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Source

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Source

fn deserialize<__D>( __deserializer: __D, ) -> Result<Source, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Source

fn eq(&self, other: &Source) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Source

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl SourceEval for Source

fn eval_class(&self) -> EvalClass

Classify this source for the IR planner per spec §10.7.0. See EvalClass.

fn evaluate( &self, ctx: Option<&EvalContext<'_>>, ) -> Result<EvaluatedSource, EvalError>

Materialize this source.

impl StructuralPartialEq for Source