diff options
-rw-r--r-- | src/luarocks/core/types/manifest.d.tl | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/luarocks/core/types/manifest.d.tl b/src/luarocks/core/types/manifest.d.tl new file mode 100644 index 00000000..e562c7cf --- /dev/null +++ b/src/luarocks/core/types/manifest.d.tl | |||
@@ -0,0 +1,27 @@ | |||
1 | local type Query = require("luarocks.core.types.query").Query | ||
2 | |||
3 | local type Tree = require("luarocks.core.types.tree").Tree | ||
4 | |||
5 | local record manifest | ||
6 | record Manifest | ||
7 | record Entry | ||
8 | arch: string | ||
9 | commands: {string: string} | ||
10 | dependencies: {string: string} | ||
11 | modules: {string: string} | ||
12 | end | ||
13 | |||
14 | arch: string | ||
15 | commands: {string: {string}} | ||
16 | dependencies: {string: {string: {Query}}} | ||
17 | modules: {string: {string}} | ||
18 | repository: {string: {string: {Entry}}} | ||
19 | end | ||
20 | |||
21 | record Tree_manifest | ||
22 | tree: Tree | ||
23 | manifest: Manifest | ||
24 | end | ||
25 | end | ||
26 | |||
27 | return manifest \ No newline at end of file | ||