diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | meta/whimsical/basic.lua | 38 | ||||
| -rw-r--r-- | meta/whimsical/builtin.lua | 116 |
3 files changed, 155 insertions, 0 deletions
@@ -4,4 +4,5 @@ /meta/* !/meta/template !/meta/3rd +!/meta/whimsical /bin* diff --git a/meta/whimsical/basic.lua b/meta/whimsical/basic.lua new file mode 100644 index 00000000..8f25d19f --- /dev/null +++ b/meta/whimsical/basic.lua @@ -0,0 +1,38 @@ +---@meta _ + +---#DES 'arg' +---@type string[] +arg = {} + +---#DES 'assert' +---@generic T +---@param v? T +---@param message? any +---@param ... any +---@return T +---@return any ... => args[reti + 1] +---@error => args[1].istruly +---@narrow v => args[1].truly +function assert(v, message, ...) end + +--[[@@@ +---@overload fun(opt: 'collect') # ---#DESTAIL 'cgopt.collect' +---@overload fun(opt: 'stop') # ---#DESTAIL 'cgopt.stop' +---@overload fun(opt: 'restart') # ---#DESTAIL 'cgopt.restart' +---@overload fun(opt: 'count'): integer # ---#DESTAIL 'cgopt.count' +---@overload fun(opt: 'step'): boolean # ---#DESTAIL 'cgopt.step' +---@overload fun(opt: 'isrunning'): boolean # ---#DESTAIL 'cgopt.isrunning' +---#if VERSION >= 5.4 then +---@overload fun(opt: 'incremental' + , pause?: integer + , stepmul?: integer + , stepsize?: integer) # ---#DESTAIL 'cgopt.incremental' +---@overload fun(opt: 'generational' + , minor?: integer + , major?: integer) # ---#DESTAIL 'cgopt.generational' +---#end +---@overload fun(opt: 'setpause', arg: integer) # ---#DESTAIL 'cgopt.setpause' +---@overload fun(opt: 'setstepmul', arg: integer) # ---#DESTAIL 'cgopt.setstepmul' +---@prototype +]] +function collectgarbage(...) end diff --git a/meta/whimsical/builtin.lua b/meta/whimsical/builtin.lua new file mode 100644 index 00000000..6521bb4b --- /dev/null +++ b/meta/whimsical/builtin.lua @@ -0,0 +1,116 @@ +---@meta _ + +--[[@@@ +---@inner class -> { + self.istruly = true + self.truly = self + self.falsy = Class 'never' + self.view = self.name +} +---@inner integer -> { + self.istruly = true + self.truly = self + self.falsy = Class 'never' + self.view = tostring(self.value) +} +---@inner string -> { + self.istruly = true + self.truly = self + self.falsy = Class 'never' + self.view = cat.util.viewString(self.value, self.quotation) +} +---@inner union -> { + self.istruly = function (subs) + local istruly = subs[1].istruly + if istruly == nil then + return nil + end + if istruly == true then + for i = 2, #subs do + if subs[i].istruly ~= true then + return nil + end + end + return true + else + for i = 2, #subs do + if subs[i].istruly ~= false then + return nil + end + end + return false + end + return nil + end + self.truly = function (subs) + local union = Union() + for i = 1, #subs do + union:add(subs[i].truly) + end + if union:len() == 0 then + return Class 'never' + end + if union:len() == 1 then + return union:first() + end + return union + end + self.falsy = function (subs) + local union = Union() + for i = 1, #subs do + union:add(subs[i].falsy) + end + if union:len() == 0 then + return Class 'never' + end + if union:len() == 1 then + return union:first() + end + return union + end + self.view = function (subs) + local views = {} + for i = 1, #subs do + views[i] = subs[i].view + end + if #views == 0 then + return 'never' + end + return table.concat(views, '|') + end +} +---@class nil -> { + self.istruly = false + self.truly = Class 'never' + self.falsy = self +} +---@class never -> { + self.istruly = nil +} +---@class true -> { + self.istruly = true + self.truly = self + self.falsy = Class 'never' +} +---@class false -> { + self.istruly = false + self.truly = Class 'never' + self.falsy = self +} +---@class any: { [unknown]: any } -> { + self.istruly = nil + self.truly = Class 'truly' + self.falsy = Class 'false' | Class 'nil' +} +---@class truly: { [unknown]: any } +---@class unknown: truly | false +---@class boolean: true | false +---@class number +---@class thread +---@class table: { [unknown]: any } +---@class table<K, V>: { [K]: V } +---@class string: stringlib +---@class userdata: { [unknown]: any } +---@class lightuserdata +---@class function: fun(...): ... +]] |