Module comprehension 

The comprehension sub-language: its text form (parse), the flat form that text parses to (ast_legacy), the canonical algebra (ast) with its sources, strategies, cardinalities, and metadata, and the spec forms that convert between them (spec). Evaluation is the runtime’s.

Re-exports

pub use ast::Comprehension;

pub use cardinality::CardinalityClass;

pub use cardinality::Hybrid;

pub use cardinality::Interval;

pub use cardinality::MeasureName;

pub use cardinality::ProductMeasure;

pub use metadata::IndexFn;

pub use metadata::Materialization;

pub use metadata::Metadata;

pub use metadata::NaturalOrder;

pub use source::Source;

pub use strategy::StrategyName;

pub use strategy::ZipMode;

Modules

ast

Operator-tree comprehension AST — spec §3.

ast_legacy

Comprehension AST — the static shape of an iteration scope.

cardinality

Cardinality classes — spec §6.1.

metadata

Metadata algebra — spec §10.7.

parse

Comprehension spec parser — text → AST.

source

Clause source values — spec §3.1.

spec

Comprehension specification surface — author-friendly input form for YAML / JSON consumers.

strategy

Strategy taxonomy and zip modes — spec §3.6 + §3.3.