Module conformance

Module for checking that entities conform with a schema

Modules

• err
  This module cotnains errors around entities not conforming to schemas

Structs

• EntitySchemaConformanceChecker
  Struct used to check whether entities conform to a schema

Enums

• TypecheckError
  Errors returned by typecheck_value_against_schematype() and typecheck_restricted_expr_against_schematype()

Functions

• typecheck_restricted_expr_against_schematype
  Check whether the given RestrictedExpr is a valid instance of SchemaType. We do not have type information for unknowns, so this function liberally treats unknowns as implementing any schema type. If the typecheck passes, return Ok(()). If the typecheck fails, return an appropriate Err.
• typecheck_value_against_schematype
  Check whether the given PartialValue typechecks with the given SchemaType. If the typecheck passes, return Ok(()). If the typecheck fails, return an appropriate Err.