rewrite_with_guarantees_map

Function rewrite_with_guarantees_map 

Source
pub fn rewrite_with_guarantees_map<'a>(
    expr: Expr,
    guarantees: &'a HashMap<&'a Expr, &'a NullableInterval>,
) -> Result<Transformed<Expr>>
Expand description

Rewrite expressions to incorporate guarantees.

Guarantees are a mapping from an expression (which currently is always a column reference) to a NullableInterval. The interval represents the known possible values of the column.

For example, if we know that a column is not null and has values in the range [1, 10), we can rewrite x IS NULL to false or x < 10 to true.