aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux26
2 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index b6d647bb9..5d3c94565 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -44,8 +44,8 @@
actual (\ repo download uri)]
(_.cover' [/.repository]
(and (case before_upload
- {#try.Success _} false
- {#try.Failure _} true)
+ {try.#Success _} false
+ {try.#Failure _} true)
(|> actual
(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 443ab884e..9cea986a8 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -35,7 +35,7 @@
(-> URL (@http.Body IO))
(let [url (\ utf8.codec encoded url)]
(function (_ _)
- (io.io {#try.Success [(binary.size url) url]}))))
+ (io.io {try.#Success [(binary.size url) url]}))))
(def: (good_http user password)
(-> //identity.User //identity.Password (http.Client IO))
@@ -45,18 +45,18 @@
[#@http.headers (http.headers (list))
#@http.body (..url_body "")]]]
(<| io.io
- #try.Success
+ {try.#Success}
(if (|> headers
(dictionary.value "User-Agent")
(maybe\each (same? /.user_agent))
(maybe.else false))
(case [method input]
- [#@http.Get #.None]
+ [#@http.Get {.#None}]
[http/status.ok
[#@http.headers (http.headers (list))
#@http.body (..url_body url)]]
- [#@http.Put {#.Some input}]
+ [#@http.Put {.#Some input}]
(if (|> headers
(dictionary.value "Authorization")
(maybe\each (text\= (//identity.basic_auth user password)))
@@ -75,7 +75,7 @@
(implementation
(def: (request method url headers input)
(<| io.io
- #try.Success
+ {try.#Success}
[http/status.bad_request
[#@http.headers (http.headers (list))
#@http.body (..url_body "")]]))))
@@ -95,8 +95,8 @@
($_ _.and
(_.cover [/.repository /.user_agent /.Address]
(let [repo (/.repository (..good_http user password)
- {#.Some [#//identity.user user
- #//identity.password password]}
+ {.#Some [//identity.#user user
+ //identity.#password password]}
address)]
(and (|> (\ repo download uri)
io.run!
@@ -110,22 +110,22 @@
(try.else false)))))
(_.cover [/.upload_failure]
(let [repo (/.repository (..good_http user password)
- #.None
+ {.#None}
address)]
(case (io.run! (\ repo upload uri content))
- {#try.Failure error}
+ {try.#Failure error}
(exception.match? /.upload_failure error)
- {#try.Success _}
+ {try.#Success _}
false)))
(_.cover [/.download_failure]
(let [repo (/.repository ..bad_http
- #.None
+ {.#None}
address)]
(case (io.run! (\ repo download uri))
- {#try.Failure error}
+ {try.#Failure error}
(exception.match? /.download_failure error)
- {#try.Success _}
+ {try.#Success _}
false)))
))))