From bcd68d4691e7b2f6d56e0ab92b591c14d7a26a48 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 24 Oct 2020 05:05:26 -0400
Subject: Re-named "search" to "one" and "search-all" to "all".

---
 stdlib/source/test/aedifex/artifact/type.lux |  6 ++++--
 stdlib/source/test/aedifex/dependency.lux    | 29 ++++++++++++++++++++++++++++
 stdlib/source/test/aedifex/profile.lux       | 11 +++--------
 3 files changed, 36 insertions(+), 10 deletions(-)
 create mode 100644 stdlib/source/test/aedifex/dependency.lux

(limited to 'stdlib/source/test/aedifex')

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))
-- 
cgit v1.2.3