diff options
author | Profpatsch <mail@profpatsch.de> | 2019-09-15 00:43:48 +0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2020-02-24 00:57:55 +0100 |
commit | 0170d75092b4750ad03d9c606918cf659703e8d5 (patch) | |
tree | 69834e0d4b3cf1a96f60b17a8338139d817596bd /pkgs/profpatsch/dhallsh/Completion/Command | |
parent | efd9e66ba8a61e92d92f355d3620b7923c1ccd78 (diff) |
completion: move to Completion module & factor out types
Diffstat (limited to 'pkgs/profpatsch/dhallsh/Completion/Command')
-rw-r--r-- | pkgs/profpatsch/dhallsh/Completion/Command/type.dhall | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/profpatsch/dhallsh/Completion/Command/type.dhall b/pkgs/profpatsch/dhallsh/Completion/Command/type.dhall new file mode 100644 index 00000000..a0fd4e98 --- /dev/null +++ b/pkgs/profpatsch/dhallsh/Completion/Command/type.dhall @@ -0,0 +1,10 @@ + λ(a : Type) +→ { name : + Text + , description : + Text + , options : + List ../Option/type.dhall + , subcommands : + List a + } |