From 98f961b23f6551f1b9abd785e2aa0b21c4dc85da Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Sat, 14 Sep 2019 22:59:15 +0200
Subject: main: factor out basic fish completion commands

---
 pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall | 27 ++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall

(limited to 'pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall')

diff --git a/pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall b/pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall
new file mode 100644
index 00000000..c208f67a
--- /dev/null
+++ b/pkgs/profpatsch/dhallsh/Fish/Complete/type.dhall
@@ -0,0 +1,27 @@
+let Command = ../../Command/type.dhall
+
+let Argument = ../../Argument/type.dhall
+
+in  { cmd :
+        Text
+    , description :
+        Text
+    , condition :
+        Optional (Command Argument)
+    , short-option :
+        Optional Text
+    , long-option :
+        Optional Text
+    , long-option-old-style :
+        Optional Text
+    , argument :
+        Optional Text
+    , keep-order :
+        Bool
+    , no-files :
+        Bool
+    , require-parameter :
+        Bool
+    , wraps :
+        Optional Text
+    }
-- 
cgit 1.4.1