Language.PureScript.TypeChecker

The top-level type checker, which checks all declarations in a module.

Documentation

typeCheckModule :: Maybe ModuleName -> Module -> Check Module

Type check an entire module and ensure all types and classes defined within the module that are required by exported members are also exported.