[−][src]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 |