Module cranelift_isle::ast [−][src]
Expand description
Abstract syntax tree (AST) created from parsed ISLE.
Structs
A declaration of a term with its argument and return types.
The parsed form of an ISLE file.
An extractor macro: (A x y) becomes (B x _ y …). Expanded during ast-to-sema pass.
One field of an enum variant.
An identifier – a variable, term symbol, or type.
One variable locally bound in a (let ...) expression.
A declaration of a type.
One variant of an enum type.
Enums
Whether an argument is an input or an output.
One toplevel form in an ISLE file.
An expression: the right-hand side of a rule.
An external binding: an extractor or constructor function attached to a term.
A pattern: the left-hand side of a rule.
A pattern in a term argument. Adds “evaluated expression” to kinds
of patterns in addition to all options in Pattern.
The actual type-value: a primitive or an enum with variants.