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. Its eval class follows its free names (spec §10.7.0): an expression that references no name is context-free and is evaluated at compile, so a clause over it becomes a literal of its values; one that references a name (an outer coordinate, a parameter, a wire) is evaluated at traversal.

Fields

expr: String

The generator call, as Polydat source.

cardinality_hint: Option<u64>

How many values it yields, when known: the count the compile established by evaluating a context-free call whose values are not literal-representable (a partition list, for one). None for a call evaluated at traversal, whose cardinality is Unbounded until then.

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 order of MeasureName::parameter_names; empty for the standard parameters (MeasureName::default_params).

Implementations

impl Source

pub fn referenced_names(&self) -> BTreeSet<String>

The names this source references (spec §10.7.0): a generator expression’s parsed free identifiers (concat(foo)) and its {name} interpolation placeholders, and a workload parameter list’s own name. Literals, ranges, and intervals reference nothing. A source with no references is context-free.

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

impl Source

pub fn to_text(&self) -> Option<String>

The source’s canonical text, what a clause writes after in, or None when the text cannot write it.

Trait Implementations

impl Clone for Source

fn clone(&self) -> Self

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

Formats the value using the given formatter.

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

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Source

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Source

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Source