From cfa0a075b89a0df4618e7009f05c157393cbba72 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 1 Dec 2020 09:27:58 -0400
Subject: Added specialized root/2 and root/3 functions in lux/math.

---
 stdlib/source/program/licentia/document.lux             |  4 ++--
 stdlib/source/program/licentia/license/black-list.lux   |  8 ++++----
 stdlib/source/program/licentia/license/commercial.lux   |  4 +---
 stdlib/source/program/licentia/license/distribution.lux |  4 ++--
 stdlib/source/program/licentia/license/extension.lux    |  4 +---
 stdlib/source/program/licentia/license/notice.lux       |  4 ++--
 stdlib/source/program/licentia/output.lux               | 14 +++++++-------
 7 files changed, 19 insertions(+), 23 deletions(-)

(limited to 'stdlib/source/program/licentia')

diff --git a/stdlib/source/program/licentia/document.lux b/stdlib/source/program/licentia/document.lux
index b3787f2f2..b1bc20cce 100644
--- a/stdlib/source/program/licentia/document.lux
+++ b/stdlib/source/program/licentia/document.lux
@@ -4,7 +4,7 @@
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#;." functor)]]]])
+     ["." list ("#\." functor)]]]])
 
 (def: #export (quote text)
   (-> Text Text)
@@ -24,7 +24,7 @@
 
 (def: #export paragraph
   (-> (List Text) Text)
-  (|>> (list;map ..sentence)
+  (|>> (list\map ..sentence)
        (text.join-with text.new-line)))
 
 (template [<name> <word>]
diff --git a/stdlib/source/program/licentia/license/black-list.lux b/stdlib/source/program/licentia/license/black-list.lux
index a71ceda9c..14dcdfe91 100644
--- a/stdlib/source/program/licentia/license/black-list.lux
+++ b/stdlib/source/program/licentia/license/black-list.lux
@@ -1,11 +1,11 @@
 (.module:
   [lux #*
    [data
-    ["." maybe ("#;." functor)]
+    ["." maybe ("#\." functor)]
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#;." functor)]]]]
+     ["." list ("#\." functor)]]]]
   ["." // (#+ Entity Black-List)
    ["_" term]
    [//
@@ -21,11 +21,11 @@
         effect "shall not be granted to the following entities, or any subsidiary thereof"
         justification (|> black-list
                           (get@ #//.justification)
-                          (maybe;map (|>> (format ", due to ")))
+                          (maybe\map (|>> (format ", due to ")))
                           (maybe.default ""))
         entities (|> black-list
                      (get@ #//.entities)
-                     (list;map ..entity)
+                     (list\map ..entity)
                      (text.join-with text.new-line))]
     (format scope " " effect justification ":" text.new-line
             entities)))
diff --git a/stdlib/source/program/licentia/license/commercial.lux b/stdlib/source/program/licentia/license/commercial.lux
index f05bcf470..05b8c3966 100644
--- a/stdlib/source/program/licentia/license/commercial.lux
+++ b/stdlib/source/program/licentia/license/commercial.lux
@@ -2,9 +2,7 @@
   [lux #*
    [data
     ["." text
-     ["%" format (#+ format)]]
-    [collection
-     ["." list ("#;." monoid)]]]]
+     ["%" format (#+ format)]]]]
   ["." // (#+ Commercial)
    ["_" term]
    [//
diff --git a/stdlib/source/program/licentia/license/distribution.lux b/stdlib/source/program/licentia/license/distribution.lux
index 58eaab22d..f911623a0 100644
--- a/stdlib/source/program/licentia/license/distribution.lux
+++ b/stdlib/source/program/licentia/license/distribution.lux
@@ -4,7 +4,7 @@
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#;." monoid)]]]]
+     ["." list ("#\." monoid)]]]]
   ["." // (#+ Distribution)
    ["_" term]
    [//
@@ -103,7 +103,7 @@
 
 (def: #export (extension distribution)
   (-> Distribution Text)
-  ($.paragraph ($_ list;compose
+  ($.paragraph ($_ list\compose
                    (if (get@ #//.can-re-license? distribution)
                      (list allow-re-licensing)
                      (list))
diff --git a/stdlib/source/program/licentia/license/extension.lux b/stdlib/source/program/licentia/license/extension.lux
index 68b5f6669..f808a8913 100644
--- a/stdlib/source/program/licentia/license/extension.lux
+++ b/stdlib/source/program/licentia/license/extension.lux
@@ -2,9 +2,7 @@
   [lux #*
    [data
     ["." text
-     ["%" format (#+ format)]]
-    [collection
-     ["." list ("#;." monoid)]]]]
+     ["%" format (#+ format)]]]]
   ["." // (#+ Extension)
    ["_" term]
    ["." grant]
diff --git a/stdlib/source/program/licentia/license/notice.lux b/stdlib/source/program/licentia/license/notice.lux
index d4df7d166..219af97f4 100644
--- a/stdlib/source/program/licentia/license/notice.lux
+++ b/stdlib/source/program/licentia/license/notice.lux
@@ -6,7 +6,7 @@
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#;." functor)]]]]
+     ["." list ("#\." functor)]]]]
   ["." // #_
    ["#." time]
    ["#." copyright]
@@ -28,5 +28,5 @@
 
 (def: #export copyright
   (-> (List //copyright.Holder) Text)
-  (|>> (list;map ..copyright-holder)
+  (|>> (list\map ..copyright-holder)
        (text.join-with text.new-line)))
diff --git a/stdlib/source/program/licentia/output.lux b/stdlib/source/program/licentia/output.lux
index 05d68ff76..5d3899170 100644
--- a/stdlib/source/program/licentia/output.lux
+++ b/stdlib/source/program/licentia/output.lux
@@ -1,11 +1,11 @@
 (.module:
   [lux (#- Definition)
    [data
-    ["." maybe ("#;." functor)]
+    ["." maybe ("#\." functor)]
     ["." text
      ["%" format (#+ format)]]
     [collection
-     ["." list ("#;." functor monoid)]]]]
+     ["." list ("#\." functor monoid)]]]]
   [//
    ["." license (#+ Identification
                     Termination
@@ -175,7 +175,7 @@
                          "")]
 
                       [(get@ #license.same-license? value) "License Retention"
-                       ($.paragraph (list;compose extension.sharing-requirement
+                       ($.paragraph (list\compose extension.sharing-requirement
                                                   extension.license-conflict-resolution))]
                       
                       [(get@ #license.must-be-distinguishable? value) (format _.extension " Distinctness")
@@ -251,7 +251,7 @@
   (-> License Text)
   (let [identification (|> value
                            (get@ #license.identification)
-                           (maybe;map ..identification)
+                           (maybe\map ..identification)
                            (maybe.default ""))
         identified? (case (get@ #license.identification value)
                       (#.Some _)
@@ -269,12 +269,12 @@
                   black-lists
                   ($.block ($.section {#$.title (format "Denial of " _.license)
                                        #$.content (|> black-lists
-                                                      (list;map black-list.black-list)
+                                                      (list\map black-list.black-list)
                                                       (text.join-with ..black-list-spacing))})))
                 
                 ($.section {#$.title "Definitions"
                             #$.content (|> definition.all
-                                           (list;map (|>> ..definition $.block))
+                                           (list\map (|>> ..definition $.block))
                                            (text.join-with ""))})
 
                 ($.block ($.section {#$.title (format "Acceptance of " _.license)
@@ -294,7 +294,7 @@
 
                 (|> value
                     (get@ #license.attribution)
-                    (maybe;map (|>> ..attribution
+                    (maybe\map (|>> ..attribution
                                     ["Attribution Information"]
                                     $.section
                                     $.block))
-- 
cgit v1.2.3