Expand description
Lexer and parser for the Praxis language.
- [
lex] turns source text into a lossless token stream (including trivia) plusT0xxdiagnostics. - [
parse] runs the lexer and then a recursive-descent + Pratt parser (ADR-004) over the grammar, producing a rowan-backed lossless tree (ADR-003) plusP0xxdiagnostics. The tree retains trivia, so the LSP and its code actions can rewrite a span without disturbing the comments and whitespace around it.
Re-exports§
pub use lex::LexOutput;pub use lex::lex;pub use parse::ParseOutput;pub use parse::TYPE_CONSTRUCTOR_NAMES;pub use parse::parse;