Modules§
- prelude
- The tailored set of APIs for normal usage.
Macros§
- by_
matches - A convenient utility to filter on an iterator of
Reducers. - ruleset
- A macro for defining a ruleset.
Structs§
- Chart
- A well-formed substring table.
- Conclusion
- A consequent symbol yielded from a reduction.
- Consequence
- A zero-antecedent suffix of a syntactic rule.
- Consequent
- A single consequent symbol of a syntactic rule.
- Input
- An input symbol.
- Parser
- A featureful wrapper around a
Chart. - Reduction
- A triple of a
Reducible, aReducer, and aReductum. - Rule
- A syntactic rule.
- Ruleset
- A sequence of syntactic rules.
- Subrule
- A non-zero-antecedent suffix of a syntactic rule.
- Tree
- A parsed syntax tree.
Enums§
- Item
- Either a
Reduceror aReduction. - Match
- A trial of a reduction.
- Reducer
- Either an
Inputor aConclusion. - Reducible
- Either a
Ruleor aReductionwith the reductum being aSubrule. - Reductum
- Either a
Subruleor aConsequence.
Traits§
- AnyError
- Types that represent errors that can happen during reduction.
- Iterator
Reducer Ext - A sealed trait to add convenient methods to iterators of reducers.
- Matcher
- Types that can be implementations of
Subrules. - Syntactic
Category - Types that formulate syntactic categories of a grammar.