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

-- definitions for Lua 5.1 table library

--# -- TODO lacks genericity (yet)
--# assume global `table`:
--#     {
--#         `concat`: function(table: vector<const string|number>, sep: string?,
--#                            i: integer?, j: integer?) --> string;
--#         -- TODO ah fuck, needs overloading with
--#         --      function(table: vector<WHATEVER>, pos: integer, value: any)
--#         `insert`: function(table: vector<WHATEVER>, value: any);
--#         `maxn`: function(table: vector<const any>) --> integer;
--#         `remove`: function(table: vector<WHATEVER>, pos: integer?) --> any;
--#         `sort`: function(table: vector<WHATEVER>,
--#                          comp: (function(WHATEVER, WHATEVER) --> boolean)?);
--#         ...
--#     }