Expand description
Normalization logic for Selection.
Structs§
- Absorbtion
Rules - A normalization rule that applies absorption laws for unions and intersections.
- Flattening
Rules - A normalization rule that flattens nested unions and intersections.
- Identity
Rules - A normalization rule that applies simple algebraic identities.
Enums§
- Normalized
Selection - A normalized form of
Selection, used during canonicalization.
Traits§
- Rewrite
Rule - A trait representing a single bottom-up rewrite rule on normalized selections.
- Rewrite
Rule Ext - Extension trait for composing rewrite rules in a fluent style.