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/identity.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux12
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]