polydat_core/iteration/mod.rs
1// Copyright 2024-2026 Jonathan Shook
2// SPDX-License-Identifier: Apache-2.0
3
4//! Iteration & coordinate algebra.
5//!
6//! Three concerns that together describe "how a workload cycles
7//! through coordinate space":
8//!
9//! - [`comprehension`]: the formal §3 algebra of iteration
10//! shape (Cartesian / Zip / Union / Filter / Order). The
11//! compile-time + runtime layer that turns a structural
12//! comprehension into a stream of typed coordinate tuples.
13//! See `polydat/docs/design/comprehension_forms.md`.
14//! - [`source`]: workload-facing data-source abstraction —
15//! the typed sequences that drive cycle dispense (range
16//! factories, extension policies, cursor kinds).
17//! - [`cursor_partition`]: SRD 71 partition specs, their resolution
18//! into `Partition` values, and the `over`-clause narrowing helpers
19//! (`cursor_over_partitions_on`, `narrow_cursor`) every engine shares.
20//! - [`simd_ordinal`]: offset-stamped SIMD batching for stable ordinal
21//! streams, with burst-resumable ordered scalar drain.
22
23pub mod comprehension;
24pub mod cursor_partition;
25pub mod simd_ordinal;
26pub mod source;