purescript-0.5.2.4: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeChecker.Types

Description

This module implements the type checker

Synopsis

Documentation

typesOf :: Maybe ModuleName -> ModuleName -> [(Ident, Value)] -> Check [(Ident, (Value, Type))] Source

Infer the types of multiple mutually-recursive values, and return elaborated values including type class dictionaries and type annotations.