From 62b3abfcc014ca1c19d62aacdd497f6a250b372c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 25 Jul 2021 03:12:17 -0400
Subject: Better syntax for "library/lux.^multi".

---
 .../source/test/aedifex/dependency/resolution.lux  | 42 +++++++++++-----------
 1 file changed, 21 insertions(+), 21 deletions(-)

(limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')

diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index deb74abcd..9d1f287c6 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -249,11 +249,11 @@
   (do {! random.monad}
     [expected_artifact $///artifact.random
      [_ expected_package] $///package.random
-     [_ dummy_package] (random.filter (|>> product.right
-                                           (set@ #///package.pom (get@ #///package.pom expected_package))
-                                           (\ ///package.equivalence = expected_package)
-                                           not)
-                                      $///package.random)
+     [_ dummy_package] (random.only (|>> product.right
+                                         (set@ #///package.pom (get@ #///package.pom expected_package))
+                                         (\ ///package.equivalence = expected_package)
+                                         not)
+                                    $///package.random)
      #let [good (..single expected_artifact expected_package)
            bad_sha-1 (..bad_sha-1 expected_artifact expected_package dummy_package)
            bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
@@ -296,11 +296,11 @@
   (do {! random.monad}
     [expected_artifact $///artifact.random
      [_ expected_package] $///package.random
-     [_ dummy_package] (random.filter (|>> product.right
-                                           (set@ #///package.pom (get@ #///package.pom expected_package))
-                                           (\ ///package.equivalence = expected_package)
-                                           not)
-                                      $///package.random)
+     [_ dummy_package] (random.only (|>> product.right
+                                         (set@ #///package.pom (get@ #///package.pom expected_package))
+                                         (\ ///package.equivalence = expected_package)
+                                         not)
+                                    $///package.random)
      #let [good (..single expected_artifact expected_package)
            bad_sha-1 (..bad_sha-1 expected_artifact expected_package dummy_package)
            bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
@@ -344,13 +344,13 @@
   (Random [Artifact Artifact Artifact])
   (do random.monad
     [dependee_artifact $///artifact.random
-     depender_artifact (random.filter (predicate.complement
-                                       (\ ///artifact.equivalence = dependee_artifact))
-                                      $///artifact.random)
-     ignored_artifact (random.filter (predicate.complement
-                                      (predicate.unite (\ ///artifact.equivalence = dependee_artifact)
-                                                       (\ ///artifact.equivalence = depender_artifact)))
-                                     $///artifact.random)]
+     depender_artifact (random.only (predicate.complement
+                                     (\ ///artifact.equivalence = dependee_artifact))
+                                    $///artifact.random)
+     ignored_artifact (random.only (predicate.complement
+                                    (predicate.unite (\ ///artifact.equivalence = dependee_artifact)
+                                                     (\ ///artifact.equivalence = depender_artifact)))
+                                   $///artifact.random)]
     (wrap [dependee_artifact depender_artifact ignored_artifact])))
 
 (def: (packages [dependee_artifact depender_artifact ignored_artifact])
@@ -372,16 +372,16 @@
            dependee_pom (|> (\ ///.monoid identity)
                             (set@ #///.identity (#.Some dependee_artifact))
                             ///pom.write
-                            try.assume)
+                            try.assumed)
            depender_pom (|> (\ ///.monoid identity)
                             (set@ #///.identity (#.Some depender_artifact))
-                            (set@ #///.dependencies (set.from_list ///dependency.hash (list dependee)))
+                            (set@ #///.dependencies (set.of_list ///dependency.hash (list dependee)))
                             ///pom.write
-                            try.assume)
+                            try.assumed)
            ignored_pom (|> (\ ///.monoid identity)
                            (set@ #///.identity (#.Some ignored_artifact))
                            ///pom.write
-                           try.assume)
+                           try.assumed)
 
            dependee_package (set@ #///package.pom
                                   [dependee_pom
-- 
cgit v1.2.3