aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux32
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux28
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux42
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux28
-rw-r--r--stdlib/source/test/aedifex/cache.lux36
-rw-r--r--stdlib/source/test/aedifex/cli.lux46
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux8
-rw-r--r--stdlib/source/test/aedifex/command/build.lux52
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux4
-rw-r--r--stdlib/source/test/aedifex/command/install.lux12
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux16
-rw-r--r--stdlib/source/test/aedifex/command/test.lux10
-rw-r--r--stdlib/source/test/aedifex/command/version.lux4
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux42
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux82
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux12
-rw-r--r--stdlib/source/test/aedifex/hash.lux42
-rw-r--r--stdlib/source/test/aedifex/input.lux4
-rw-r--r--stdlib/source/test/aedifex/local.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata.lux42
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux40
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux40
-rw-r--r--stdlib/source/test/aedifex/package.lux108
-rw-r--r--stdlib/source/test/aedifex/parser.lux40
-rw-r--r--stdlib/source/test/aedifex/pom.lux46
-rw-r--r--stdlib/source/test/aedifex/profile.lux20
-rw-r--r--stdlib/source/test/aedifex/project.lux52
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux14
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux70
-rw-r--r--stdlib/source/test/aedifex/runtime.lux30
41 files changed, 560 insertions, 560 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index e3a533036..150724ade 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -49,9 +49,9 @@
(_.for [/.hash]
($hash.spec /.hash ..random))
- (_.cover [/.format /.identity]
- (and (text.ends_with? (/.identity sample) (/.format sample))
- (not (text#= (/.identity sample) (/.format sample)))))
+ (_.coverage [/.format /.identity]
+ (and (text.ends_with? (/.identity sample) (/.format sample))
+ (not (text#= (/.identity sample) (/.format sample)))))
/extension.test
/snapshot.test
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index b71b0c001..ab6bc4949 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -23,21 +23,21 @@
(<| (_.covering /._)
(_.for [/.Extension]
(all _.and
- (_.cover [/.lux_library /.jvm_library /.pom
- /.sha-1 /.md5]
- (let [options (list /.lux_library /.jvm_library /.pom /.sha-1 /.md5)
- uniques (set.of_list text.hash options)]
- (n.= (list.size options)
- (set.size uniques))))
- (_.cover [/.extension /.type]
- (`` (and (~~ (template [<type> <extension>]
- [(and (text#= <extension>
- (/.extension <type>))
- (text#= <type>
- (/.type (/.extension <type>))))]
+ (_.coverage [/.lux_library /.jvm_library /.pom
+ /.sha-1 /.md5]
+ (let [options (list /.lux_library /.jvm_library /.pom /.sha-1 /.md5)
+ uniques (set.of_list text.hash options)]
+ (n.= (list.size options)
+ (set.size uniques))))
+ (_.coverage [/.extension /.type]
+ (`` (and (~~ (template [<type> <extension>]
+ [(and (text#= <extension>
+ (/.extension <type>))
+ (text#= <type>
+ (/.type (/.extension <type>))))]
- [//.lux_library /.lux_library]
- [//.jvm_library /.jvm_library]
- [//.pom /.pom]
- )))))
+ [//.lux_library /.lux_library]
+ [//.jvm_library /.jvm_library]
+ [//.pom /.pom]
+ )))))
))))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index cea873a6e..e44ba514c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -35,13 +35,13 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
$/build.test
$/stamp.test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index b03fe7f10..36267e060 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -29,11 +29,11 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
))))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 181e39523..25134c0cb 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -37,10 +37,10 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
)))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 4e8a63fe5..cde73c729 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -32,11 +32,11 @@
(do random.monad
[expected ..random]
(all _.and
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
))
)))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 47c276dc8..53e45aa9e 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -38,13 +38,13 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
/value.test
)))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 2b32260c5..81df110ce 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -60,7 +60,7 @@
remote_format)
(text.ends_with? (%.nat (the ///stamp.#build stamp))
remote_format))]
- (_.cover [/.snapshot /.format]
- (and local!
- remote!))))
+ (_.coverage [/.snapshot /.format]
+ (and local!
+ remote!))))
)))
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index d8f67e45a..521b07e9e 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -39,22 +39,22 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
(do random.monad
[expected ..random]
- (_.cover [/.instant /.of_instant]
- (|> expected
- /.instant
- /.of_instant
- (try#each (# /.equivalence = expected))
- (try.else false))))
- (_.cover [/.epoch]
- (instant#= instant.epoch (/.instant /.epoch)))
+ (_.coverage [/.instant /.of_instant]
+ (|> expected
+ /.instant
+ /.of_instant
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
+ (_.coverage [/.epoch]
+ (instant#= instant.epoch (/.instant /.epoch)))
/date.test
/time.test
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 9f5169d78..48e4188a4 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -45,25 +45,25 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false)))
- (_.cover [/.value /.date]
- (|> expected
- /.value
- /.date
- (try#each (# /.equivalence = expected))
- (try.else false)))
- (_.cover [/.year_is_out_of_range]
- (case (/.date candidate)
- {try.#Success date}
- (same? candidate (/.value date))
-
- {try.#Failure error}
- (exception.match? /.year_is_out_of_range error)))
- (_.cover [/.epoch]
- (date#= date.epoch (/.value /.epoch)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
+ (_.coverage [/.value /.date]
+ (|> expected
+ /.value
+ /.date
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
+ (_.coverage [/.year_is_out_of_range]
+ (case (/.date candidate)
+ {try.#Success date}
+ (same? candidate (/.value date))
+
+ {try.#Failure error}
+ (exception.match? /.year_is_out_of_range error)))
+ (_.coverage [/.epoch]
+ (date#= date.epoch (/.value /.epoch)))
))))
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index da0589d93..70fc9dddf 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -31,10 +31,10 @@
(all _.and
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# time.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# time.equivalence = expected))
+ (try.else false))))
)))
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index a5592e3ef..4166828f8 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -33,11 +33,11 @@
(<| (_.covering /._)
(_.for [/.Type]
(all _.and
- (_.cover [/.lux_library /.jvm_library /.js_library
- /.pom /.md5 /.sha-1]
- (let [options (list /.lux_library /.jvm_library /.js_library
- /.pom /.md5 /.sha-1)
- uniques (set.of_list text.hash options)]
- (n.= (list.size options)
- (set.size uniques))))
+ (_.coverage [/.lux_library /.jvm_library /.js_library
+ /.pom /.md5 /.sha-1]
+ (let [options (list /.lux_library /.jvm_library /.js_library
+ /.pom /.md5 /.sha-1)
+ uniques (set.of_list text.hash options)]
+ (n.= (list.size options)
+ (set.size uniques))))
))))
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index bc029a46a..683468bcf 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -37,18 +37,18 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
- (_.cover [/.init]
- (|> /.init
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = /.init))
- (try.else false)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
+ (_.coverage [/.init]
+ (|> /.init
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = /.init))
+ (try.else false)))
)))
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index a641ee369..690ff01ff 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -110,14 +110,14 @@
(in (do async.monad
[wrote! (/.write_one program fs dependency expected_package)
read! (/.read_one program fs dependency)]
- (_.cover' [/.write_one /.read_one]
- (<| (try.else false)
- (do try.monad
- [_ wrote!
- actual_package read!]
- (in (# //package.equivalence =
- (has //package.#origin {//repository/origin.#Local ""} expected_package)
- actual_package)))))))))
+ (_.coverage' [/.write_one /.read_one]
+ (<| (try.else false)
+ (do try.monad
+ [_ wrote!
+ actual_package read!]
+ (in (# //package.equivalence =
+ (has //package.#origin {//repository/origin.#Local ""} expected_package)
+ actual_package)))))))))
(def: plural
Test
@@ -131,16 +131,16 @@
(in (do async.monad
[wrote! (/.write_all program fs expected)
read! (/.read_all program fs (dictionary.keys expected) //dependency/resolution.empty)]
- (_.cover' [/.write_all /.read_all]
- (<| (try.else false)
- (do try.monad
- [_ wrote!
- actual read!]
- (in (# //dependency/resolution.equivalence =
- (# dictionary.functor each
- (has //package.#origin {//repository/origin.#Local ""})
- expected)
- actual)))))))))
+ (_.coverage' [/.write_all /.read_all]
+ (<| (try.else false)
+ (do try.monad
+ [_ wrote!
+ actual read!]
+ (in (# //dependency/resolution.equivalence =
+ (# dictionary.functor each
+ (has //package.#origin {//repository/origin.#Local ""})
+ expected)
+ actual)))))))))
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index c02ae8c4f..4f4de026a 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -72,35 +72,35 @@
Test
(do random.monad
[expected ..command]
- (_.test "Without profile."
- (|> expected
- ..format
- (cli.result /.command)
- (pipe.case
- {try.#Success [names actual]}
- (and (# (list.equivalence text.equivalence) = (list //.default) names)
- (# /.equivalence = expected actual))
-
- {try.#Failure error}
- false)))))
+ (_.property "Without profile."
+ (|> expected
+ ..format
+ (cli.result /.command)
+ (pipe.case
+ {try.#Success [names actual]}
+ (and (# (list.equivalence text.equivalence) = (list //.default) names)
+ (# /.equivalence = expected actual))
+
+ {try.#Failure error}
+ false)))))
(def: with_profile
Test
(do random.monad
[expected_profile (random.alphabetic 1)
expected_command ..command]
- (_.test "With profile."
- (|> expected_command
- ..format
- (partial_list "with" expected_profile)
- (cli.result /.command)
- (pipe.case
- {try.#Success [actual_profile actual_command]}
- (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
- (# /.equivalence = expected_command actual_command))
-
- {try.#Failure error}
- false)))))
+ (_.property "With profile."
+ (|> expected_command
+ ..format
+ (partial_list "with" expected_profile)
+ (cli.result /.command)
+ (pipe.case
+ {try.#Success [actual_profile actual_command]}
+ (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
+ (# /.equivalence = expected_command actual_command))
+
+ {try.#Failure error}
+ false)))))
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 4bc2dec70..7a1e7dc35 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -91,8 +91,8 @@
dummy_path (# ! each (|>> (format source /)) (random.alphabetic 5))
[compiler resolution] $build.resolution]
(all _.and
- (_.cover [/.delay]
- (n.> 0 /.delay))
+ (_.coverage [/.delay]
+ (n.> 0 /.delay))
(in (do async.monad
[verdict (do ///action.monad
[_ (# fs make_directory source)
@@ -120,6 +120,6 @@
(# ! each (n.= expected_runs)))]
(in {try.#Success (and correct_number_of_runs!
no_dangling_process!)})))]
- (_.cover' [/.do!]
- (try.else false verdict))))
+ (_.coverage' [/.do!]
+ (try.else false verdict))))
))))
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 008908479..4d813a8ad 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -162,22 +162,22 @@
(in (do async.monad
[outcome (/.do! (@version.echo "") (program.async (program.mock environment.empty home working_directory)) fs shell ///dependency/resolution.empty
(with_target empty_profile))]
- (_.cover' [/.no_specified_program]
- (case outcome
- {try.#Success _}
- false
+ (_.coverage' [/.no_specified_program]
+ (case outcome
+ {try.#Success _}
+ false
- {try.#Failure error}
- (exception.match? /.no_specified_program error)))))
+ {try.#Failure error}
+ (exception.match? /.no_specified_program error)))))
(in (do async.monad
[outcome (/.do! (@version.echo "") (program.async (program.mock environment.empty home working_directory)) fs shell ///dependency/resolution.empty profile)]
- (_.cover' [/.Lux /.no_available_lux]
- (case outcome
- {try.#Success _}
- false
+ (_.coverage' [/.Lux /.no_available_lux]
+ (case outcome
+ {try.#Success _}
+ false
- {try.#Failure error}
- (exception.match? /.no_available_lux error)))))
+ {try.#Failure error}
+ (exception.match? /.no_available_lux error)))))
(do !
[.let [console (@version.echo "")]
[compiler resolution] ..resolution]
@@ -190,16 +190,16 @@
end (# console read_line [])]
(in (and (text#= /.start start)
(text#= /.success end))))]
- (_.cover' [/.do!
- /.lux_group
- /.jvm_lux_name
- /.js_lux_name
- /.python_lux_name
- /.lua_lux_name
- /.ruby_lux_name
- /.start
- /.success]
- (try.else false verdict)))))
+ (_.coverage' [/.do!
+ /.lux_group
+ /.jvm_lux_name
+ /.js_lux_name
+ /.python_lux_name
+ /.lua_lux_name
+ /.ruby_lux_name
+ /.start
+ /.success]
+ (try.else false verdict)))))
(do !
[.let [console (@version.echo "")]
[compiler resolution] ..resolution]
@@ -212,8 +212,8 @@
end (# console read_line [])]
(in (and (text#= /.start start)
(text#= /.failure end))))]
- (_.cover' [/.failure]
- (try.else false verdict)))))
+ (_.coverage' [/.failure]
+ (try.else false verdict)))))
(do !
[expected/0 (random.alphabetic 5)
expected/1 (random.alphabetic 5)
@@ -243,8 +243,8 @@
(text#= expected/1 actual/1)
(text#= expected/2 actual/2)
end!)))]
- (_.cover' [<log!>]
- (try.else false verdict)))))]
+ (_.coverage' [<log!>]
+ (try.else false verdict)))))]
[#0 /.log_output!]
[#1 /.log_error!]
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index c64a5e1b7..90dd9c8b9 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -115,5 +115,5 @@
(and sub_exists!/pre
(not sub_exists!/post))
(text#= (/.success target_path) logging))))]
- (_.cover' [/.do! /.success]
- (try.else false verdict)))))))
+ (_.coverage' [/.do! /.success]
+ (try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index f414f5d2b..67e1bf702 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -130,5 +130,5 @@
deployed_pom!
deployed_sha-1!
deployed_md5!)))]
- (_.cover' [/.do! /.success]
- (try.else false verdict)))))))
+ (_.coverage' [/.do! /.success]
+ (try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 101eaa542..aeffb80f5 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -126,5 +126,5 @@
had_dependee_after!
had_depender_after!)))]
- (_.cover' [/.do!]
- (try.else false verdict)))))))
+ (_.coverage' [/.do!]
+ (try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index d89a7a7a6..e0392fd56 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -92,14 +92,14 @@
(in (and succeeded!
library_exists!
pom_exists!)))]
- (_.cover' [/.do! /.success]
- (try.else false verdict))))
+ (_.coverage' [/.do! /.success]
+ (try.else false verdict))))
(in (do [! async.monad]
[.let [fs (file.mock /)
program (program.async (program.mock environment.empty home working_directory))]
logging (..execute! program fs (has ///.#identity {.#None} sample))]
- (_.cover' [/.failure]
- (|> logging
- (try#each (text#= /.failure))
- (try.else false)))))
+ (_.coverage' [/.failure]
+ (|> logging
+ (try#each (text#= /.failure))
+ (try.else false)))))
))))
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 464189af0..54312e388 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -57,14 +57,14 @@
(binary#= expected actual)]]
(in (and logging!
expected_content!)))]
- (_.cover' [/.do! /.success]
- (try.else false verdict)))
+ (_.coverage' [/.do! /.success]
+ (try.else false verdict)))
{try.#Failure error}
- (_.cover' [/.do!]
- (case (the ///.#identity sample)
- {.#Some _}
- false
+ (_.coverage' [/.do!]
+ (case (the ///.#identity sample)
+ {.#Some _}
+ false
- {.#None}
- true))))))))
+ {.#None}
+ true))))))))
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 862597b79..eec957702 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -74,9 +74,9 @@
(text#= //build.success build_end))
(and (text#= /.start test_start)
(text#= /.success test_end)))))]
- (_.cover' [/.do!
- /.start /.success]
- (try.else false verdict)))))
+ (_.coverage' [/.do!
+ /.start /.success]
+ (try.else false verdict)))))
(let [fs (file.mock (# file.default separator))
console (@version.echo "")]
(in (do async.monad
@@ -110,6 +110,6 @@
(text#= //build.success build_end))
(and (text#= /.start test_start)
(text#= /.failure test_end)))))]
- (_.cover' [/.failure]
- (try.else false verdict)))))
+ (_.coverage' [/.failure]
+ (try.else false verdict)))))
))))
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index fff234d52..5a0fbf681 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -74,5 +74,5 @@
logging (# console read_line [])]
(in (text#= (version.format lux_version.latest)
logging)))]
- (_.cover' [/.do!]
- (try.else false verdict)))))))
+ (_.coverage' [/.do!]
+ (try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 12b175534..f9f5e6763 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -159,10 +159,10 @@
(in (do async.monad
[?outcome (/.one repository dependency package)
cache (async.future (atom.read! cache))]
- (_.cover' [/.one]
- (|> ?outcome
- (try#each (verify_one 1 address package cache expected_artifact))
- (try.else false))))))
+ (_.coverage' [/.one]
+ (|> ?outcome
+ (try#each (verify_one 1 address package cache expected_artifact))
+ (try.else false))))))
(do [! random.monad]
[.let [hash (is (Hash [Dependency Artifact Package])
(# hash.functor each (|>> product.right product.left product.left)
@@ -182,23 +182,23 @@
(in (do async.monad
[?outcome (/.all repository resolution)
cache (async.future (atom.read! cache))]
- (_.cover' [/.all]
- (|> ?outcome
- (try#each (function (_ actual_artifacts)
- (let [expected_deployments!
- (n.= num_bundles (set.size actual_artifacts))
+ (_.coverage' [/.all]
+ (|> ?outcome
+ (try#each (function (_ actual_artifacts)
+ (let [expected_deployments!
+ (n.= num_bundles (set.size actual_artifacts))
- every_deployment_was_correct!
- (list.every? (function (_ [dependency expected_artifact package])
- (let [deployed!
- (set.member? actual_artifacts expected_artifact)
+ every_deployment_was_correct!
+ (list.every? (function (_ [dependency expected_artifact package])
+ (let [deployed!
+ (set.member? actual_artifacts expected_artifact)
- deployed_correctly!
- (verify_one num_bundles address package cache expected_artifact expected_artifact)]
- (and deployed!
- deployed_correctly!)))
- bundles)]
- (and expected_deployments!
- every_deployment_was_correct!))))
- (try.else false))))))
+ deployed_correctly!
+ (verify_one num_bundles address package cache expected_artifact expected_artifact)]
+ (and deployed!
+ deployed_correctly!)))
+ bundles)]
+ (and expected_deployments!
+ every_deployment_was_correct!))))
+ (try.else false))))))
))))
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 1233cd1cb..e5db7fe3c 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -262,27 +262,27 @@
[actual_package (/.one (///repository.mock good [])
[///dependency.#artifact expected_artifact
///dependency.#type ///artifact/type.lux_library])]
- (_.cover' [/.one]
- (case actual_package
- {try.#Success actual_package}
- (# ///package.equivalence =
- (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
- actual_package)
-
- {try.#Failure _}
- false))))
+ (_.coverage' [/.one]
+ (case actual_package
+ {try.#Success actual_package}
+ (# ///package.equivalence =
+ (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
+ actual_package)
+
+ {try.#Failure _}
+ false))))
(~~ (template [<exception> <bad>]
[(in (do async.monad
[actual_package (/.one (///repository.mock <bad> [])
[///dependency.#artifact expected_artifact
///dependency.#type ///artifact/type.lux_library])]
- (_.cover' [<exception>]
- (case actual_package
- {try.#Failure error}
- (exception.match? <exception> error)
+ (_.coverage' [<exception>]
+ (case actual_package
+ {try.#Failure error}
+ (exception.match? <exception> error)
- {try.#Success _}
- false))))]
+ {try.#Success _}
+ false))))]
[/.sha-1_does_not_match bad_sha-1]
[/.md5_does_not_match bad_md5]
@@ -311,15 +311,15 @@
(///repository.mock good []))
[///dependency.#artifact expected_artifact
///dependency.#type ///artifact/type.lux_library])]
- (_.cover' [/.any]
- (case actual_package
- {try.#Success actual_package}
- (# ///package.equivalence =
- (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
- actual_package)
-
- {try.#Failure _}
- false))))
+ (_.coverage' [/.any]
+ (case actual_package
+ {try.#Success actual_package}
+ (# ///package.equivalence =
+ (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
+ actual_package)
+
+ {try.#Failure _}
+ false))))
(in (do async.monad
[.let [console ($///version.echo "")]
actual_package (/.any console
@@ -327,13 +327,13 @@
(///repository.mock bad_md5 []))
[///dependency.#artifact expected_artifact
///dependency.#type ///artifact/type.lux_library])]
- (_.cover' [/.cannot_resolve]
- (case actual_package
- {try.#Failure error}
- (exception.match? /.cannot_resolve error)
+ (_.coverage' [/.cannot_resolve]
+ (case actual_package
+ {try.#Failure error}
+ (exception.match? /.cannot_resolve error)
- {try.#Success _}
- false))))
+ {try.#Success _}
+ false))))
)))
(def: artifacts
@@ -416,15 +416,15 @@
(///repository.mock ..nope []))
(list depender)
/.empty)]
- (_.cover' [/.all]
- (and (dictionary.key? resolution depender)
- (list.any? (///dependency#= depender) successes)
-
- (dictionary.key? resolution dependee)
- (list.any? (///dependency#= dependee) successes)
-
- (list.empty? failures)
- (not (dictionary.key? resolution ignored))))))
+ (_.coverage' [/.all]
+ (and (dictionary.key? resolution depender)
+ (list.any? (///dependency#= depender) successes)
+
+ (dictionary.key? resolution dependee)
+ (list.any? (///dependency#= dependee) successes)
+
+ (list.empty? failures)
+ (not (dictionary.key? resolution ignored))))))
)))
(def: .public test
@@ -435,8 +435,8 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
- (_.cover [/.empty]
- (dictionary.empty? /.empty))
+ (_.coverage [/.empty]
+ (dictionary.empty? /.empty))
..one
..any
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 948de489f..5f221b4e4 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -38,11 +38,11 @@
(do random.monad
[payload (binaryT.random 1)]
- (_.cover [/.verified]
- (case (/.verified payload)
- {/.#Verified sha1 md5}
- true
+ (_.coverage [/.verified]
+ (case (/.verified payload)
+ {/.#Verified sha1 md5}
+ true
- _
- false)))
+ _
+ false)))
))))
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 804708085..339c7c3b4 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -48,21 +48,21 @@
(~~ (template [<hash> <constructor> <exception>]
[(do random.monad
[expected (..random <hash>)]
- (_.cover [<hash> <constructor> <exception>]
- (and (case (<constructor> (/.data expected))
- {try.#Success actual}
- (# /.equivalence = expected actual)
+ (_.coverage [<hash> <constructor> <exception>]
+ (and (case (<constructor> (/.data expected))
+ {try.#Success actual}
+ (# /.equivalence = expected actual)
- {try.#Failure error}
- false)
- (case (<constructor> (# binary.monoid composite
- (/.data expected)
- (/.data expected)))
- {try.#Success actual}
- false
+ {try.#Failure error}
+ false)
+ (case (<constructor> (# binary.monoid composite
+ (/.data expected)
+ (/.data expected)))
+ {try.#Success actual}
+ false
- {try.#Failure error}
- (exception.match? <exception> error)))))]
+ {try.#Failure error}
+ (exception.match? <exception> error)))))]
[/.sha-1 /.as_sha-1 /.not_a_sha-1]
[/.md5 /.as_md5 /.not_a_md5]
@@ -79,15 +79,15 @@
(~~ (template [<codec> <hash>]
[(do random.monad
[expected (..random <hash>)]
- (_.cover [<codec>]
- (case (# <codec> decoded
- (format (# <codec> encoded expected)
- "AABBCC"))
- {try.#Success actual}
- false
+ (_.coverage [<codec>]
+ (case (# <codec> decoded
+ (format (# <codec> encoded expected)
+ "AABBCC"))
+ {try.#Success actual}
+ false
- {try.#Failure error}
- (exception.match? /.not_a_hash error))))]
+ {try.#Failure error}
+ (exception.match? /.not_a_hash error))))]
[/.sha-1_codec /.sha-1]
[/.md5_codec /.md5]
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index bb4d7aa87..5cc687a7b 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -63,5 +63,5 @@
(revised //.#sources ..with_default_source)
(revised //.#repositories ..with_default_repository))
actual)))]
- (_.cover' [/.read]
- (try.else false verdict)))))))
+ (_.coverage' [/.read]
+ (try.else false verdict)))))))
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index c46a1679d..58f1c019e 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -21,7 +21,7 @@
(do [! random.monad]
[sample @artifact.random]
(all _.and
- (_.cover [/.repository /.uri]
- (text.starts_with? /.repository
- (/.uri (the //artifact.#version sample) sample)))
+ (_.coverage [/.repository /.uri]
+ (text.starts_with? /.repository
+ (/.uri (the //artifact.#version sample) sample)))
))))
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 5ff5988ee..20c67f929 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -23,27 +23,27 @@
(do random.monad
[sample $artifact.random]
(all _.and
- (_.cover [/.remote_artifact_uri /.remote_project_uri]
- (not (text#= (/.remote_artifact_uri sample)
- (/.remote_project_uri sample))))
- (_.cover [/.local_uri]
- (let [remote_artifact_uri (/.remote_artifact_uri sample)
- remote_project_uri (/.remote_project_uri sample)]
- (and (not (text#= remote_artifact_uri (/.local_uri remote_artifact_uri)))
- (not (text#= remote_project_uri (/.local_uri remote_project_uri))))))
- (_.cover [/.remote_uri]
- (let [remote_artifact_uri (/.remote_artifact_uri sample)
- remote_project_uri (/.remote_project_uri sample)]
- (and (text#= remote_artifact_uri (/.remote_uri remote_artifact_uri))
- (text#= remote_project_uri (/.remote_uri remote_project_uri))
- (|> remote_artifact_uri
- /.local_uri
- /.remote_uri
- (text#= remote_artifact_uri))
- (|> remote_project_uri
- /.local_uri
- /.remote_uri
- (text#= remote_project_uri)))))
+ (_.coverage [/.remote_artifact_uri /.remote_project_uri]
+ (not (text#= (/.remote_artifact_uri sample)
+ (/.remote_project_uri sample))))
+ (_.coverage [/.local_uri]
+ (let [remote_artifact_uri (/.remote_artifact_uri sample)
+ remote_project_uri (/.remote_project_uri sample)]
+ (and (not (text#= remote_artifact_uri (/.local_uri remote_artifact_uri)))
+ (not (text#= remote_project_uri (/.local_uri remote_project_uri))))))
+ (_.coverage [/.remote_uri]
+ (let [remote_artifact_uri (/.remote_artifact_uri sample)
+ remote_project_uri (/.remote_project_uri sample)]
+ (and (text#= remote_artifact_uri (/.remote_uri remote_artifact_uri))
+ (text#= remote_project_uri (/.remote_uri remote_project_uri))
+ (|> remote_artifact_uri
+ /.local_uri
+ /.remote_uri
+ (text#= remote_artifact_uri))
+ (|> remote_project_uri
+ /.local_uri
+ /.remote_uri
+ (text#= remote_project_uri)))))
))
/artifact.test
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 4a0294d61..02f1a6611 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -84,16 +84,16 @@
(do random.monad
[expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
- (_.cover [/.uri]
- (text#= (//.remote_project_uri artifact)
- (/.uri artifact)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
+ (_.coverage [/.uri]
+ (text#= (//.remote_project_uri artifact)
+ (/.uri artifact)))
(do random.monad
[home (random.lower_case 5)
working_directory (random.lower_case 5)
@@ -103,14 +103,14 @@
(in (do async.monad
[wrote? (/.write repository artifact expected)
actual (/.read repository artifact)]
- (_.cover' [/.write /.read]
- (and (case wrote?
- {try.#Success _} true
- {try.#Failure _} false)
- (case actual
- {try.#Success actual}
- (# /.equivalence = expected actual)
-
- {try.#Failure _}
- false))))))
+ (_.coverage' [/.write /.read]
+ (and (case wrote?
+ {try.#Success _} true
+ {try.#Failure _} false)
+ (case actual
+ {try.#Success actual}
+ (# /.equivalence = expected actual)
+
+ {try.#Failure _}
+ false))))))
))))
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 00cdb05b6..27cffb1f0 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -96,16 +96,16 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false)))
- (_.cover [/.uri]
- (text#= (//.remote_artifact_uri artifact)
- (/.uri artifact)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
+ (_.coverage [/.uri]
+ (text#= (//.remote_artifact_uri artifact)
+ (/.uri artifact)))
(do random.monad
[home (random.lower_case 5)
working_directory (random.lower_case 5)
@@ -115,14 +115,14 @@
(in (do async.monad
[wrote? (/.write repository artifact expected)
actual (/.read repository artifact)]
- (_.cover' [/.write /.read]
- (and (case wrote?
- {try.#Success _} true
- {try.#Failure _} false)
- (case actual
- {try.#Success actual}
- (# /.equivalence = expected actual)
-
- {try.#Failure _}
- false))))))
+ (_.coverage' [/.write /.read]
+ (and (case wrote?
+ {try.#Success _} true
+ {try.#Failure _} false)
+ (case actual
+ {try.#Success actual}
+ (# /.equivalence = expected actual)
+
+ {try.#Failure _}
+ false))))))
))))
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 28d763e4c..4b95cd250 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -63,60 +63,60 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence (# ! each product.right ..random)))
- (_.cover [/.local?]
- (/.local? (has /.#origin {//origin.#Local "~/yolo"} package)))
- (_.cover [/.remote?]
- (/.remote? (has /.#origin {//origin.#Remote "https://example.com"} package)))
- (_.cover [/.local]
- (let [expected_pom (|> package (the /.#pom) product.left)
- expected_library (|> package (the /.#library) product.left)
+ (_.coverage [/.local?]
+ (/.local? (has /.#origin {//origin.#Local "~/yolo"} package)))
+ (_.coverage [/.remote?]
+ (/.remote? (has /.#origin {//origin.#Remote "https://example.com"} package)))
+ (_.coverage [/.local]
+ (let [expected_pom (|> package (the /.#pom) product.left)
+ expected_library (|> package (the /.#library) product.left)
- local (/.local expected_pom expected_library)
+ local (/.local expected_pom expected_library)
- [actual_pom binary_pom pom_status] (the /.#pom local)
- [actual_library library_status] (the /.#library local)]
- (and (case (the /.#origin local)
- {//origin.#Local ""} true
- _ false)
- (let [expected_sha1 (//hash.sha-1 expected_library)
- expected_md5 (//hash.md5 expected_library)]
- (and (same? expected_library actual_library)
- (case library_status
- {//status.#Verified actual_sha1 expected_md5}
- (and (//hash#= expected_sha1 actual_sha1)
- (//hash#= expected_md5 expected_md5))
-
- _
- false)))
- (let [expected_sha1 (//hash.sha-1 binary_pom)
- expected_md5 (//hash.md5 binary_pom)]
- (and (same? expected_pom actual_pom)
- (|> (do try.monad
- [xml_pom (# utf8.codec decoded binary_pom)
- decoded_pom (# xml.codec decoded xml_pom)]
- (in (# xml.equivalence = actual_pom decoded_pom)))
- (try.else false))
- (case pom_status
- {//status.#Verified actual_sha1 expected_md5}
- (and (//hash#= expected_sha1 actual_sha1)
- (//hash#= expected_md5 expected_md5))
-
- _
- false))))))
- (_.cover [/.dependencies]
- (let [expected (the //.#dependencies profile)]
- (case (/.dependencies package)
- {try.#Success actual}
- (# set.equivalence = expected actual)
-
- {try.#Failure error}
- false)))
- (_.cover [/.repositories]
- (let [expected (the //.#repositories profile)]
- (case (/.repositories package)
- {try.#Success actual}
- (# set.equivalence = expected actual)
-
- {try.#Failure error}
- false)))
+ [actual_pom binary_pom pom_status] (the /.#pom local)
+ [actual_library library_status] (the /.#library local)]
+ (and (case (the /.#origin local)
+ {//origin.#Local ""} true
+ _ false)
+ (let [expected_sha1 (//hash.sha-1 expected_library)
+ expected_md5 (//hash.md5 expected_library)]
+ (and (same? expected_library actual_library)
+ (case library_status
+ {//status.#Verified actual_sha1 expected_md5}
+ (and (//hash#= expected_sha1 actual_sha1)
+ (//hash#= expected_md5 expected_md5))
+
+ _
+ false)))
+ (let [expected_sha1 (//hash.sha-1 binary_pom)
+ expected_md5 (//hash.md5 binary_pom)]
+ (and (same? expected_pom actual_pom)
+ (|> (do try.monad
+ [xml_pom (# utf8.codec decoded binary_pom)
+ decoded_pom (# xml.codec decoded xml_pom)]
+ (in (# xml.equivalence = actual_pom decoded_pom)))
+ (try.else false))
+ (case pom_status
+ {//status.#Verified actual_sha1 expected_md5}
+ (and (//hash#= expected_sha1 actual_sha1)
+ (//hash#= expected_md5 expected_md5))
+
+ _
+ false))))))
+ (_.coverage [/.dependencies]
+ (let [expected (the //.#dependencies profile)]
+ (case (/.dependencies package)
+ {try.#Success actual}
+ (# set.equivalence = expected actual)
+
+ {try.#Failure error}
+ false)))
+ (_.coverage [/.repositories]
+ (let [expected (the //.#repositories profile)]
+ (case (/.repositories package)
+ {try.#Success actual}
+ (# set.equivalence = expected actual)
+
+ {try.#Failure error}
+ false)))
))))
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index a87131927..c63d1701c 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -78,23 +78,23 @@
(_.covering //format._)
(do random.monad
[expected ..random]
- (_.cover [/.project
- //format.Format //format.project]
- (|> expected
- //format.project
- list
- (<code>.result /.project)
- (pipe.case
- {try.#Success actual}
- (|> expected
- ..with_empty_profile
- dictionary.entries
- (list#each (function (_ [name profile])
- [name (|> profile
- ..with_default_sources
- ..with_default_repository)]))
- (dictionary.of_list text.hash)
- (# //project.equivalence = actual))
-
- {try.#Failure error}
- false))))))
+ (_.coverage [/.project
+ //format.Format //format.project]
+ (|> expected
+ //format.project
+ list
+ (<code>.result /.project)
+ (pipe.case
+ {try.#Success actual}
+ (|> expected
+ ..with_empty_profile
+ dictionary.entries
+ (list#each (function (_ [name profile])
+ [name (|> profile
+ ..with_default_sources
+ ..with_default_repository)]))
+ (dictionary.of_list text.hash)
+ (# //project.equivalence = actual))
+
+ {try.#Failure error}
+ false))))))
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index bf29cfeb5..ac8869c54 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -26,32 +26,32 @@
Test
(<| (_.covering /._)
(all _.and
- (_.cover [/.file]
- (|> /.file
- (text#= "")
- not))
+ (_.coverage [/.file]
+ (|> /.file
+ (text#= "")
+ not))
(do random.monad
[expected @profile.random]
- (_.cover [/.write /.parser]
- (case [(/.write expected)
- (the //.#identity expected)]
- [{try.#Success pom}
- {.#Some _}]
- (case (<xml>.result /.parser (list pom))
- {try.#Success actual}
- (# //.equivalence =
- (|> (# //.monoid identity)
- (has //.#dependencies (the //.#dependencies expected))
- (has //.#repositories (the //.#repositories expected)))
- actual)
+ (_.coverage [/.write /.parser]
+ (case [(/.write expected)
+ (the //.#identity expected)]
+ [{try.#Success pom}
+ {.#Some _}]
+ (case (<xml>.result /.parser (list pom))
+ {try.#Success actual}
+ (# //.equivalence =
+ (|> (# //.monoid identity)
+ (has //.#dependencies (the //.#dependencies expected))
+ (has //.#repositories (the //.#repositories expected)))
+ actual)
- {try.#Failure error}
- false)
+ {try.#Failure error}
+ false)
- [{try.#Failure error}
- {.#None}]
- (exception.match? //.no_identity error)
+ [{try.#Failure error}
+ {.#None}]
+ (exception.match? //.no_identity error)
- _
- false)))
+ _
+ false)))
)))
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index dd5b296d8..8bccf4459 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -159,14 +159,14 @@
(_.for [/.monoid]
($monoid.spec /.equivalence /.monoid ..random))
- (_.cover [/.default]
- (text#= "" /.default))
- (_.cover [/.default_lux]
- (|> (# /.monoid identity)
- (the /.#lux)
- (same? /.default_lux)))
- (_.cover [/.default_target]
- (|> (# /.monoid identity)
- (the /.#target)
- (same? /.default_target)))
+ (_.coverage [/.default]
+ (text#= "" /.default))
+ (_.coverage [/.default_lux]
+ (|> (# /.monoid identity)
+ (the /.#lux)
+ (same? /.default_lux)))
+ (_.coverage [/.default_target]
+ (|> (# /.monoid identity)
+ (the /.#target)
+ (same? /.default_target)))
)))))
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index c191a5f83..748ea922d 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -46,10 +46,10 @@
(_.for [/.monoid]
($monoid.spec /.equivalence /.monoid ..random))
- (_.cover [/.file]
- (|> /.file
- (text#= "")
- not))
+ (_.coverage [/.file]
+ (|> /.file
+ (text#= "")
+ not))
(do random.monad
[[super_name super_profile] ..profile
[dummy_name dummy_profile] (random.only (|>> product.left (text#= super_name) not)
@@ -72,29 +72,29 @@
(/.project dummy_name dummy_profile)
(/.project sub_name (has //.#parents (list super_name) sub_profile)))]]
(all _.and
- (_.cover [/.profile]
- (and (|> (/.profile project super_name)
- (try#each (# //.equivalence = super_profile))
- (try.else false))
- (|> (/.profile project dummy_name)
- (try#each (# //.equivalence = dummy_profile))
- (try.else false))
- (|> (/.profile project sub_name)
- (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile)))
- (try.else false))))
- (_.cover [/.unknown_profile]
- (case (/.profile project fake_name)
- {try.#Success _}
- false
+ (_.coverage [/.profile]
+ (and (|> (/.profile project super_name)
+ (try#each (# //.equivalence = super_profile))
+ (try.else false))
+ (|> (/.profile project dummy_name)
+ (try#each (# //.equivalence = dummy_profile))
+ (try.else false))
+ (|> (/.profile project sub_name)
+ (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile)))
+ (try.else false))))
+ (_.coverage [/.unknown_profile]
+ (case (/.profile project fake_name)
+ {try.#Success _}
+ false
- {try.#Failure error}
- (exception.match? /.unknown_profile error)))
- (_.cover [/.circular_dependency]
- (case (/.profile circular sub_name)
- {try.#Success _}
- false
+ {try.#Failure error}
+ (exception.match? /.unknown_profile error)))
+ (_.coverage [/.circular_dependency]
+ (case (/.profile circular sub_name)
+ {try.#Success _}
+ false
- {try.#Failure error}
- (exception.match? /.circular_dependency error)))
+ {try.#Failure error}
+ (exception.match? /.circular_dependency error)))
))
))))
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 92826c8ff..9c9703d55 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -42,11 +42,11 @@
[before_upload (# repo download uri)
_ (# repo upload uri expected)
actual (# repo download uri)]
- (_.cover' [/.repository]
- (and (case before_upload
- {try.#Success _} false
- {try.#Failure _} true)
- (|> actual
- (try#each (binary#= expected))
- (try.else false))))))
+ (_.coverage' [/.repository]
+ (and (case before_upload
+ {try.#Success _} false
+ {try.#Failure _} true)
+ (|> actual
+ (try#each (binary#= expected))
+ (try.else false))))))
))))
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 05cd293c3..c20722d4c 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -93,39 +93,39 @@
content (# ! each (# utf8.codec encoded)
(random.lower_case 10))]
(all _.and
- (_.cover [/.repository /.user_agent /.Address]
- (let [repo (/.repository (..good_http user password)
- {.#Some [//identity.#user user
- //identity.#password password]}
- address)]
- (and (|> (# repo download uri)
- io.run!
- (try#each (# utf8.codec decoded))
- try#conjoint
- (try#each (text#= (format address uri)))
- (try.else false))
- (|> (# repo upload uri content)
- io.run!
- (try#each (function.constant true))
- (try.else false)))))
- (_.cover [/.upload_failure]
- (let [repo (/.repository (..good_http user password)
- {.#None}
- address)]
- (case (io.run! (# repo upload uri content))
- {try.#Failure error}
- (exception.match? /.upload_failure error)
-
- {try.#Success _}
- false)))
- (_.cover [/.download_failure]
- (let [repo (/.repository ..bad_http
- {.#None}
- address)]
- (case (io.run! (# repo download uri))
- {try.#Failure error}
- (exception.match? /.download_failure error)
-
- {try.#Success _}
- false)))
+ (_.coverage [/.repository /.user_agent /.Address]
+ (let [repo (/.repository (..good_http user password)
+ {.#Some [//identity.#user user
+ //identity.#password password]}
+ address)]
+ (and (|> (# repo download uri)
+ io.run!
+ (try#each (# utf8.codec decoded))
+ try#conjoint
+ (try#each (text#= (format address uri)))
+ (try.else false))
+ (|> (# repo upload uri content)
+ io.run!
+ (try#each (function.constant true))
+ (try.else false)))))
+ (_.coverage [/.upload_failure]
+ (let [repo (/.repository (..good_http user password)
+ {.#None}
+ address)]
+ (case (io.run! (# repo upload uri content))
+ {try.#Failure error}
+ (exception.match? /.upload_failure error)
+
+ {try.#Success _}
+ false)))
+ (_.coverage [/.download_failure]
+ (let [repo (/.repository ..bad_http
+ {.#None}
+ address)]
+ (case (io.run! (# repo download uri))
+ {try.#Failure error}
+ (exception.match? /.download_failure error)
+
+ {try.#Success _}
+ false)))
))))
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index c982c455a..690657d70 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -42,12 +42,12 @@
($equivalence.spec /.equivalence ..random))
(~~ (template [<command>]
- [(_.cover [/.default_java /.default_js /.default_python /.default_lua /.default_ruby]
- (let [listing (|> (list /.default_java /.default_js /.default_python /.default_lua /.default_ruby)
- (list#each (the /.#program)))
- unique (set.of_list text.hash listing)]
- (n.= (list.size listing)
- (set.size unique))))]
+ [(_.coverage [/.default_java /.default_js /.default_python /.default_lua /.default_ruby]
+ (let [listing (|> (list /.default_java /.default_js /.default_python /.default_lua /.default_ruby)
+ (list#each (the /.#program)))
+ unique (set.of_list text.hash listing)]
+ (n.= (list.size listing)
+ (set.size unique))))]
[/.default_java]
[/.default_js]
@@ -55,13 +55,13 @@
[/.default_lua]
[/.default_ruby]
))
- (_.cover [/.for]
- (let [runtime' (/.for runtime path)]
- (and (text#= (the /.#program runtime)
- (the /.#program runtime'))
- (|> runtime'
- (the /.#parameters)
- list.last
- (maybe#each (text#= path))
- (maybe.else false)))))
+ (_.coverage [/.for]
+ (let [runtime' (/.for runtime path)]
+ (and (text#= (the /.#program runtime)
+ (the /.#program runtime'))
+ (|> runtime'
+ (the /.#parameters)
+ list.last
+ (maybe#each (text#= path))
+ (maybe.else false)))))
)))))