From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 2 Dec 2022 19:33:00 -0400
Subject: Added some simple time-series handling machinery.

---
 stdlib/source/test/aedifex/repository/remote.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 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 4540ee5eb..03a1c1277 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -34,7 +34,7 @@
 
 (def (url_body url)
   (-> URL (@http.Body IO))
-  (let [url (at utf8.codec encoded url)]
+  (let [url (of utf8.codec encoded url)]
     (function (_ _)
       (io.io {try.#Success [(binary.size url) url]}))))
 
@@ -91,7 +91,7 @@
          user (random.lower_cased 10)
          password (random.lower_cased 10)
 
-         content (at ! each (at utf8.codec encoded)
+         content (of ! each (of utf8.codec encoded)
                      (random.lower_cased 10))]
         (all _.and
              (_.coverage [/.repository /.user_agent /.Address]
@@ -99,13 +99,13 @@
                                         {.#Some [//identity.#user user
                                                  //identity.#password password]}
                                         address)]
-                 (and (|> (at repo download uri)
+                 (and (|> (of repo download uri)
                           io.run!
-                          (try#each (at utf8.codec decoded))
+                          (try#each (of utf8.codec decoded))
                           try#conjoint
                           (try#each (text#= (format address uri)))
                           (try.else false))
-                      (|> (at repo upload uri content)
+                      (|> (of repo upload uri content)
                           io.run!
                           (try#each (function.constant true))
                           (try.else false)))))
@@ -113,7 +113,7 @@
                (let [repo (/.repository (..good_http user password)
                                         {.#None}
                                         address)]
-                 (when (io.run! (at repo upload uri content))
+                 (when (io.run! (of repo upload uri content))
                    {try.#Failure error}
                    (exception.match? /.upload_failure error)
                    
@@ -123,7 +123,7 @@
                (let [repo (/.repository ..bad_http
                                         {.#None}
                                         address)]
-                 (when (io.run! (at repo download uri))
+                 (when (io.run! (of repo download uri))
                    {try.#Failure error}
                    (exception.match? /.download_failure error)
                    
-- 
cgit v1.2.3