Module mz_transform::analysis
source · Expand description
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§
- Types common across multiple analyses
- An analysis that reports all known-equivalent expressions for each relation.
- Expression subtree sizes
Structs§
- Analysis that determines the number of columns of relation expressions.
- Analysis that determines if all accumulations at all times are non-negative.
- Analysis that determines the type of relation expressions.
- Analysis that determines the unique keys of relation expressions.
Traits§
- An analysis that can be applied bottom-up to a
MirRelationExpr
. - Lattice methods for repeated analysis