Teal: convert luarocks.cmd.show

1 files changed, 62 insertions, 34 deletions

diff --git a/src/luarocks/cmd/show.lua b/src/luarocks/cmd/show.tl
index 88cbbada..67443a1c 100644
--- a/src/luarocks/cmd/show.lua
+++ b/src/luarocks/cmd/show.tl
@@ -1,6 +1,12 @@
 --- Module implementing the LuaRocks "show" command.
 -- Shows information about an installed rock.
-local show = {}
+local record show
+   record Return
+      name: string
+      file: string
+      label: string
+   end
+end
 
 local queries = require("luarocks.queries")
 local search = require("luarocks.search")
@@ -13,7 +19,24 @@ local fetch = require("luarocks.fetch")
 local manif = require("luarocks.manif")
 local repos = require("luarocks.repos")
 
-function show.add_to_parser(parser)
+local type Return = show.Return
+local type RenderData = {string: string | {string}}
+
+local argparse = require("luarocks.vendor.argparse")
+local type Parser = argparse.Parser
+
+local type Args = require("luarocks.core.types.args").Args
+
+local type Tree = require("luarocks.core.types.tree").Tree
+
+local type Query = require("luarocks.core.types.query").Query
+
+local type Rockspec = require("luarocks.core.types.rockspec").Rockspec
+local type Dependencies = require("luarocks.core.types.rockspec").Dependencies
+
+local type Entry = require("luarocks.core.types.manifest").Manifest.Entry
+
+function show.add_to_parser(parser: Parser)
    local cmd = parser:command("show", [[
 Show information about an installed rock.
 
@@ -94,14 +117,14 @@ local porcelain_template = [[
 *ideps    :indirect_dependency\t${name}\t${label}
 ]]
 
-local function keys_as_string(t, sep)
+local function keys_as_string(t: {string: any}, sep: string): string
    local keys = util.keys(t)
    table.sort(keys)
    return table.concat(keys, sep or " ")
 end
 
-local function word_wrap(line)
-   local width = tonumber(os.getenv("COLUMNS")) or 80
+local function word_wrap(line: string): string
+   local width = math.tointeger(os.getenv("COLUMNS")) or 80 --! tonumber to tointeger
    if width > 80 then width = 80 end
    if #line > width then
       local brk = width
@@ -115,7 +138,7 @@ local function word_wrap(line)
    return line
 end
 
-local function format_text(text)
+local function format_text(text: string): string
    text = text:gsub("^%s*",""):gsub("%s$", ""):gsub("\n[ \t]+","\n"):gsub("([^\n])\n([^\n])","%1 %2")
    local paragraphs = util.split_string(text, "\n\n")
    for n, line in ipairs(paragraphs) do
@@ -124,18 +147,20 @@ local function format_text(text)
    return (table.concat(paragraphs, "\n\n"):gsub("%s$", ""))
 end
 
-local function installed_rock_label(dep, tree)
-   local installed, version
+local function installed_rock_label(dep: Query, tree: string | Tree): string
+   local installed, version: boolean, string
    local rocks_provided = util.get_rocks_provided()
    if rocks_provided[dep.name] then
       installed, version = true, rocks_provided[dep.name]
    else
-      installed, version = search.pick_installed_rock(dep, tree)
+      local name:  string
+      name, version = search.pick_installed_rock(dep, tree)
+      installed = name ~= nil
    end
    return installed and "using "..version or "missing"
 end
 
-local function render(template, data)
+local function render(template: string, data: RenderData): string
    local out = {}
    for cmd, var, line in template:gmatch("(.)([a-z]*)%s*:([^\n]*)\n") do
       line = line:gsub("\\t", "\t")
@@ -144,15 +169,18 @@ local function render(template, data)
          table.insert(out, line)
       elseif cmd == "?" or cmd == "*" or cmd == "!" then
          if (cmd == "!" and d == nil)
-             or (cmd ~= "!" and (type(d) == "string"
-                                 or (type(d) == "table" and next(d)))) then
-            local n = cmd == "*" and #d or 1
+             or (cmd ~= "!" and (d is string
+                                 or (d is {string} and next(d) ~= nil))) then
+            local n = d is {string} and #d or 1
+            if cmd ~= "*" then
+               n = 1
+            end
             for i = 1, n do
-               local tbl = cmd == "*" and d[i] or data
-               if type(tbl) == "string" then
+               local tbl: string | {any: any} = cmd == "*" and d is {string} and d[i] or data
+               if tbl is string   then
                   tbl = tbl:gsub("%%", "%%%%")
                end
-               table.insert(out, (line:gsub("${([a-z]+)}", tbl)))
+               table.insert(out, (line:gsub("${([a-z]+)}", tbl as string))) -- code works under the assumption that template is well behaved
             end
          end
       end
@@ -160,7 +188,7 @@ local function render(template, data)
    return table.concat(out, "\n")
 end
 
-local function adjust_path(name, version, basedir, pathname, suffix)
+local function adjust_path(name: string, version: string, basedir: string, pathname: string, suffix?: string): string
    pathname = dir.path(basedir, pathname)
    local vpathname = path.versioned_name(pathname, basedir, name, version)
    return (fs.exists(vpathname)
@@ -168,25 +196,25 @@ local function adjust_path(name, version, basedir, pathname, suffix)
           or pathname) .. (suffix or "")
 end
 
-local function modules_to_list(name, version, repo)
-   local ret = {}
+local function modules_to_list(name: string, version: string, repo: string | Tree): {Return}
+   local ret: {Return} = {}
    local rock_manifest = manif.load_rock_manifest(name, version, repo)
 
    local lua_dir = path.deploy_lua_dir(repo)
    local lib_dir = path.deploy_lib_dir(repo)
-   repos.recurse_rock_manifest_entry(rock_manifest.lua, function(pathname)
+   repos.recurse_rock_manifest_entry(rock_manifest.lua, function(pathname: string): boolean, string
       table.insert(ret, {
          name = path.path_to_module(pathname),
          file = adjust_path(name, version, lua_dir, pathname),
       })
    end)
-   repos.recurse_rock_manifest_entry(rock_manifest.lib, function(pathname)
+   repos.recurse_rock_manifest_entry(rock_manifest.lib, function(pathname: string): boolean, string
       table.insert(ret, {
          name = path.path_to_module(pathname),
          file = adjust_path(name, version, lib_dir, pathname),
       })
    end)
-   table.sort(ret, function(a, b)
+   table.sort(ret, function(a: Return, b: Return): boolean
       if a.name == b.name then
          return a.file < b.file
       end
@@ -195,18 +223,18 @@ local function modules_to_list(name, version, repo)
    return ret
 end
 
-local function commands_to_list(name, version, repo)
-   local ret = {}
+local function commands_to_list(name: string, version: string, repo: string | Tree): {Return}
+   local ret: {Return} = {}
    local rock_manifest = manif.load_rock_manifest(name, version, repo)
 
    local bin_dir = path.deploy_bin_dir(repo)
-   repos.recurse_rock_manifest_entry(rock_manifest.bin, function(pathname)
+   repos.recurse_rock_manifest_entry(rock_manifest.bin, function(pathname: string): boolean, string
       table.insert(ret, {
          name = name,
          file = adjust_path(name, version, bin_dir, pathname, cfg.wrapper_suffix),
       })
    end)
-   table.sort(ret, function(a, b)
+   table.sort(ret, function(a: Return, b: Return): boolean
       if a.name == b.name then
          return a.file < b.file
       end
@@ -215,16 +243,16 @@ local function commands_to_list(name, version, repo)
    return ret
 end
 
-local function deps_to_list(dependencies, tree)
-   local ret = {}
-   for _, dep in ipairs(dependencies or {}) do
+local function deps_to_list(dependencies: Dependencies, tree: string | Tree): {Return}
+   local ret: {Return} = {}
+   for _, dep in ipairs(dependencies.queries or {}) do
       table.insert(ret, { name = tostring(dep), label = installed_rock_label(dep, tree) })
    end
    return ret
 end
 
-local function indirect_deps(mdeps, rdeps, tree)
-   local ret = {}
+local function indirect_deps(mdeps: {string: string}, rdeps: Dependencies, tree: string | Tree): {Return}
+   local ret: {Return} = {}
    local direct_deps = {}
    for _, dep in ipairs(rdeps) do
       direct_deps[dep] = true
@@ -237,7 +265,7 @@ local function indirect_deps(mdeps, rdeps, tree)
    return ret
 end
 
-local function show_rock(template, namespace, name, version, rockspec, repo, minfo, tree)
+local function show_rock(template: string, namespace: string, name: string, version: string, rockspec: Rockspec, repo: string | Tree, minfo: Entry, tree: string | Tree)
    local desc = rockspec.description or {}
    local data = {
       namespace = namespace,
@@ -257,12 +285,12 @@ local function show_rock(template, namespace, name, version, rockspec, repo, min
       deps = deps_to_list(rockspec.dependencies, tree),
       ideps = indirect_deps(minfo.dependencies, rockspec.dependencies, tree),
    }
-   util.printout(render(template, data))
+   util.printout(render(template, data as RenderData))
 end
 
 --- Driver function for "show" command.
 -- @return boolean: True if succeeded, nil on errors.
-function show.command(args)
+function show.command(args: Args): boolean, string
    local query = queries.new(args.rock, args.namespace, args.version, true)
 
    local name, version, repo, repo_url = search.pick_installed_rock(query, args.tree)