polydat-grammar 0.3.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

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

//! 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.

pub mod ast;
pub mod ast_legacy;
pub mod cardinality;
pub mod metadata;
pub mod parse;
pub mod source;
pub mod spec;
pub mod strategy;

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};