Enum CardinalityClass 

pub enum CardinalityClass {
    Bounded(u64),
    BoundedAtMost(u64),
    Unbounded,
    Continuous {
        intervals: Vec<Interval>,
        measure: ProductMeasure,
    },
    ContinuousAtMost {
        intervals: Vec<Interval>,
        measure_at_most: ProductMeasure,
    },
    Hybrid(Hybrid),
}

Cardinality of a comprehension’s dispense stream.

Six variants per spec §6.1:

• Discrete classes enumerate distinct tuples; the count may be known exactly (Bounded), bounded above (BoundedAtMost), or unknown (Unbounded).
• Continuous classes describe a measure-theoretic value space; they cannot enumerate and must be sampled via an enclosing order(_, strategy, Some(n)) per V8.
• Hybrid is a cartesian whose children mix discrete and continuous axes.

Variants

Bounded(u64)

Discrete, exactly n tuples.

BoundedAtMost(u64)

Discrete, between 0 and n tuples (post-filter).

Unbounded

Discrete, no known upper bound (generator, live stream).

Continuous

Continuous source — bounded or unbounded real intervals with an integrable product measure. Sampled rather than enumerated; V8 requires an enclosing order(_, strategy, Some(n)) before reaching a PolyStreamer.

Fields

intervals: Vec<Interval>

The interval of each axis.

measure: ProductMeasure

The measure sampled.

ContinuousAtMost

Filtered continuous source. Measure reduced by the predicate; still requires sampling.

Fields

intervals: Vec<Interval>

The interval of each axis.

measure_at_most: ProductMeasure

The measure before the predicate reduces it.

Hybrid(Hybrid)

Mixed discrete × continuous cartesian. The discrete part is enumerable; the continuous part needs sampling. V8 applies to the continuous component.

Trait Implementations

impl Clone for CardinalityClass

fn clone(&self) -> CardinalityClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CardinalityClass

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CardinalityClass

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CardinalityClass

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CardinalityClass

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 CardinalityClass