Teal: add type definition module luarocks.core.types.manifest

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 @@
+local type Query = require("luarocks.core.types.query").Query
+
+local type Tree = require("luarocks.core.types.tree").Tree
+
+local record manifest      
+   record Manifest
+      record Entry
+         arch: string
+         commands: {string: string}
+         dependencies: {string: string}
+         modules: {string: string}
+      end
+
+      arch: string
+      commands: {string: {string}}
+      dependencies: {string: {string: {Query}}}
+      modules: {string: {string}}
+      repository: {string: {string: {Entry}}}
+   end
+
+   record Tree_manifest
+      tree: Tree
+      manifest: Manifest
+   end
+end
+
+return manifest
\ No newline at end of file