From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/test/aedifex/repository/identity.lux | 36 +++++------
 stdlib/source/test/aedifex/repository/local.lux    | 72 ++++++++++-----------
 stdlib/source/test/aedifex/repository/origin.lux   | 36 +++++------
 stdlib/source/test/aedifex/repository/remote.lux   | 74 +++++++++++-----------
 4 files changed, 109 insertions(+), 109 deletions(-)

(limited to 'stdlib/source/test/aedifex/repository')

diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 90a2e1681..5e357ecca 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [\\specification
-      ["$[0]" equivalence]]]
-    [math
-     ["[0]" random {"+" Random}]]]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [\\specification
+     ["$[0]" equivalence]]]
+   [math
+    ["[0]" random {"+" Random}]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Identity)
-  ($_ random.and
-      (random.ascii/alpha 10)
-      (random.ascii/alpha 10)
-      ))
+  (all random.and
+       (random.ascii/alpha 10)
+       (random.ascii/alpha 10)
+       ))
 
 (def: .public test
   Test
   (<| (_.covering /._)
       (_.for [/.User /.Password /.Identity]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
-                 ))))
+             (all _.and
+                  (_.for [/.equivalence]
+                         ($equivalence.spec /.equivalence ..random))
+                  ))))
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index f3b8fed6b..c5da9011d 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["[0]" environment]]
-     [concurrency
-      ["[0]" async]]]
-    [data
-     ["[0]" binary ("[1]#[0]" equivalence)]
-     [text
-      [encoding
-       ["[0]" utf8]]]]
-    [math
-     ["[0]" random]]
-    [world
-     ["[0]" file]
-     ["[0]" program]]]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["[0]" environment]]
+    [concurrency
+     ["[0]" async]]]
+   [data
+    ["[0]" binary ("[1]#[0]" equivalence)]
+    [text
+     [encoding
+      ["[0]" utf8]]]]
+   [math
+    ["[0]" random]]
+   [world
+    ["[0]" file]
+    ["[0]" program]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public test
   Test
@@ -37,16 +37,16 @@
          uri (random.ascii/lower 10)
          expected (# ! each (# utf8.codec encoded)
                      (random.ascii/lower 10))]
-        ($_ _.and
-            (in (do async.monad
-                  [before_upload (# repo download uri)
-                   _ (# repo upload uri expected)
-                   actual (# repo download uri)]
-                  (_.cover' [/.repository]
-                            (and (case before_upload
-                                   {try.#Success _} false
-                                   {try.#Failure _} true)
-                                 (|> actual
-                                     (try#each (binary#= expected))
-                                     (try.else false))))))
-            ))))
+        (all _.and
+             (in (do async.monad
+                   [before_upload (# repo download uri)
+                    _ (# repo upload uri expected)
+                    actual (# repo download uri)]
+                   (_.cover' [/.repository]
+                             (and (case before_upload
+                                    {try.#Success _} false
+                                    {try.#Failure _} true)
+                                  (|> actual
+                                      (try#each (binary#= expected))
+                                      (try.else false))))))
+             ))))
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index cabea3904..a0bcff68d 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [\\specification
-      ["$[0]" equivalence]]]
-    [math
-     ["[0]" random {"+" Random}]]]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [\\specification
+     ["$[0]" equivalence]]]
+   [math
+    ["[0]" random {"+" Random}]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Origin)
-  ($_ random.or
-      (random.ascii/alpha 10)
-      (random.ascii/alpha 10)
-      ))
+  (all random.or
+       (random.ascii/alpha 10)
+       (random.ascii/alpha 10)
+       ))
 
 (def: .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Origin]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
-                 ))))
+             (all _.and
+                  (_.for [/.equivalence]
+                         ($equivalence.spec /.equivalence ..random))
+                  ))))
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index bd2e68612..abf123f4b 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -92,40 +92,40 @@
 
          content (# ! each (# utf8.codec encoded)
                     (random.ascii/lower 10))]
-        ($_ _.and
-            (_.cover [/.repository /.user_agent /.Address]
-                     (let [repo (/.repository (..good_http user password)
-                                              {.#Some [//identity.#user user
-                                                       //identity.#password password]}
-                                              address)]
-                       (and (|> (# repo download uri)
-                                io.run!
-                                (try#each (# utf8.codec decoded))
-                                try#conjoint
-                                (try#each (text#= (format address uri)))
-                                (try.else false))
-                            (|> (# repo upload uri content)
-                                io.run!
-                                (try#each (function.constant true))
-                                (try.else false)))))
-            (_.cover [/.upload_failure]
-                     (let [repo (/.repository (..good_http user password)
-                                              {.#None}
-                                              address)]
-                       (case (io.run! (# repo upload uri content))
-                         {try.#Failure error}
-                         (exception.match? /.upload_failure error)
-                         
-                         {try.#Success _}
-                         false)))
-            (_.cover [/.download_failure]
-                     (let [repo (/.repository ..bad_http
-                                              {.#None}
-                                              address)]
-                       (case (io.run! (# repo download uri))
-                         {try.#Failure error}
-                         (exception.match? /.download_failure error)
-                         
-                         {try.#Success _}
-                         false)))
-            ))))
+        (all _.and
+             (_.cover [/.repository /.user_agent /.Address]
+                      (let [repo (/.repository (..good_http user password)
+                                               {.#Some [//identity.#user user
+                                                        //identity.#password password]}
+                                               address)]
+                        (and (|> (# repo download uri)
+                                 io.run!
+                                 (try#each (# utf8.codec decoded))
+                                 try#conjoint
+                                 (try#each (text#= (format address uri)))
+                                 (try.else false))
+                             (|> (# repo upload uri content)
+                                 io.run!
+                                 (try#each (function.constant true))
+                                 (try.else false)))))
+             (_.cover [/.upload_failure]
+                      (let [repo (/.repository (..good_http user password)
+                                               {.#None}
+                                               address)]
+                        (case (io.run! (# repo upload uri content))
+                          {try.#Failure error}
+                          (exception.match? /.upload_failure error)
+                          
+                          {try.#Success _}
+                          false)))
+             (_.cover [/.download_failure]
+                      (let [repo (/.repository ..bad_http
+                                               {.#None}
+                                               address)]
+                        (case (io.run! (# repo download uri))
+                          {try.#Failure error}
+                          (exception.match? /.download_failure error)
+                          
+                          {try.#Success _}
+                          false)))
+             ))))
-- 
cgit v1.2.3