Module mz_compute_client::plan::interpret::api
source · Expand description
Utilities for abstract interpretation of crate::plan::Plan structures.
Those can be used to define analysis passes over crate::plan::Plans in a consistent and unified manner. The primary abstraction here is the Interpreter trait.
Structs
- An entry in an Interpreter context.
- A wrapper for a recursive fold invocation over a Plan that cannot mutate its input.
- A wrapper for a recursive fold invocation over a Plan that can mutate its input.
- An Interpreter context.
Constants
- The maximum of iterations of running lattice-based dataflow inference for the LetRec nodes before falling back to a conservative estimate of all bottom() elements for all recursive bindings.
Traits
- A lattice with existing
top
andbottom
elements. - An abstract interpreter for Plan expressions.