aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 15:39:55 -0400
committerEduardo Julian2021-09-12 15:39:55 -0400
commit2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch)
tree14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/aedifex/repository
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux14
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux32
2 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 5d3c94565..deb381511 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,13 +5,13 @@
[abstract
[monad {"+" [do]}]]
[control
- ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
[parser
["[0]" environment]]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]\[0]" equivalence)]
+ ["[0]" binary ("[1]#[0]" equivalence)]
[text
[encoding
["[0]" utf8]]]]
@@ -35,18 +35,18 @@
repo (/.repository program fs)]
uri (random.ascii/lower 10)
- expected (\ ! each (\ utf8.codec encoded)
+ expected (# ! each (# utf8.codec encoded)
(random.ascii/lower 10))]
($_ _.and
(in (do async.monad
- [before_upload (\ repo download uri)
- _ (\ repo upload uri expected)
- actual (\ repo download uri)]
+ [before_upload (# repo download uri)
+ _ (# repo upload uri expected)
+ actual (# repo download uri)]
(_.cover' [/.repository]
(and (case before_upload
{try.#Success _} false
{try.#Failure _} true)
(|> actual
- (try\each (binary\= expected))
+ (try#each (binary#= expected))
(try.else false))))))
))))
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)