Language.PureScript.TypeChecker

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

Documentation

typeCheckAll :: Maybe ModuleName -> ModuleName -> Maybe [DeclarationRef] -> [Declaration] -> Check [Declaration]

Type check all declarations in a module

At this point, many declarations will have been desugared, but it is still necessary to

• Kind-check all types and add them to the Environment
• Type-check all values and add them to the Environment
• Bring type class instances into scope
• Process module imports