Module mz_sql::query_model::validator::quantifier

Defines QuantifierConstraint and QuantifierConstraintValidator.

Modules

constants 🔒

QuantifierConstraint constants used by the QuantifierConstraintValidator.

Structs

QuantifierConstraint

A model for constraints imposed on the input or ranging quantifiers of a query box.

QuantifierConstraintValidator 🔒

A Validator that checks the following quantifier constraints:

Functions

check_constraints 🔒

Check a const-sized array of constraints against a sequence of quantifiers, and call on_failure for constraints that are not satisfied by the sequence.