Module mz_compute_types::plan::interpret::api

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

• ContextEntry
  An entry in an Interpreter context.
• Fold
  A wrapper for a recursive fold invocation over a Plan that cannot mutate its input.
• FoldMut
  A wrapper for a recursive fold invocation over a Plan that can mutate its input.
• InterpreterContext
  An Interpreter context.

Constants

• MAX_LET_REC_ITERATIONS 🔒
  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

• BoundedLattice
  A lattice with existing top and bottom elements.
• Interpreter
  An abstract interpreter for Plan expressions.

Type Aliases

• Context
  TODO(#25239): Add documentation.