Teal: add type definition module luarocks.vendor.dkjson

1 files changed, 33 insertions, 0 deletions

diff --git a/src/luarocks/vendor/dkjson.d.tl b/src/luarocks/vendor/dkjson.d.tl
new file mode 100644
index 00000000..a7c76389
--- /dev/null
+++ b/src/luarocks/vendor/dkjson.d.tl
@@ -0,0 +1,33 @@
+
+--[[
+- local type json = {string:json}
+]]
+
+local record dkjson
+   record JsonState
+      indent: boolean
+      keyorder: {string}
+      level: number
+      buffer: {string}
+      bufferlen: number
+      tables: {table:boolean}
+      exception: function(string, string, string, string): boolean|string, string
+   end
+   encode: function({string:any}, ?JsonState): string
+
+   decode: function(string, ?number, ?any, ?table): {string:any}
+
+   null: table
+
+   version: string
+
+   quotestring: function(string): string
+
+   addnewline: function(JsonState)
+
+   encodeexception: function(string, any, JsonState, string): string
+
+   use_lpeg: function(): dkjson
+end
+
+return dkjson