Module trie_again

A strongly-normalizing intermediate representation for ISLE rules. This representation is chosen to closely reflect the operations we can implement in Rust, to make code generation easy.

Structs

BindingId

A hash-consed identifier for a binding, stored in a RuleSet.

Rule

A term-rewriting rule. All BindingIds are only meaningful in the context of the RuleSet that contains this rule.

RuleSet

A collection of Rules, along with hash-consed Bindings for all of them.

TupleIndex

A field index in a tuple or an enum variant.

Enums

Binding

Bindings are anything which can be bound to a variable name in Rust. This includes expressions, such as constants or function calls; but it also includes names bound in pattern matches.

Constraint

Pattern matches which can fail. Some binding sites are the result of successfully matching a constraint. A rule applies constraints to binding sites to determine whether the rule matches.

Overlap

Records whether a given pair of rules can both match on some input.

Functions

build

Construct a RuleSet for each term in termenv that has rules.