Skip to main content

Module core

Module core 

Source
Expand description

The parser entry point and its output type.

parse runs the pipeline: lex → [grammar::parse] (the recursive descent, which emits events + errors) → [build_tree] (the green tree). Syntax errors ride a side channel and never abort the parse.

Structs§

Parse
A green tree and the syntax errors gathered while parsing it.
SyntaxError
A syntax error, carried on a side channel keyed by byte range.

Functions§

parse
Parse LaTeX source into a lossless CST.
parse_with_declarations
Parse LaTeX source under an explicit LexConfig and a project’s declarations — the one input to the tree that is not the text (AGENTS.md decision #12).
parse_with_declarations_resolved
parse_with_declarations, additionally handing back the ParseCtx the returned tree was parsed under.
parse_with_flavor
Parse LaTeX source into a lossless CST under an explicit LexConfig.
reconstruct
Parse input and render the CST back to source. By the losslessness invariant this always equals input.