Expand description
The Abstract Syntax Tree defines an interface between the parser and type checker
Re-exports§
pub use types::DefaultTypes;
Modules§
- display 🔒
- fold
- A folder (implementer of the
Foldtrait) maps ASTs to ASTs - macro_
matcher - Implements pattern matching
- types
- The default (as-parsed) implementation of the AST’s customization points.
- visit
- AST visitor
Structs§
- At
- A value with an annotation.
- Bind
- A pattern binding
- Make
- A make (constructor) expression
- MakeArm
- A single “arm” of a make expression
- Match
- A match expression has a scrutinee and zero or more arms
- Match
Arm - A single arm of a
matchexpression
Enums§
- BindOp
- The binding operation used by a Bind.
- Expr
- Expressions: The beating heart of Conlang.
- Op
- Conlang’s AST is partitioned by data representation, so it considers any expression which is composed solely of keywords, symbols, and other expressions as operator expressions.
- Pat
- Binding patterns for each kind of matchable value.
- PatOp
- Operators on lists of patterns
- Use
- A compound import declaration
Traits§
- Annotation
- An annotation: bounds on AST parameters
- AstTypes