From 14287585025b2d8fff1991691def9e643b039ac8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 10 Dec 2020 00:15:15 -0400
Subject: Re-named "with-cover" to "for".

---
 stdlib/source/test/aedifex/project.lux | 104 ++++++++++++++++-----------------
 1 file changed, 52 insertions(+), 52 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index ec6849e4e..4ea00a3c4 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -39,58 +39,58 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Project /.project]
-        ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec /.equivalence ..random))
-            (_.with-cover [/.monoid]
-              ($monoid.spec /.equivalence /.monoid ..random))
+      (_.for [/.Project /.project]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
+                 (_.for [/.monoid]
+                        ($monoid.spec /.equivalence /.monoid ..random))
 
-            (do random.monad
-              [[super-name super-profile] ..profile
-               [dummy-name dummy-profile] (random.filter (|>> product.left (text\= super-name) not)
-                                                         ..profile)
-               [sub-name sub-profile] (random.filter (function (_ [name profile])
-                                                       (and (not (text\= super-name name))
-                                                            (not (text\= dummy-name name))))
-                                                     ..profile)
-               fake-name (random.filter (function (_ name)
-                                          (and (not (text\= super-name name))
-                                               (not (text\= dummy-name name))
-                                               (not (text\= sub-name name))))
-                                        (random.ascii/alpha 1))
-               #let [project ($_ (\ /.monoid compose)
-                                 (/.project super-name super-profile)
-                                 (/.project dummy-name dummy-profile)
-                                 (/.project sub-name (set@ #//.parents (list super-name) sub-profile)))
-                     circular ($_ (\ /.monoid compose)
-                                  (/.project super-name (set@ #//.parents (list sub-name) super-profile))
-                                  (/.project dummy-name dummy-profile)
-                                  (/.project sub-name (set@ #//.parents (list super-name) sub-profile)))]]
-              ($_ _.and
-                  (_.cover [/.profile]
-                           (and (|> (/.profile super-name project)
-                                    (try\map (\ //.equivalence = super-profile))
-                                    (try.default false))
-                                (|> (/.profile dummy-name project)
-                                    (try\map (\ //.equivalence = dummy-profile))
-                                    (try.default false))
-                                (|> (/.profile sub-name project)
-                                    (try\map (\ //.equivalence = (\ //.monoid compose sub-profile super-profile)))
-                                    (try.default false))))
-                  (_.cover [/.unknown-profile]
-                           (case (/.profile fake-name project)
-                             (#try.Success _)
-                             false
+                 (do random.monad
+                   [[super-name super-profile] ..profile
+                    [dummy-name dummy-profile] (random.filter (|>> product.left (text\= super-name) not)
+                                                              ..profile)
+                    [sub-name sub-profile] (random.filter (function (_ [name profile])
+                                                            (and (not (text\= super-name name))
+                                                                 (not (text\= dummy-name name))))
+                                                          ..profile)
+                    fake-name (random.filter (function (_ name)
+                                               (and (not (text\= super-name name))
+                                                    (not (text\= dummy-name name))
+                                                    (not (text\= sub-name name))))
+                                             (random.ascii/alpha 1))
+                    #let [project ($_ (\ /.monoid compose)
+                                      (/.project super-name super-profile)
+                                      (/.project dummy-name dummy-profile)
+                                      (/.project sub-name (set@ #//.parents (list super-name) sub-profile)))
+                          circular ($_ (\ /.monoid compose)
+                                       (/.project super-name (set@ #//.parents (list sub-name) super-profile))
+                                       (/.project dummy-name dummy-profile)
+                                       (/.project sub-name (set@ #//.parents (list super-name) sub-profile)))]]
+                   ($_ _.and
+                       (_.cover [/.profile]
+                                (and (|> (/.profile super-name project)
+                                         (try\map (\ //.equivalence = super-profile))
+                                         (try.default false))
+                                     (|> (/.profile dummy-name project)
+                                         (try\map (\ //.equivalence = dummy-profile))
+                                         (try.default false))
+                                     (|> (/.profile sub-name project)
+                                         (try\map (\ //.equivalence = (\ //.monoid compose sub-profile super-profile)))
+                                         (try.default false))))
+                       (_.cover [/.unknown-profile]
+                                (case (/.profile fake-name project)
+                                  (#try.Success _)
+                                  false
 
-                             (#try.Failure error)
-                             (exception.match? /.unknown-profile error)))
-                  (_.cover [/.circular-dependency]
-                           (case (/.profile sub-name circular)
-                             (#try.Success _)
-                             false
+                                  (#try.Failure error)
+                                  (exception.match? /.unknown-profile error)))
+                       (_.cover [/.circular-dependency]
+                                (case (/.profile sub-name circular)
+                                  (#try.Success _)
+                                  false
 
-                             (#try.Failure error)
-                             (exception.match? /.circular-dependency error)))
-                  ))
-            ))))
+                                  (#try.Failure error)
+                                  (exception.match? /.circular-dependency error)))
+                       ))
+                 ))))
-- 
cgit v1.2.3