| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeChecker
Description
The top-level type checker, which checks all declarations in a module.
- typeCheckModule :: Maybe ModuleName -> Module -> Check Module
Documentation
typeCheckModule :: Maybe ModuleName -> Module -> Check Module Source
Type check an entire module and ensure all types and classes defined within the module that are required by exported members are also exported.