kailua_check 1.1.0

Type checker for Kailua
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

-- definitions for Lua 5.1 package library

--# assume global `module`:
--#     [become_module] function(name: string, function(table)...)
--#
--# assume global `require`:
--#     [require] function(modname: string) --> any
--#
--# assume global `package`:
--#     {
--#         `cpath`: [package_cpath] string;
--#         `loaded`: map<string, table>;
--#         `loaders`: vector<function(string) --> (function|string)?>;
--#         `loadlib`: [geval] function(libname: string, funcname: string);
--#         `path`: [package_path] string;
--#         `preload`: vector<function(string) --> (function|string)?>;
--#         -- TODO error type not yet supported (should it be a slot?)
--#         --`seeall`: error "package.seeall is discouraged, use _G instead";
--#         ...
--#     }