aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux4
-rw-r--r--stdlib/source/test/aedifex/cache.lux16
-rw-r--r--stdlib/source/test/aedifex/cli.lux14
-rw-r--r--stdlib/source/test/aedifex/command.lux2
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux4
-rw-r--r--stdlib/source/test/aedifex/command/build.lux42
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux16
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/test/aedifex/command/install.lux6
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/command/test.lux12
-rw-r--r--stdlib/source/test/aedifex/command/version.lux14
-rw-r--r--stdlib/source/test/aedifex/dependency.lux4
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux12
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux58
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux4
-rw-r--r--stdlib/source/test/aedifex/hash.lux4
-rw-r--r--stdlib/source/test/aedifex/input.lux6
-rw-r--r--stdlib/source/test/aedifex/local.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux8
-rw-r--r--stdlib/source/test/aedifex/package.lux4
-rw-r--r--stdlib/source/test/aedifex/parser.lux16
-rw-r--r--stdlib/source/test/aedifex/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/profile.lux34
-rw-r--r--stdlib/source/test/aedifex/project.lux6
-rw-r--r--stdlib/source/test/aedifex/repository.lux18
-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
-rw-r--r--stdlib/source/test/aedifex/runtime.lux4
46 files changed, 197 insertions, 197 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index aefe175f4..1b9bad2f0 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -26,7 +26,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Artifact)
(let [size 4]
(all random.and
@@ -34,7 +34,7 @@
(random.lower_case size)
(random.lower_case size))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7ca90b6a6..80b49fdfb 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -18,7 +18,7 @@
["/[1]" //
["[1]" type]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Extension]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 628412bee..8888dc848 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -20,12 +20,12 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Snapshot)
(random.or (random#in [])
$/stamp.random))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 71024f4d0..f6224dd0b 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -15,11 +15,11 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Build)
random.nat)
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Build]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index ae1ffb7a5..c24a06f5a 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -20,14 +20,14 @@
["[1][0]" time]
["[1][0]" build]])
-(def: .public random
+(def .public random
(Random /.Stamp)
(all random.and
$//time.random
$//build.random
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Stamp])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index a26532ce1..3b6136ce9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -18,11 +18,11 @@
["$[0]" ///
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Time)
$///time.random)
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index c5c8f0e71..d2a3e01e4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -20,7 +20,7 @@
["[1][0]" type]
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Version)
(all random.and
$///type.random
@@ -28,7 +28,7 @@
$///time.random
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Version])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 5fcef9a0c..0c63a2215 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -27,7 +27,7 @@
["[1][0]" stamp]
["[1][0]" time]]]])
-(def: .public random
+(def .public random
(Random /.Value)
(all random.and
(random.alphabetic 5)
@@ -35,7 +35,7 @@
$///stamp.random)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Value])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 8ee637360..c6ba0f2c0 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -23,14 +23,14 @@
["[1][0]" date]
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Time)
(do random.monad
[date /date.random
time /time.random]
(in [date time])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index b53420e0a..6d2e4296a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -23,7 +23,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Date)
(random.one (function (_ raw)
(try.maybe
@@ -35,7 +35,7 @@
(/.date raw))))
random.date))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Date])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 9a7189e33..33bc56c87 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -18,14 +18,14 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Time)
(random.one (|>> time.clock
(has time.#milli_second 0)
time.time)
random.time))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index a2b5926e5..003123f40 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -16,7 +16,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Type)
(all random.either
(all random.either
@@ -28,7 +28,7 @@
(random#in /.sha-1))
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Type]
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index d1efdb17f..451d0b824 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -19,7 +19,7 @@
["[1][0]" snapshot (.only)
["[1]/[0]" version]]])
-(def: .public random
+(def .public random
(Random /.Versioning)
(all random.and
$//snapshot.random
@@ -27,7 +27,7 @@
(random.list 5 $//snapshot/version.random)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Versioning])
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 34173ce62..6456cc824 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -46,13 +46,13 @@
["[1][0]" repository
["[1]/[0]" origin]]]]])
-(def: type
+(def type
(Random Type)
(all random.either
(random#in //artifact/type.lux_library)
(random#in //artifact/type.jvm_library)))
-(def: profile
+(def profile
(Random [Artifact Profile XML])
(random.one (function (_ profile)
(try.maybe
@@ -62,13 +62,13 @@
(in [identity profile pom]))))
@profile.random))
-(def: content
+(def content
(Random Binary)
(do [! random.monad]
[content_size (at ! each (n.% 100) random.nat)]
(_binary.random content_size)))
-(def: package
+(def package
(Random [Dependency Package])
(do [! random.monad]
[[identity profile pom] ..profile
@@ -78,7 +78,7 @@
//dependency.#type type]
(has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))
-(def: resolution
+(def resolution
(Random Resolution)
(do [! random.monad]
[[main_dependency main_package] ..package
@@ -99,7 +99,7 @@
(has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))]
(in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies)))))
-(def: singular
+(def singular
Test
(do [! random.monad]
[[dependency expected_package] ..package
@@ -120,7 +120,7 @@
(has //package.#origin {//repository/origin.#Local ""} expected_package)
actual_package)))))))))
-(def: plural
+(def plural
Test
(do [! random.monad]
[expected ..resolution
@@ -143,7 +143,7 @@
expected)
actual)))))))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(all _.and
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index f0b011180..a4af47e46 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -22,12 +22,12 @@
["/[1]" //
["[1]" profile]]]])
-(def: compilation
+(def compilation
(Random /.Compilation)
(random.or (random#in [])
(random#in [])))
-(def: command
+(def command
(Random /.Command)
(all random.or
... #Version
@@ -50,13 +50,13 @@
... #Auto
..compilation))
-(def: (compilation_format value)
+(def (compilation_format value)
(-> /.Compilation (List Text))
(case value
{/.#Build} (list "build")
{/.#Test} (list "test")))
-(def: (format value)
+(def (format value)
(-> /.Command (List Text))
(case value
{/.#Version} (list "version")
@@ -68,7 +68,7 @@
{/.#Compilation compilation} (..compilation_format compilation)
{/.#Auto compilation} (list.partial "auto" (..compilation_format compilation))))
-(def: without_profile
+(def without_profile
Test
(do random.monad
[expected ..command]
@@ -84,7 +84,7 @@
{try.#Failure error}
false)))))
-(def: with_profile
+(def with_profile
Test
(do random.monad
[expected_profile (random.alphabetic 1)
@@ -102,7 +102,7 @@
{try.#Failure error}
false)))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Compilation /.Command]
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 537f93562..cf3068d3c 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -18,7 +18,7 @@
[\\program
["[0]" /]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Command])
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 6834fe8eb..2d6ed1354 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -44,7 +44,7 @@
[dependency
[resolution (.only Resolution)]]]]])
-(def: (command expected_runs end_signal fs dummy_file)
+(def (command expected_runs end_signal fs dummy_file)
(-> Nat Text (file.System Async) file.Path
[(Atom Nat)
(-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))])
@@ -61,7 +61,7 @@
_ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))]
(in [shell.normal []])))))]))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index c740ad48f..47c3ac71a 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -37,50 +37,50 @@
["[1][0]" dependency (.only Dependency)
["[1]/[0]" resolution (.only Resolution)]]]]])
-(def: .public good_shell
+(def .public good_shell
(-> Any (Shell IO))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
(is (shell.Mock [])
(implementation
- (def: (on_read state)
+ (def (on_read state)
(exception.except shell.no_more_output []))
- (def: (on_fail state)
+ (def (on_fail state)
(exception.except shell.no_more_output []))
- (def: (on_write input state)
+ (def (on_write input state)
{try.#Failure "on_write"})
- (def: (on_destroy state)
+ (def (on_destroy state)
{try.#Failure "on_destroy"})
- (def: (on_await state)
+ (def (on_await state)
{try.#Success [state shell.normal]})))})))
-(def: .public bad_shell
+(def .public bad_shell
(-> Any (Shell IO))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
(is (shell.Mock [])
(implementation
- (def: (on_read state)
+ (def (on_read state)
(exception.except shell.no_more_output []))
- (def: (on_fail state)
+ (def (on_fail state)
(exception.except shell.no_more_output []))
- (def: (on_write input state)
+ (def (on_write input state)
{try.#Failure "on_write"})
- (def: (on_destroy state)
+ (def (on_destroy state)
{try.#Failure "on_destroy"})
- (def: (on_await state)
+ (def (on_await state)
{try.#Success [state shell.error]})))})))
-(def: .public (reader_shell error?)
+(def .public (reader_shell error?)
(-> Bit (-> (List Text) (Shell IO)))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
{try.#Success
(is (shell.Mock (List Text))
(implementation
- (def: (on_read state)
+ (def (on_read state)
(if error?
(exception.except shell.no_more_output [])
(case state
@@ -89,7 +89,7 @@
{.#End}
(exception.except shell.no_more_output []))))
- (def: (on_fail state)
+ (def (on_fail state)
(if error?
(case state
{.#Item head tail}
@@ -98,14 +98,14 @@
{.#End}
(exception.except shell.no_more_output []))
(exception.except shell.no_more_output [])))
- (def: (on_write input state)
+ (def (on_write input state)
{try.#Failure "on_write"})
- (def: (on_destroy state)
+ (def (on_destroy state)
{try.#Failure "on_destroy"})
- (def: (on_await state)
+ (def (on_await state)
{try.#Success [state shell.error]})))})))
-(def: compiler
+(def compiler
(Random Dependency)
(do random.monad
[lux_version (random.alphabetic 5)
@@ -127,7 +127,7 @@
[/.ruby_lux_name]
))))))
-(def: .public resolution
+(def .public resolution
(Random [Dependency Resolution])
(do random.monad
[dependency ..compiler
@@ -136,7 +136,7 @@
(|> ///dependency/resolution.empty
(dictionary.has dependency package))])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 4f37c7bc3..7edf91440 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -36,11 +36,11 @@
["[1]" profile]
["[1][0]" action (.only Action)]]]])
-(def: node_name
+(def node_name
(Random Text)
(random.alphabetic 10))
-(def: (files prefix)
+(def (files prefix)
(-> Path (Random (List [Path Binary])))
(do [! random.monad]
[count (at ! each (n.% 10) random.nat)
@@ -49,11 +49,11 @@
(in (list.zipped_2 (list#each (|>> (format prefix)) (set.list names))
contents))))
-(def: (create_file! fs [path content])
+(def (create_file! fs [path content])
(-> (file.System Async) [Path Binary] (Async (Try Any)))
(at fs write path content))
-(def: (create_directory! fs path files)
+(def (create_directory! fs path files)
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
(do [! (try.with async.monad)]
[_ (is (Async (Try Any))
@@ -61,15 +61,15 @@
_ (monad.each ! (..create_file! fs) files)]
(in [])))
-(def: (directory_exists? fs)
+(def (directory_exists? fs)
(-> (file.System Async) Path (Async (Try Bit)))
(|>> (at fs directory?) (try.lifted async.monad)))
-(def: (file_exists? fs)
+(def (file_exists? fs)
(-> (file.System Async) Path (Async (Try Bit)))
(|>> (at fs file?) (try.lifted async.monad)))
-(def: (assets_exist? fs directory_path files)
+(def (assets_exist? fs directory_path files)
(-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
(do [! (try.with async.monad)]
[directory_exists? (..directory_exists? fs directory_path)
@@ -80,7 +80,7 @@
(in (and directory_exists?
(list.every? (|>>) files_exist?)))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 871083df6..7b709c82d 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -53,7 +53,7 @@
["[1][0]" artifact (.only Artifact)
["[1]/[0]" extension]]]]])
-(def: (execute! program local remote fs artifact profile)
+(def (execute! program local remote fs artifact profile)
(-> (Program Async) (Repository Async) (Repository Async) (file.System Async)
Artifact ///.Profile
(Async (Try Text)))
@@ -64,7 +64,7 @@
_ (/.do! program shell console local remote fs artifact profile)]
(at console read_line [])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 450152fe2..14d0f040b 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -52,7 +52,7 @@
["[1]/[0]" origin]
["[1]/[0]" local]]]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index de26f5ecb..a55e96d95 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -38,7 +38,7 @@
["[1][0]" repository
["[1]/[0]" local]]]]])
-(def: .public (make_sources! fs sources)
+(def .public (make_sources! fs sources)
(-> (file.System Async) (Set file.Path) (Action (List Any)))
(let [/ (at fs separator)
! ///action.monad]
@@ -51,7 +51,7 @@
(is (Async (Try Any))
(file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
-(def: (execute! program fs sample)
+(def (execute! program fs sample)
(-> (Program Async) (file.System Async) ///.Profile (Async (Try Text)))
(do ///action.monad
[.let [console ($version.echo "")]
@@ -59,7 +59,7 @@
_ (/.do! console fs (///repository/local.repository program fs) sample)]
(at console read_line [])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 278d91209..f6ba0e28e 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -30,7 +30,7 @@
["[1][0]" action]
["[1][0]" pom]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 9b01c2feb..7ab540925 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -39,7 +39,7 @@
["[1][0]" dependency (.only)
["[1]/[0]" resolution]]]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
@@ -86,15 +86,15 @@
{try.#Success
(is (shell.Mock [])
(implementation
- (def: (on_read state)
+ (def (on_read state)
(exception.except shell.no_more_output []))
- (def: (on_fail state)
+ (def (on_fail state)
(exception.except shell.no_more_output []))
- (def: (on_write input state)
+ (def (on_write input state)
{try.#Failure "on_write"})
- (def: (on_destroy state)
+ (def (on_destroy state)
{try.#Failure "on_destroy"})
- (def: (on_await state)
+ (def (on_await state)
{try.#Success [state (if (list.any? (text#= "build") actual_arguments)
shell.normal
shell.error)]})))})
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 740065820..c8f427a71 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -29,10 +29,10 @@
(exception: .public console_is_closed!)
-(def: mock
+(def mock
(Mock [Bit Text])
(implementation
- (def: (on_read [open? state])
+ (def (on_read [open? state])
(if open?
(try.of_maybe
(do maybe.monad
@@ -40,29 +40,29 @@
[_ tail] (text.split_at 1 state)]
(in [[open? tail] head])))
(exception.except ..console_is_closed! [])))
- (def: (on_read_line [open? state])
+ (def (on_read_line [open? state])
(if open?
(try.of_maybe
(do maybe.monad
[[output state] (text.split_by text.new_line state)]
(in [[open? state] output])))
(exception.except ..console_is_closed! [])))
- (def: (on_write input [open? state])
+ (def (on_write input [open? state])
(if open?
{try.#Success [open? (format state input)]}
(exception.except ..console_is_closed! [])))
- (def: (on_close [open? buffer])
+ (def (on_close [open? buffer])
(if open?
{try.#Success [false buffer]}
(exception.except ..console_is_closed! [])))))
-(def: .public echo
+(def .public echo
(-> Text (Console Async))
(|>> [true]
(console.mock ..mock)
console.async))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 2d4e6b981..93acdb4c6 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -15,13 +15,13 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Dependency)
(all random.and
@artifact.random
(random.alphabetic 1)))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Dependency]
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 0c605141a..456897460 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -49,7 +49,7 @@
["[0]" repository (.only)
["[0]" remote]]]]]])
-(def: good_upload
+(def good_upload
(@http.Response IO)
[http/status.created
[@http.#headers (http.headers (list))
@@ -61,10 +61,10 @@
(type: Cache
(Atom (Dictionary URL Binary)))
-(def: (http cache)
+(def (http cache)
(-> Cache (http.Client IO))
(implementation
- (def: (request method url headers input)
+ (def (request method url headers input)
(do io.monad
[_ (is (IO Any)
(case [method input]
@@ -75,7 +75,7 @@
(in [])))]
(in {try.#Success ..good_upload})))))
-(def: (verify_one expected_deployments address package cache expected_artifact actual_artifact)
+(def (verify_one expected_deployments address package cache expected_artifact actual_artifact)
(-> Nat URL Package (Dictionary URL Binary) Artifact Artifact Bit)
(let [url (is (-> URI URL)
(|>> (format address)))
@@ -131,7 +131,7 @@
artifact_metadata_upload!
project_metadata_upload!)))
-(def: bundle
+(def bundle
(Random [Dependency Artifact Package])
(do random.monad
[[profile package] $///package.random
@@ -143,7 +143,7 @@
artifact/type.lux_library])]]
(in [dependency artifact package])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 598b7fa24..ae4366042 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -48,7 +48,7 @@
["[1][0]" repository (.only Mock)
["[1]/[0]" origin]]]]])
-(def: random
+(def random
(Random /.Resolution)
(do [! random.monad]
[artifact $///artifact.random
@@ -58,51 +58,51 @@
package
/.empty))))
-(def: lux_sha-1
+(def lux_sha-1
Text
(format ///artifact/extension.lux_library ///artifact/extension.sha-1))
-(def: lux_md5
+(def lux_md5
Text
(format ///artifact/extension.lux_library ///artifact/extension.md5))
-(def: pom_sha-1
+(def pom_sha-1
Text
(format ///artifact/extension.pom ///artifact/extension.sha-1))
-(def: pom_md5
+(def pom_md5
Text
(format ///artifact/extension.pom ///artifact/extension.md5))
-(def: sha-1
+(def sha-1
(-> Binary Binary)
(|>> ///hash.sha-1
(at ///hash.sha-1_codec encoded)
(at utf8.codec encoded)))
-(def: md5
+(def md5
(-> Binary Binary)
(|>> ///hash.md5
(at ///hash.md5_codec encoded)
(at utf8.codec encoded)))
-(def: .public nope
+(def .public nope
(Mock Any)
(implementation
- (def: the_description
+ (def the_description
"[0]")
- (def: (on_download uri state)
+ (def (on_download uri state)
{try.#Failure "NOPE"})
- (def: (on_upload uri binary state)
+ (def (on_upload uri binary state)
{try.#Failure "NOPE"})))
-(def: .public (single artifact package)
+(def .public (single artifact package)
(-> Artifact Package (Mock Any))
(let [expected (///artifact.uri (the ///artifact.#version artifact) artifact)]
(implementation
- (def: the_description
+ (def the_description
"[1]")
- (def: (on_download uri state)
+ (def (on_download uri state)
(if (text.contains? expected uri)
(let [library (is Binary
(|> package
@@ -135,15 +135,15 @@
... else
{try.#Failure "NOPE"}))
{try.#Failure "NOPE"}))
- (def: (on_upload uri binary state)
+ (def (on_upload uri binary state)
{try.#Failure "NOPE"}))))
-(def: (bad_sha-1 expected_artifact expected_package dummy_package)
+(def (bad_sha-1 expected_artifact expected_package dummy_package)
(-> Artifact Package Package (Mock Any))
(implementation
- (def: the_description
+ (def the_description
"[~SHA-1]")
- (def: (on_download uri state)
+ (def (on_download uri state)
(if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state (|> expected_package
@@ -188,15 +188,15 @@
... else
{try.#Failure "NOPE"})
{try.#Failure "NOPE"}))
- (def: (on_upload uri binary state)
+ (def (on_upload uri binary state)
{try.#Failure "NOPE"})))
-(def: (bad_md5 expected_artifact expected_package dummy_package)
+(def (bad_md5 expected_artifact expected_package dummy_package)
(-> Artifact Package Package (Mock Any))
(implementation
- (def: the_description
+ (def the_description
"[~MD5]")
- (def: (on_download uri state)
+ (def (on_download uri state)
(if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state (|> expected_package
@@ -241,10 +241,10 @@
... else
{try.#Failure "NOPE"})
{try.#Failure "NOPE"}))
- (def: (on_upload uri binary state)
+ (def (on_upload uri binary state)
{try.#Failure "NOPE"})))
-(def: one
+(def one
Test
(do [! random.monad]
[expected_artifact $///artifact.random
@@ -289,7 +289,7 @@
))
))))
-(def: any
+(def any
Test
(do [! random.monad]
[expected_artifact $///artifact.random
@@ -336,7 +336,7 @@
false))))
)))
-(def: artifacts
+(def artifacts
(Random [Artifact Artifact Artifact])
(do random.monad
[dependee_artifact $///artifact.random
@@ -349,7 +349,7 @@
$///artifact.random)]
(in [dependee_artifact depender_artifact ignored_artifact])))
-(def: (packages [dependee_artifact depender_artifact ignored_artifact])
+(def (packages [dependee_artifact depender_artifact ignored_artifact])
(-> [Artifact Artifact Artifact]
(Random [[Dependency Dependency Dependency]
[Package Package Package]]))
@@ -397,7 +397,7 @@
(in [[dependee depender ignored]
[dependee_package depender_package ignored_package]])))
-(def: all
+(def all
Test
(do [! random.monad]
[[dependee_artifact depender_artifact ignored_artifact] ..artifacts
@@ -427,7 +427,7 @@
(not (dictionary.key? resolution ignored))))))
)))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Resolution])
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 6b59fa394..ef3d704f6 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -18,7 +18,7 @@
["//[1]" ///
["[1][0]" hash]]]])
-(def: .public random
+(def .public random
(Random /.Status)
(all random.or
(random#in [])
@@ -28,7 +28,7 @@
($///hash.random ///hash.md5))
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Status]
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index b4ef53c73..28d912a48 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -25,7 +25,7 @@
[data
["_[0]" binary]]]])
-(def: .public (random hash)
+(def .public (random hash)
(All (_ h)
(-> (-> Binary (/.Hash h))
(Random (/.Hash h))))
@@ -33,7 +33,7 @@
[size (at ! each (n.% 100) random.nat)]
(at ! each hash (_binary.random size))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Hash /.SHA-1 /.MD5])
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index 6932ccf56..47d8bf0c9 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -31,17 +31,17 @@
[repository
[remote (.only Address)]]]]])
-(def: (with_default_source sources)
+(def (with_default_source sources)
(-> (Set //.Source) (Set //.Source))
(if (set.empty? sources)
(set.has //.default_source sources)
sources))
-(def: with_default_repository
+(def with_default_repository
(-> (Set Address) (Set Address))
(set.has //.default_repository))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index d5f058050..9adef30d6 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -15,7 +15,7 @@
["/[1]" //
["[1][0]" artifact]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index bdac5dfac..f5179d2a9 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -16,7 +16,7 @@
[\\program
["[0]" /]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(all _.and
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 041bad539..a43777707 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -41,7 +41,7 @@
["[1][0]" repository
["[1]/[0]" local]]]]]])
-(def: .public random
+(def .public random
(Random /.Metadata)
(all random.and
(random.alphabetic 5)
@@ -66,7 +66,7 @@
time.#milli_second 0])]
(in (instant.of_date_time date time))))))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 7cff9954a..a40ed0553 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -49,7 +49,7 @@
["[1][0]" repository
["[1]/[0]" local]]]]]])
-(def: random_instant
+(def random_instant
(Random Instant)
(do [! random.monad]
[year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
@@ -70,7 +70,7 @@
time.#milli_second 0])]
(in (instant.of_date_time date time)))))))
-(def: random_versioning
+(def random_versioning
(Random Versioning)
(all random.and
(random#in {///snapshot.#Local})
@@ -78,14 +78,14 @@
(random.list 5 $///artifact/snapshot/version.random)
))
-(def: .public random
+(def .public random
(Random /.Metadata)
(all random.and
$///artifact.random
..random_versioning
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 2e669228a..42eded5a5 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -40,7 +40,7 @@
[repository
["[1][0]" origin]]]]])
-(def: .public random
+(def .public random
(Random [//.Profile /.Package])
(do [! random.monad]
[content_size (at ! each (n.% 100) random.nat)
@@ -53,7 +53,7 @@
$profile.random)]
(in [profile (/.local pom content)])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Package])
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 945576470..f887958b2 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -33,27 +33,27 @@
["[1][0]" dependency (.only Dependency)]
["[1][0]" format]]]])
-(def: name
+(def name
(Random //.Name)
(random.alphabetic 1))
-(def: (list_of random)
+(def (list_of random)
(All (_ a) (-> (Random a) (Random (List a))))
(do [! random.monad]
[size (at ! each (n.% 5) random.nat)]
(random.list size random)))
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
(All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
(at random.functor each
(dictionary.of_list key_hash)
(..list_of (random.and key_random value_random))))
-(def: random
+(def random
(Random Project)
(..dictionary_of text.hash ..name @profile.random))
-(def: with_default_sources
+(def with_default_sources
(-> //.Profile //.Profile)
(revised //.#sources
(is (-> (Set //.Source) (Set //.Source))
@@ -62,17 +62,17 @@
(set.of_list text.hash (list //.default_source))
sources)))))
-(def: with_default_repository
+(def with_default_repository
(-> //.Profile //.Profile)
(revised //.#repositories (set.has //.default_repository)))
-(def: (with_empty_profile project)
+(def (with_empty_profile project)
(-> Project Project)
(if (dictionary.empty? project)
(//project.project //.default (at //.monoid identity))
project))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.covering //format._)
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index ab19c1c7f..e72eef0ef 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -22,7 +22,7 @@
["/[1]" //
["[1]" profile]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(all _.and
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 5a040973e..a71284333 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -39,62 +39,62 @@
[repository
[remote (.only Address)]]]]])
-(def: distribution
+(def distribution
(Random /.Distribution)
(random.or (random#in [])
(random#in [])))
-(def: license
+(def license
(Random /.License)
(all random.and
(random.alphabetic 1)
(random.alphabetic 1)
..distribution))
-(def: scm
+(def scm
(Random /.SCM)
(random.alphabetic 1))
-(def: organization
+(def organization
(Random /.Organization)
(all random.and
(random.alphabetic 1)
(random.alphabetic 1)))
-(def: email
+(def email
(Random /.Email)
(random.alphabetic 1))
-(def: developer
+(def developer
(Random /.Developer)
(all random.and
(random.alphabetic 1)
(random.alphabetic 1)
(random.maybe organization)))
-(def: contributor
+(def contributor
(Random /.Contributor)
..developer)
-(def: (list_of random)
+(def (list_of random)
(All (_ a) (-> (Random a) (Random (List a))))
(do [! random.monad]
[size (at ! each (n.% 5) random.nat)]
(random.list size random)))
-(def: (set_of hash random)
+(def (set_of hash random)
(All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
(at random.functor each
(set.of_list hash)
(..list_of random)))
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
(All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
(at random.functor each
(dictionary.of_list key_hash)
(..list_of (random.and key_random value_random))))
-(def: info
+(def info
(Random /.Info)
(all random.and
(random.maybe (random.alphabetic 1))
@@ -107,23 +107,23 @@
(..list_of ..contributor)
))
-(def: name
+(def name
(Random /.Name)
(random.alphabetic 1))
-(def: repository
+(def repository
(Random Address)
(random.alphabetic 1))
-(def: source
+(def source
(Random /.Source)
(random.alphabetic 1))
-(def: target
+(def target
(Random /.Target)
(random.alphabetic 1))
-(def: .public random
+(def .public random
(Random /.Profile)
(all random.and
(..list_of ..name)
@@ -147,7 +147,7 @@
(random#in //runtime.default_ruby)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Distribution /.License /.SCM /.Organization
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index d0f658040..e66284a31 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -24,19 +24,19 @@
["/[1]" //
["[1]" profile]]]])
-(def: profile
+(def profile
(Random [//.Name //.Profile])
(|> @profile.random
(random#each (has //.#parents (list)))
(random.and (random.alphabetic 1))))
-(def: .public random
+(def .public random
(Random /.Project)
(do random.monad
[[name profile] ..profile]
(in (/.project name profile))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Project /.project]
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 6b4feec76..5ef8a77c8 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -38,7 +38,7 @@
["[1][0]" artifact (.only Version Artifact)
["[1]/[0]" extension (.only Extension)]]]]])
-(def: artifact
+(def artifact
(-> Version Artifact)
(|>> ["com.github.luxlang" "test-artifact"]))
@@ -53,24 +53,24 @@
(type: Store
(Dictionary URI Binary))
-(def: .public empty
+(def .public empty
Store
(dictionary.empty text.hash))
-(def: valid_version
+(def valid_version
Version
"1.2.3-YES")
-(def: invalid_version
+(def invalid_version
Version
"4.5.6-NO")
-(def: .public mock
+(def .public mock
(/.Mock Store)
(implementation
- (def: the_description
+ (def the_description
"@")
- (def: (on_download uri state)
+ (def (on_download uri state)
(case (dictionary.value uri state)
{.#Some content}
(case (binary.size content)
@@ -79,12 +79,12 @@
{.#None}
(exception.except ..not_found [uri])))
- (def: (on_upload uri content state)
+ (def (on_upload uri content state)
(if (dictionary.key? state uri)
(exception.except ..cannot_upload [uri])
{try.#Success (dictionary.has uri content state)}))))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(all _.and
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]
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 58d539584..dfe5abfac 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -20,7 +20,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Runtime)
(all random.either
(random#in /.default_java)
@@ -30,7 +30,7 @@
(random#in /.default_ruby)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Runtime])