diff options
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/aedifex/dependency/deployment.lux | 104 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 82 |
2 files changed, 93 insertions, 93 deletions
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index ef6d7a4e7..4a3946a53 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -1,59 +1,59 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [monad {"+" do}] - ["[0]" hash {"+" Hash}]] - [control - ["[0]" io {"+" IO}] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] - [concurrency - ["[0]" atom {"+" Atom}] - ["[0]" async]]] - [data - ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set] - ["[0]" list ("[1]#[0]" mix)]]] - [math - ["[0]" random {"+" Random}] - [number - ["n" nat]]] - [world - [net {"+" URL} - ["[0]" uri {"+" URI}] - ["[0]" http "_" - ["[1]" client] - ["[1]/[0]" status] - ["@[1]" /]]]]]] - ["$[0]" // - ["[1]/" // "_" - ["[1][0]" package]]] - [\\program - ["[0]" / - [// {"+" Dependency} - ["[0]" resolution] - [// - ["[0]" profile] - ["[0]" metadata] - ["[0]" package {"+" Package}] - ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence) - ["[1]/[0]" type] - ["[1]/[0]" extension]] - ["[0]" repository - ["[0]" remote]]]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}] + ["[0]" hash {"+" Hash}]] + [control + ["[0]" io {"+" IO}] + ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] + [concurrency + ["[0]" atom {"+" Atom}] + ["[0]" async]]] + [data + ["[0]" product] + ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" dictionary {"+" Dictionary}] + ["[0]" set] + ["[0]" list ("[1]#[0]" mix)]]] + [math + ["[0]" random {"+" Random}] + [number + ["n" nat]]] + [world + [net {"+" URL} + ["[0]" uri {"+" URI}] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] + ["$[0]" // + ["[1]/" // "_" + ["[1][0]" package]]] + [\\program + ["[0]" / + [// {"+" Dependency} + ["[0]" resolution] + [// + ["[0]" profile] + ["[0]" metadata] + ["[0]" package {"+" Package}] + ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence) + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[0]" repository + ["[0]" remote]]]]]]) (def: good_upload (@http.Response IO) [http/status.created - [#@http.headers (http.headers (list)) - #@http.body (function (_ _) + [@http.#headers (http.headers (list)) + @http.#body (function (_ _) (|> [0 (binary.empty 0)] {try.#Success} io.io))]]) @@ -68,7 +68,7 @@ (do io.monad [_ (: (IO Any) (case [method input] - [{#@http.Put} {.#Some input}] + [{@http.#Put} {.#Some input}] (atom.update! (dictionary.has url input) cache) _ 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 |