panproto-expr-parser 0.39.0

Haskell-style surface syntax parser for panproto expressions
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
27
28

//! Haskell-style surface syntax parser for panproto expressions.
//!
//! Parses a human-readable functional language into panproto's native
//! representation types: `Expr`, `InstanceQuery`, `FieldTransform`,
//! `DirectedEquation`, and `WInstance` of `ThExpr`.
//!
//! The surface syntax supports list comprehensions, do-notation, let/where
//! bindings, case/of with guards, lambda expressions, curried application,
//! function composition, operator sections, record syntax with punning,
//! pattern matching, and `->` for graph edge traversal.

/// Token types for the surface syntax.
pub mod token;

/// Lexer with layout insertion pass.
pub mod lexer;

/// Chumsky parser producing `Expr` from the token stream.
pub mod parser;

/// Pretty printer converting `Expr` back to surface syntax.
pub mod pretty;

// Re-exports for convenience.
pub use lexer::{LexError, tokenize};
pub use parser::parse;
pub use pretty::pretty_print;
pub use token::{Span, Spanned, Token};