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

ImplicitError
Typecheck	Struct which provides methods to typecheck expressions.

Enums

Help
ImplicitErrorKind
TypeError	Type representing a single error when checking a type

Functions

extract_generics
translate_projected_type

Type Definitions

Error	Error returned when unsuccessfully typechecking an expression
HelpError
SpannedTypeError