diff options
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
4 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index b7ab8e23d..5b556db20 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -10,14 +10,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Identity) (all random.and (random.alphabetic 10) (random.alphabetic 10) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.User /.Password /.Identity] diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 93bb28f1d..5a6be7777 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -23,7 +23,7 @@ [\\program ["[0]" /]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 0f0fe6191..a414c8371 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -10,14 +10,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Origin) (all random.or (random.alphabetic 10) (random.alphabetic 10) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Origin] 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] |