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/lux/time/day.lux | 132 ++++++++++++++++++------------------
 1 file changed, 66 insertions(+), 66 deletions(-)

(limited to 'stdlib/source/test/lux/time/day.lux')

diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux
index 35791236f..34e221efb 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/time/day.lux
@@ -1,29 +1,29 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     ["[0]" predicate]
-     [\\specification
-      ["$[0]" equivalence]
-      ["$[0]" hash]
-      ["$[0]" order]
-      ["$[0]" enum]
-      ["$[0]" codec]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     ["[0]" exception]]
-    [data
-     [collection
-      ["[0]" list]
-      ["[0]" set]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]]]]]
-  [\\library
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    ["[0]" predicate]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" hash]
+     ["$[0]" order]
+     ["$[0]" enum]
+     ["$[0]" codec]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    ["[0]" exception]]
+   [data
+    [collection
+     ["[0]" list]
+     ["[0]" set]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]]]]]
+ [\\library
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Day)
@@ -44,45 +44,45 @@
          invalid (random.only (predicate.or (n.< (/.number {/.#Sunday}))
                                             (n.> (/.number {/.#Saturday})))
                               random.nat)]
-        ($_ _.and
-            (_.for [/.equivalence]
-                   ($equivalence.spec /.equivalence ..random))
-            (_.for [/.hash]
-                   ($hash.spec /.hash ..random))
-            (_.for [/.order]
-                   ($order.spec /.order ..random))
-            (_.for [/.enum]
-                   ($enum.spec /.enum ..random))
-            (_.for [/.codec]
-                   ($codec.spec /.equivalence /.codec ..random))
+        (all _.and
+             (_.for [/.equivalence]
+                    ($equivalence.spec /.equivalence ..random))
+             (_.for [/.hash]
+                    ($hash.spec /.hash ..random))
+             (_.for [/.order]
+                    ($order.spec /.order ..random))
+             (_.for [/.enum]
+                    ($enum.spec /.enum ..random))
+             (_.for [/.codec]
+                    ($codec.spec /.equivalence /.codec ..random))
 
-            (do random.monad
-              [not_a_day (random.ascii/upper 1)]
-              (_.cover [/.not_a_day_of_the_week]
-                       (case (# /.codec decoded not_a_day)
-                         {try.#Failure error}
-                         (exception.match? /.not_a_day_of_the_week error)
-                         
-                         {try.#Success _}
-                         false)))
-            (_.cover [/.number /.by_number]
-                     (|> expected
-                         /.number
-                         /.by_number
-                         (try#each (# /.equivalence = expected))
-                         (try.else false)))
-            (_.cover [/.invalid_day]
-                     (case (/.by_number invalid)
-                       {try.#Failure error}
-                       (exception.match? /.invalid_day error)
-                       
-                       {try.#Success _}
-                       false))
-            (_.cover [/.week]
-                     (let [all (list.size /.week)
-                           uniques (set.size (set.of_list /.hash /.week))]
-                       (and (n.= (/.number {/.#Saturday})
-                                 all)
-                            (n.= all
-                                 uniques))))
-            ))))
+             (do random.monad
+               [not_a_day (random.ascii/upper 1)]
+               (_.cover [/.not_a_day_of_the_week]
+                        (case (# /.codec decoded not_a_day)
+                          {try.#Failure error}
+                          (exception.match? /.not_a_day_of_the_week error)
+                          
+                          {try.#Success _}
+                          false)))
+             (_.cover [/.number /.by_number]
+                      (|> expected
+                          /.number
+                          /.by_number
+                          (try#each (# /.equivalence = expected))
+                          (try.else false)))
+             (_.cover [/.invalid_day]
+                      (case (/.by_number invalid)
+                        {try.#Failure error}
+                        (exception.match? /.invalid_day error)
+                        
+                        {try.#Success _}
+                        false))
+             (_.cover [/.week]
+                      (let [all (list.size /.week)
+                            uniques (set.size (set.of_list /.hash /.week))]
+                        (and (n.= (/.number {/.#Saturday})
+                                  all)
+                             (n.= all
+                                  uniques))))
+             ))))
-- 
cgit v1.2.3