Module schema_equivalence 

Functions

data_type_satisfied_by 🔒

See schema_satisfied_by for the contract.

field_satisfied_by 🔒

See schema_satisfied_by for the contract.

fields_satisfied_by 🔒

See schema_satisfied_by for the contract.

schema_satisfied_by 🔒

Verifies whether the original planned schema can be satisfied with data adhering to the candidate schema. In practice, this is equality check on the schemas except that original schema can have nullable fields where candidate is constrained to not provide null data.