Module typecheck 

Check that the visible type of each query has not been changed

Structs

TypeErrorHumanizer

Wrapper struct for a Display instance for TypeErrors with a given ExprHumanizer

Typecheck

Check that the visible type of each query has not been changed

Enums

DatumTypeDifference

Characterizes how a Datum differs from a ReprColumnType

ReprColumnTypeDifference

Characterizes differences between individual column types

ReprRelationTypeDifference

Characterizes differences between relation types

TypeError

The possible forms of inconsistency/errors discovered during typechecking.

Functions

column_subtype_difference

Returns a list of differences that make sub not a subtype of sup

column_union

Unions other into typ, returning a list of differences on failure

columns_pretty

Prints a type prettily with a given ExprHumanizer

empty_typechecking_context

Generates an empty context

is_subtype_of

Returns true when it is safe to treat a sub row as an sup row

relation_subtype_difference

Returns a list of differences that make sub not a subtype of sup

scalar_subtype_difference

Returns a list of differences that make sub not a subtype of sup

scalar_union

Unions other into typ, returning a list of differences on failure

Type Aliases

SharedTypecheckingContext

Typechecking contexts as shared by various typechecking passes.