Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.PureScript.TypeChecker.Types
Description
This module implements the type checker
- typesOf :: Maybe ModuleName -> ModuleName -> [(Ident, Expr)] -> Check [(Ident, (Expr, Type))]
purescript-0.6.4.1: PureScript Programming Language Compiler
Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.PureScript.TypeChecker.Types
Description
This module implements the type checker