diff options
author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/test/aedifex/repository | |
parent | b491dfff00219d5206075ea65468e00ab657075d (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.lux | 8 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 14 |
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) |