diff options
| author | Eduardo Julian | 2020-10-24 05:05:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-24 05:05:26 -0400 |
| commit | bcd68d4691e7b2f6d56e0ab92b591c14d7a26a48 (patch) | |
| tree | 3e739d4b5d963ad98f54e1748c28ea1d33aa7330 /stdlib/source/test/aedifex | |
| parent | c006a5fe8e82f6fc7c8cdb9db0f44c06d229f34e (diff) | |
Re-named "search" to "one" and "search-all" to "all".
Diffstat (limited to 'stdlib/source/test/aedifex')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/type.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/dependency.lux | 29 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 11 |
3 files changed, 36 insertions, 10 deletions
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index fd815f19e..cbc6f681b 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -20,8 +20,10 @@ (<| (_.covering /._) (_.with-cover [/.Type] ($_ _.and - (_.cover [/.lux-library /.jvm-library /.pom] - (let [options (list /.lux-library /.jvm-library /.pom) + (_.cover [/.lux-library /.jvm-library + /.pom /.md5 /.sha1] + (let [options (list /.lux-library /.jvm-library + /.pom /.md5 /.sha1) uniques (set.from-list text.hash options)] (n.= (list.size options) (set.size uniques)))) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux new file mode 100644 index 000000000..e7388189c --- /dev/null +++ b/stdlib/source/test/aedifex/dependency.lux @@ -0,0 +1,29 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + {[0 #spec] + [/ + ["$." equivalence]]}] + [math + ["." random (#+ Random)]]] + [// + ["@." artifact]] + {#program + ["." /]}) + +(def: #export random + (Random /.Dependency) + ($_ random.and + @artifact.random + (random.ascii/alpha 1))) + +(def: #export test + Test + (<| (_.covering /._) + (_.with-cover [/.Dependency] + ($_ _.and + (_.with-cover [/.equivalence] + ($equivalence.spec /.equivalence ..random)) + )))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 94f695a9b..398a85f5b 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -23,7 +23,8 @@ [math ["." random (#+ Random) ("#@." monad)]]] [// - ["@." artifact]] + ["@." artifact] + ["@." dependency]] {#program ["." / ["/#" // #_ @@ -105,12 +106,6 @@ (Random Repository) (random.ascii/alpha 1)) -(def: dependency - (Random Dependency) - ($_ random.and - @artifact.random - (random.ascii/alpha 1))) - (def: source (Random /.Source) (random.ascii/alpha 1)) @@ -126,7 +121,7 @@ (random.maybe @artifact.random) (random.maybe ..info) (..set-of text.hash ..repository) - (..set-of //dependency.hash ..dependency) + (..set-of //dependency.hash @dependency.random) (..set-of text.hash ..source) (random.maybe ..target) (random.maybe (random.ascii/alpha 1)) |