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 Aliases

• Error
  Error returned when unsuccessfully typechecking an expression
• HelpError
• SpannedTypeError