From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 15:39:55 -0400
Subject: Re-named \ => # && \\ => ##

---
 stdlib/source/test/aedifex/repository/remote.lux | 32 ++++++++++++------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'stdlib/source/test/aedifex/repository/remote.lux')

diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 9cea986a8..6d8811ffe 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -6,13 +6,13 @@
      [monad {"+" [do]}]]
     [control
      ["[0]" io {"+" [IO]}]
-     ["[0]" maybe ("[1]\[0]" functor)]
-     ["[0]" try ("[1]\[0]" monad)]
+     ["[0]" maybe ("[1]#[0]" functor)]
+     ["[0]" try ("[1]#[0]" monad)]
      ["[0]" exception]
      ["[0]" function]]
     [data
-     ["[0]" binary ("[1]\[0]" equivalence)]
-     ["[0]" text ("[1]\[0]" equivalence)
+     ["[0]" binary ("[1]#[0]" equivalence)]
+     ["[0]" text ("[1]#[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
        ["[0]" utf8]]]
@@ -33,7 +33,7 @@
 
 (def: (url_body url)
   (-> URL (@http.Body IO))
-  (let [url (\ utf8.codec encoded url)]
+  (let [url (# utf8.codec encoded url)]
     (function (_ _)
       (io.io {try.#Success [(binary.size url) url]}))))
 
@@ -48,7 +48,7 @@
            {try.#Success}
            (if (|> headers
                    (dictionary.value "User-Agent")
-                   (maybe\each (same? /.user_agent))
+                   (maybe#each (same? /.user_agent))
                    (maybe.else false))
              (case [method input]
                [#@http.Get {.#None}]
@@ -59,7 +59,7 @@
                [#@http.Put {.#Some input}]
                (if (|> headers
                        (dictionary.value "Authorization")
-                       (maybe\each (text\= (//identity.basic_auth user password)))
+                       (maybe#each (text#= (//identity.basic_auth user password)))
                        (maybe.else false))
                  [http/status.created
                   [#@http.headers (http.headers (list))
@@ -90,7 +90,7 @@
          user (random.ascii/lower 10)
          password (random.ascii/lower 10)
 
-         content (\ ! each (\ utf8.codec encoded)
+         content (# ! each (# utf8.codec encoded)
                     (random.ascii/lower 10))]
         ($_ _.and
             (_.cover [/.repository /.user_agent /.Address]
@@ -98,21 +98,21 @@
                                               {.#Some [//identity.#user user
                                                        //identity.#password password]}
                                               address)]
-                       (and (|> (\ repo download uri)
+                       (and (|> (# repo download uri)
                                 io.run!
-                                (try\each (\ utf8.codec decoded))
-                                try\conjoint
-                                (try\each (text\= (format address uri)))
+                                (try#each (# utf8.codec decoded))
+                                try#conjoint
+                                (try#each (text#= (format address uri)))
                                 (try.else false))
-                            (|> (\ repo upload uri content)
+                            (|> (# repo upload uri content)
                                 io.run!
-                                (try\each (function.constant true))
+                                (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))
+                       (case (io.run! (# repo upload uri content))
                          {try.#Failure error}
                          (exception.match? /.upload_failure error)
                          
@@ -122,7 +122,7 @@
                      (let [repo (/.repository ..bad_http
                                               {.#None}
                                               address)]
-                       (case (io.run! (\ repo download uri))
+                       (case (io.run! (# repo download uri))
                          {try.#Failure error}
                          (exception.match? /.download_failure error)
                          
-- 
cgit v1.2.3