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/limitation.lux | 75 ++++++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 stdlib/source/program/licentia/license/limitation.lux

(limited to 'stdlib/source/program/licentia/license/limitation.lux')

diff --git a/stdlib/source/program/licentia/license/limitation.lux b/stdlib/source/program/licentia/license/limitation.lux
new file mode 100644
index 000000000..602a4f163
--- /dev/null
+++ b/stdlib/source/program/licentia/license/limitation.lux
@@ -0,0 +1,75 @@
+(.module:
+  [lux #*
+   [data
+    ["." text
+     format]]]
+  [//
+   ["_" term]
+   [//
+    ["$" document]]])
+
+(def: #export acceptance
+  (let [abilities (: (List Text)
+                     (list "use"
+                           "copy"
+                           "distribute"
+                           "modify"
+                           (format "create an " _.extension
+                                   " of either " _.work
+                                   " or any " _.extension
+                                   " created by a " _.contributor)))
+        acknowledgement (format _.recipient
+                                " is not required to accept " _.license
+                                " since " _.recipient
+                                " has not signed it")
+        limitation (format "However, nothing else grants " _.recipient
+                           " permission to " ($.or abilities))
+        warning (format "These actions are prohibited by law if " _.recipient
+                        " does not accept " _.license)
+        implicit-acceptance (let [activation-condition "by performing any of these actions"
+                                  acceptance (format _.recipient
+                                                     " indicates that " _.recipient
+                                                     " accepts " _.license)
+                                  agreement (format _.recipient " agrees to be bound by all its terms and conditions")]
+                              (format "Therefore, " activation-condition ", " ($.and (list acceptance agreement))))
+        prohibition-due-to-non-agreement (format "If " _.recipient
+                                                 " does not agree with all the terms and conditions of " _.license
+                                                 ", " _.recipient " can not " ($.or abilities))
+        prohibition-due-to-impossibility (format "If it is impossible for " _.recipient
+                                                 " to comply with all the terms and conditions of " _.license
+                                                 ", then " _.recipient
+                                                 " can not " ($.or abilities))]
+    ($.paragraph (list acknowledgement
+                       limitation
+                       warning
+                       implicit-acceptance
+                       prohibition-due-to-non-agreement
+                       prohibition-due-to-impossibility))))
+
+(def: #export grant
+  ($.paragraph (list (format "The licenses granted in this document are the only rights granted under " _.license)
+                     (format "No additional rights or licenses will be implied from the distribution or licensing of " _.work
+                             " under " _.license)
+                     (format "No patent license is granted by a " _.contributor
+                             " for any code that the " _.contributor
+                             " has removed from " _.work))))
+
+(def: identifiers
+  (List Text)
+  (list "trade names"
+        "trademarks"
+        "service marks"
+        "product names"
+        "logos"))
+
+(def: #export trademark
+  ($.paragraph (list (format _.license " does not grant any permission to use the " ($.or ..identifiers)
+                             " of any " _.contributor
+                             "; except as required for reasonable and customary use in describing the origin of "
+                             _.work))))
+
+(def: #export secondary-licenses
+  ($.paragraph (list (format "No " _.contributor
+                             " makes additional grants as a result of a choice by " _.recipient
+                             " to distribute " _.work
+                             " under a under the terms of a " _.secondary-license))))
-- 
cgit v1.2.3