From 4518fe3ce66364a0dc86d989ab749bce6aa876c0 Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Mon, 9 Sep 2019 01:42:29 +0200
Subject: First working fish subcommand completion.

---
 pkgs/profpatsch/dhallsh/Command/toList.dhall | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 pkgs/profpatsch/dhallsh/Command/toList.dhall

(limited to 'pkgs/profpatsch/dhallsh/Command')

diff --git a/pkgs/profpatsch/dhallsh/Command/toList.dhall b/pkgs/profpatsch/dhallsh/Command/toList.dhall
new file mode 100644
index 00000000..23605a3f
--- /dev/null
+++ b/pkgs/profpatsch/dhallsh/Command/toList.dhall
@@ -0,0 +1,12 @@
+let Prelude = ../imports/Prelude.dhall
+
+let Command = ./type.dhall
+
+let toList
+	: ∀(a : Type) → (a → List Text) → Command a → List Text
+	=   λ(a : Type)
+	  → λ(f : a → List Text)
+	  → λ(c : Command a)
+	  → [ c.cmd ] # Prelude.List.concatMap a Text f c.args
+
+in  toList
-- 
cgit 1.4.1