diff options
Diffstat (limited to 'stdlib/source/test/aedifex/repository/remote.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 75e9ff35e..1c16ddf09 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -31,16 +31,16 @@ ["/[1]" // ["[1][0]" identity]]]]) -(def: (url_body url) +(def (url_body url) (-> URL (@http.Body IO)) (let [url (at utf8.codec encoded url)] (function (_ _) (io.io {try.#Success [(binary.size url) url]})))) -(def: (good_http user password) +(def (good_http user password) (-> //identity.User //identity.Password (http.Client IO)) (implementation - (def: (request method url headers input) + (def (request method url headers input) (with_expansions [<failure> [http/status.bad_request [@http.#headers (http.headers (list)) @http.#body (..url_body "")]]] @@ -70,17 +70,17 @@ <failure>) <failure>)))))) -(def: bad_http +(def bad_http (http.Client IO) (implementation - (def: (request method url headers input) + (def (request method url headers input) (<| io.io {try.#Success} [http/status.bad_request [@http.#headers (http.headers (list)) @http.#body (..url_body "")]])))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] |