polydat-grammar 0.6.1

The Polydat language: lexer, parser, AST, and pretty-printer, without the runtime
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

//! The comprehension sub-language: the canonical algebra ([`ast`])
//! with its sources, strategies, cardinalities, and metadata, and the
//! forms that reach it ([`spec`]) from text, from a specification
//! document, and from a source expression. The text parser and the
//! flat form it produces on the way are internal to this crate
//! (comprehension_forms.md ยง14.8). Evaluation is the runtime's.

pub mod ast;
pub mod cardinality;
pub(crate) mod clause_ast;
pub mod metadata;
pub(crate) mod parse;
pub mod predicate;
pub mod source;
pub mod spec;
pub mod strategy;
pub mod to_text;

pub use ast::Comprehension;
pub use cardinality::{CardinalityClass, Hybrid, Interval, MeasureName, ProductMeasure};
pub use metadata::{IndexFn, Materialization, Metadata, NaturalOrder};
pub use source::Source;
pub use strategy::{StrategyName, ZipMode};