aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
authorEduardo Julian2022-12-02 19:33:00 -0400
committerEduardo Julian2022-12-02 19:33:00 -0400
commit94e5802f594a73245fce0fbd885103b8bf210d57 (patch)
tree65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/test/aedifex/repository
parentb491dfff00219d5206075ea65468e00ab657075d (diff)
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux8
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux14
2 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 7edaa1353..a1ca0ee80 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -37,13 +37,13 @@
repo (/.repository program fs)]
uri (random.lower_cased 10)
- expected (at ! each (at utf8.codec encoded)
+ expected (of ! each (of utf8.codec encoded)
(random.lower_cased 10))]
(all _.and
(in (do async.monad
- [before_upload (at repo download uri)
- _ (at repo upload uri expected)
- actual (at repo download uri)]
+ [before_upload (of repo download uri)
+ _ (of repo upload uri expected)
+ actual (of repo download uri)]
(unit.coverage [/.repository]
(and (when before_upload
{try.#Success _} false
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)