Module gluon_check::typecheck

The main typechecking interface which is responsible for typechecking expressions, patterns, etc. Only checks which need to be aware of expressions are handled here the actual unifying and checking of types are done in the unify_type and kindcheck modules.

Structs

Typecheck

Struct which provides methods to typecheck expressions.

Enums

TypeError

Type representing a single error when checking a type

Functions

extract_generics
unroll_typ	Removes layers of Type::App and Type::Record by packing them into a single Type::App or Type::Record

Type Definitions

Error	Error returned when unsuccessfully typechecking an expression
SpannedTypeError