hindley-milner-type-check-0.1.1.0: Type inference for Hindley-Milner based languages
Safe HaskellNone
LanguageHaskell2010

Type.Check.HM

Description

This module exports all useful functions of the library

Synopsis

Language definition

module Type.Check.HM.Lang

Types

module Type.Check.HM.Type

Terms

module Type.Check.HM.Term

Typed terms

module Type.Check.HM.TyTerm

Inference

module Type.Check.HM.Infer

Errors

module Type.Check.HM.TypeError