aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository/remote.lux
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/remote.lux
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/aedifex/repository/remote.lux')
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux32
1 files changed, 16 insertions, 16 deletions
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)