diff options
| author | V1K1NGbg <victor@ilchev.com> | 2024-08-22 17:49:09 -0300 |
|---|---|---|
| committer | Hisham Muhammad <hisham@gobolinux.org> | 2024-10-21 13:30:51 -0300 |
| commit | cee67c5e85c7b9fa64c579cbb564c6c39c8c25d0 (patch) | |
| tree | e80edef91369546d36efde8b53408716347c16f5 /src | |
| parent | 0f232e2fc8eaf39fada8c22cd09dad95a12f2c96 (diff) | |
| download | luarocks-cee67c5e85c7b9fa64c579cbb564c6c39c8c25d0.tar.gz luarocks-cee67c5e85c7b9fa64c579cbb564c6c39c8c25d0.tar.bz2 luarocks-cee67c5e85c7b9fa64c579cbb564c6c39c8c25d0.zip | |
Teal: add type definition module luarocks.core.types.dir
Diffstat (limited to 'src')
| -rw-r--r-- | src/luarocks/core/types/dir.d.tl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/luarocks/core/types/dir.d.tl b/src/luarocks/core/types/dir.d.tl new file mode 100644 index 00000000..61791317 --- /dev/null +++ b/src/luarocks/core/types/dir.d.tl | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | local record dir | ||
| 2 | record Dirs | ||
| 3 | BINDIR: Dir | ||
| 4 | INCDIR: Dir | ||
| 5 | LIBDIR: Dir | ||
| 6 | end | ||
| 7 | record Dir | ||
| 8 | subdir: string | {string} | ||
| 9 | testfile: string | ||
| 10 | pattern: {string} | ||
| 11 | dir: string | ||
| 12 | file: string | ||
| 13 | end | ||
| 14 | end | ||
| 15 | |||
| 16 | return dir \ No newline at end of file | ||