Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframParser
Guide
Symbols
The wrapper
- the single head every parser normalises to
ParserCombinatorQ
Run a parser
- run a parser, requiring it to consume the whole input; adds packrat memoisation (linear time on grammars that backtrack)
"Memoize"->True
ParsePartial
{result,leftover}
Terminals
- match an exact string
- match one character against a class
ParseRegex
ParseSucceed
ParseFail
Composition
- match parsers in order
- PEG-ordered alternation (first match wins)
ParseChoiceLongest
ParseSepBy
ParseSepBy1
Repetition
- zero or more
- one or more
- zero or one
Operator precedence
ParseChainLeft
ParseChainRight
- a full precedence table by Pratt / TDOP binding-power climbing; linear where an ordered-choice cascade over a shared operand backtracks exponentially. See
Lookahead, backtracking, recursion
ParseLookahead
ParseNotFollowedBy
ParseTry
ParseRecursive
Action and declarative grammars
- run a parser and transform its result
Parse[GrammarRules[{...}],input]
EBNFParse
EBNFRules
Domain parsers
LaTeXMathParse
LaTeXMathParser
LaTeXMathStyle
\mathbb
\frac
\sum_{}^{}
InlineFormula
MarkdownInlineParse
MarkdownParse
TPTPImport
TPTPExport
Tutorials
""