aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository/remote.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-10-09 04:17:44 -0400
committerEduardo Julian2021-10-09 04:17:44 -0400
commitf29d0644f15e6548af6d015ef9bb60eb6f846329 (patch)
tree1985737bbfa9846d7defcb0af95a88e092866f69 /stdlib/source/test/aedifex/repository/remote.lux
parent30100903886160f8e187e8da4a7d4c9cafe6c50e (diff)
Fixed packaging issue.
Diffstat (limited to 'stdlib/source/test/aedifex/repository/remote.lux')
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux82
1 files changed, 41 insertions, 41 deletions
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index fc4ccbff1..9cfc118b9 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,35 +1,35 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" io {"+" IO}]
- ["[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)
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]]
- [collection
- ["[0]" dictionary]]]
- [math
- ["[0]" random {"+" Random}]]
- [world
- [net {"+" URL}
- ["[0]" http "_"
- ["[1]" client]
- ["[1]/[0]" status]
- ["@[1]" /]]]]]]
- [\\program
- ["[0]" /
- ["/[1]" // "_"
- ["[1][0]" identity]]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" io {"+" IO}]
+ ["[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)
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]]
+ [collection
+ ["[0]" dictionary]]]
+ [math
+ ["[0]" random {"+" Random}]]
+ [world
+ [net {"+" URL}
+ ["[0]" http "_"
+ ["[1]" client]
+ ["[1]/[0]" status]
+ ["@[1]" /]]]]]]
+ [\\program
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" identity]]]])
(def: (url_body url)
(-> URL (@http.Body IO))
@@ -42,8 +42,8 @@
(implementation
(def: (request method url headers input)
(with_expansions [<failure> [http/status.bad_request
- [#@http.headers (http.headers (list))
- #@http.body (..url_body "")]]]
+ [@http.#headers (http.headers (list))
+ @http.#body (..url_body "")]]]
(<| io.io
{try.#Success}
(if (|> headers
@@ -51,19 +51,19 @@
(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.#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)))
(maybe.else false))
[http/status.created
- [#@http.headers (http.headers (list))
- #@http.body (..url_body url)]]
+ [@http.#headers (http.headers (list))
+ @http.#body (..url_body url)]]
<failure>)
_
@@ -77,8 +77,8 @@
(<| io.io
{try.#Success}
[http/status.bad_request
- [#@http.headers (http.headers (list))
- #@http.body (..url_body "")]]))))
+ [@http.#headers (http.headers (list))
+ @http.#body (..url_body "")]]))))
(def: .public test
Test