purescript-0.13.2: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.TypeChecker

Description

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

Synopsis

Documentation

module Data.Text

typeCheckModule :: forall m. (MonadSupply m, MonadState CheckState m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Module -> m 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.