| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.TypeChecker
Description
The top-level type checker, which checks all declarations in a module.
Synopsis
- module Language.PureScript.TypeChecker.Types
- module Language.PureScript.TypeChecker.Synonyms
- module Language.PureScript.TypeChecker.Monad
- module Language.PureScript.TypeChecker.Kinds
- module Data.Text
- typeCheckModule :: forall m. (MonadSupply m, MonadState CheckState m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Module -> m Module
- checkNewtype :: forall m. MonadError MultipleErrors m => ProperName TypeName -> [(ProperName ConstructorName, [(Ident, SourceType)])] -> m ()
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.
checkNewtype :: forall m. MonadError MultipleErrors m => ProperName TypeName -> [(ProperName ConstructorName, [(Ident, SourceType)])] -> m () Source #