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/remote.lux | |
| parent | b491dfff00219d5206075ea65468e00ab657075d (diff) | |
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/test/aedifex/repository/remote.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 14 |
1 files changed, 7 insertions, 7 deletions
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) |