mini-ml-0.1.0.0: MiniML compiler

Safe Haskell	Safe-Inferred
Language	Haskell2010

TypeChecker.TypeChecker

Contents

Program Type Checker
Internal
- Utils

Synopsis

checkProgram :: Program -> Either TypeError ()
inferProgram :: Program -> Either TypeError Polytype

Program Type Checker

checkProgram :: Program -> Either TypeError () Source #

inferProgram :: Program -> Either TypeError Polytype Source #

Internal

Utils