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 | ||
