Module mz_transform::analysis

Traits and types for reusable expression analysis

Re-exports

• pub use common::Derived;
• pub use common::DerivedBuilder;
• pub use common::DerivedView;
• pub use subtree::SubtreeSize;

Modules

• common
  Types common across multiple analyses
• equivalences
  An analysis that reports all known-equivalent expressions for each relation.
• subtree
  Expression subtree sizes

Structs

• Arity
  Analysis that determines the number of columns of relation expressions.
• NonNegative
  Analysis that determines if all accumulations at all times are non-negative.
• RelationType
  Analysis that determines the type of relation expressions.
• UniqueKeys
  Analysis that determines the unique keys of relation expressions.

Traits

• Analysis
  An analysis that can be applied bottom-up to a MirRelationExpr.
• Lattice
  Lattice methods for repeated analysis