flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Types2.Types

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

loadTypes :: FilePath -> IdxMonad IO ([(String, Idx)], [(Idx, TyScheme)])

loadTypes path. Reads the type def file at path, and returns a map |from var names to idxs, and a map from idxs to type schemes.

loadDepTypes :: FilePath -> IdxMonad IO ([(String, Idx)], [(Idx, TySchemeEx)])

loadDepTypes path. Reads the type def file at path, and returns a map |from var names to idxs, and a map from idxs to dependent type schemes.