| Stability | experimental |
|---|---|
| Maintainer | developer@flocc.net |
| Safe Haskell | None |
Compiler.Types2.Types
Description
For more information please see http://www.flocc.net/
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.