From e711ceac63b2f7384151ba2753fe085f738e8b39 Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Sun, 8 Sep 2019 14:00:56 +0200
Subject: Init: basic command line abstraction for fish’s complete
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/profpatsch/dhallsh/main.dhall | 101 +++++++++++++++++++++++++++++++++++++
 1 file changed, 101 insertions(+)
 create mode 100644 pkgs/profpatsch/dhallsh/main.dhall

(limited to 'pkgs/profpatsch/dhallsh/main.dhall')

diff --git a/pkgs/profpatsch/dhallsh/main.dhall b/pkgs/profpatsch/dhallsh/main.dhall
new file mode 100644
index 00000000..aea25bb1
--- /dev/null
+++ b/pkgs/profpatsch/dhallsh/main.dhall
@@ -0,0 +1,101 @@
+let Prelude =
+	  https://prelude.dhall-lang.org/package.dhall sha256:2acd9f8eae045eae46d8288d76b01678c4ac4883a58eadb6be0da00b3ba590cf
+
+let List/filterOptional = ./List/filterOptional.dhall
+
+let Command = ./Command/type.dhall
+
+let Option = ./Option/type.dhall
+
+let Argument = ./Argument/type.dhall
+
+let Complete =
+	  { cmd :
+		  Text
+	  , description :
+		  Text
+	  , condition :
+		  Optional Text
+	  , short-option :
+		  Optional Text
+	  , long-option :
+		  Optional Text
+	  , long-option-old-style :
+		  Optional Text
+	  , arguments :
+		  Optional Text
+	  , keep-order :
+		  Bool
+	  , no-files :
+		  Bool
+	  , require-parameter :
+		  Bool
+	  , wraps :
+		  Optional Text
+	  }
+
+let complete =
+		λ(a : { cmd : Text, description : Text })
+	  → { cmd =
+			a.cmd
+		, description =
+			a.description
+		, condition =
+			None Text
+		, short-option =
+			None Text
+		, long-option =
+			None Text
+		, long-option-old-style =
+			None Text
+		, arguments =
+			None Text
+		, keep-order =
+			False
+		, no-files =
+			False
+		, require-parameter =
+			False
+		, wraps =
+			None Text
+		}
+
+let completeToCommand
+	: Complete → Command Argument
+	= let l = λ(o : Text) → Option.Long o
+
+	  in    λ(c : Complete)
+		  → let long =
+					λ(name : Text)
+				  → λ(content : Text)
+				  → Argument.Option { opt = Option.Long name, arg = content }
+
+			let args =
+					[ Some (long "description" c.description)
+					, Prelude.Optional.map
+					  Text
+					  Argument
+					  (long "condition")
+					  c.condition
+					]
+				  : List (Optional Argument)
+
+			let id = λ(a : Optional Argument) → a
+
+			in  { cmd =
+					c.cmd
+				, args =
+					  List/filterOptional (Optional Argument) Argument id args
+					: List Argument
+				}
+
+in  let foo =
+		  completeToCommand (complete { cmd = "complete", description = "foo" })
+
+	in  [   [ foo.cmd ]
+		  # Prelude.List.concatMap
+			Argument
+			Text
+			(./Argument/toArgList.dhall ./OptionPrinter/newStyle.dhall)
+			foo.args
+		]
-- 
cgit 1.4.1