diff options
author | Profpatsch <mail@profpatsch.de> | 2019-09-15 00:43:48 +0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2019-09-15 00:43:48 +0200 |
commit | c6ffd4102d5f250225551a18dda7bb13b5eab354 (patch) | |
tree | 0d83ad0d04c760db2ee779294665196a09707f1d /pkgs/profpatsch/dhallsh/Completion/Command/type.dhall | |
parent | 7d84c35f506ebd0e76486ac5205e48c4c1757289 (diff) |
completion: move to Completion module & factor out types
Diffstat (limited to 'pkgs/profpatsch/dhallsh/Completion/Command/type.dhall')
-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 + } |