From 60430ee6dfffbeb220a3e8fee7336d54313467bc Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Feb 2019 20:30:13 -0400
Subject: Folded license-making program (legislator) into the Lux project
 proper (as licentia).

---
 .../source/program/licentia/license/black-list.lux | 31 ++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 stdlib/source/program/licentia/license/black-list.lux

(limited to 'stdlib/source/program/licentia/license/black-list.lux')

diff --git a/stdlib/source/program/licentia/license/black-list.lux b/stdlib/source/program/licentia/license/black-list.lux
new file mode 100644
index 000000000..7f30acadf
--- /dev/null
+++ b/stdlib/source/program/licentia/license/black-list.lux
@@ -0,0 +1,31 @@
+(.module:
+  [lux #*
+   [data
+    ["." maybe ("maybe/." functor)]
+    ["." text
+     format]
+    [collection
+     ["." list ("list/." functor)]]]]
+  ["." // (#+ Entity Black-List)
+   ["_" term]
+   [//
+    ["$" document]]])
+
+(def: #export entity
+  (-> Entity Text)
+  %t)
+
+(def: #export (black-list black-list)
+  (-> Black-List Text)
+  (let [scope (format "The rights granted under " _.license)
+        effect "shall not be granted to the following entities, or any subsidiary thereof"
+        justification (|> black-list
+                          (get@ #//.justification)
+                          (maybe/map (|>> (format ", due to ")))
+                          (maybe.default ""))
+        entities (|> black-list
+                     (get@ #//.entities)
+                     (list/map ..entity)
+                     (text.join-with text.new-line))]
+    (format scope " " effect justification ":" text.new-line
+            entities)))
-- 
cgit v1.2.3