From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/test/aedifex/project.lux | 110 ++++++++++++++++-----------------
 1 file changed, 55 insertions(+), 55 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 c7bbe62c0..cf3a93e52 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -40,61 +40,61 @@
   Test
   (<| (_.covering /._)
       (_.for [/.Project /.project]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
-                 (_.for [/.monoid]
-                        ($monoid.spec /.equivalence /.monoid ..random))
+             (all _.and
+                  (_.for [/.equivalence]
+                         ($equivalence.spec /.equivalence ..random))
+                  (_.for [/.monoid]
+                         ($monoid.spec /.equivalence /.monoid ..random))
 
-                 (_.cover [/.file]
-                          (|> /.file
-                              (text#= "")
-                              not))
-                 (do random.monad
-                   [[super_name super_profile] ..profile
-                    [dummy_name dummy_profile] (random.only (|>> product.left (text#= super_name) not)
-                                                            ..profile)
-                    [sub_name sub_profile] (random.only (function (_ [name profile])
-                                                          (and (not (text#= super_name name))
-                                                               (not (text#= dummy_name name))))
-                                                        ..profile)
-                    fake_name (random.only (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 composite)
-                                      (/.project super_name super_profile)
-                                      (/.project dummy_name dummy_profile)
-                                      (/.project sub_name (has //.#parents (list super_name) sub_profile)))
-                          circular ($_ (# /.monoid composite)
-                                       (/.project super_name (has //.#parents (list sub_name) super_profile))
-                                       (/.project dummy_name dummy_profile)
-                                       (/.project sub_name (has //.#parents (list super_name) sub_profile)))]]
-                   ($_ _.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
+                  (_.cover [/.file]
+                           (|> /.file
+                               (text#= "")
+                               not))
+                  (do random.monad
+                    [[super_name super_profile] ..profile
+                     [dummy_name dummy_profile] (random.only (|>> product.left (text#= super_name) not)
+                                                             ..profile)
+                     [sub_name sub_profile] (random.only (function (_ [name profile])
+                                                           (and (not (text#= super_name name))
+                                                                (not (text#= dummy_name name))))
+                                                         ..profile)
+                     fake_name (random.only (function (_ name)
+                                              (and (not (text#= super_name name))
+                                                   (not (text#= dummy_name name))
+                                                   (not (text#= sub_name name))))
+                                            (random.ascii/alpha 1))
+                     .let [project (all (# /.monoid composite)
+                                        (/.project super_name super_profile)
+                                        (/.project dummy_name dummy_profile)
+                                        (/.project sub_name (has //.#parents (list super_name) sub_profile)))
+                           circular (all (# /.monoid composite)
+                                         (/.project super_name (has //.#parents (list sub_name) super_profile))
+                                         (/.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
 
-                                  {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)))
+                         (_.cover [/.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)))
+                         ))
+                  ))))
-- 
cgit v1.2.3