diff options
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 + } |