polydat-core 0.3.2

Polydat runtime: value model, graph compiler, execution engines, kernels
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

// Copyright 2024-2026 Jonathan Shook
// SPDX-License-Identifier: Apache-2.0

//! Iteration & coordinate algebra.
//!
//! Three concerns that together describe "how a workload cycles
//! through coordinate space":
//!
//! - [`comprehension`]: the formal §3 algebra of iteration
//!   shape (Cartesian / Zip / Union / Filter / Order). The
//!   compile-time + runtime layer that turns a structural
//!   comprehension into a stream of typed coordinate tuples.
//!   See `polydat/docs/design/comprehension_forms.md`.
//! - [`source`]: workload-facing data-source abstraction —
//!   the typed sequences that drive cycle dispense (range
//!   factories, extension policies, cursor kinds).
//! - [`cursor_partition`]: SRD 71 partition specs, their resolution
//!   into `Partition` values, and the `over`-clause narrowing helpers
//!   (`cursor_over_partitions_on`, `narrow_cursor`) every engine shares.
//! - [`simd_ordinal`]: offset-stamped SIMD batching for stable ordinal
//!   streams, with burst-resumable ordered scalar drain.

pub mod comprehension;
pub mod cursor_partition;
pub mod simd_ordinal;
pub mod source;