Expand description
Caternary: a concatenative language that enables pattern-based optimization.
Structs§
- Evaluator
- A stack-based evaluator for caternary programs.
- Optimizer
- An optimizer that applies a set of rules repeatedly.
- Rule
- A rewrite rule: pattern => replacement.
- Span
- A span in source text, measured in byte offsets.
- Spanned
Token - A token paired with the source span that produced it.
Enums§
- Parse
Error - An error that can occur during parsing.
- Rule
Error - An error from rule parsing.
- Spanned
Token Kind - Variant payload for
SpannedToken. - Token
- A token in the caternary language.
Constants§
- CODE_
OPERATOR_ ERROR - Error code for operator failures.
Traits§
- Quotable
- A trait for stack element types that can contain quotations.
Functions§
- parse
- Parses a caternary program from source text.
- parse_
with_ spans - Parses a caternary program and returns tokens with source spans.
- register_
all_ builtins - Register all builtins and combinators on an evaluator.
- register_
combinators - Register quotation combinators on an evaluator.
- register_
conditionals - Register conditional combinators on an evaluator.
- register_
sequence_ combinators - Register sequence combinators on an evaluator.
- register_
stack_ builtins - Register standard stack combinators/manipulators on an evaluator.