From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 2 Dec 2022 19:33:00 -0400
Subject: Added some simple time-series handling machinery.

---
 stdlib/source/test/aedifex/command/auto.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index c46b474ac..9f3769b00 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -59,8 +59,8 @@
          (if (n.= expected_runs actual_runs)
            (in {try.#Failure end_signal})
            (do (try.with !)
-             [_ (at fs write dummy_file (at utf8.codec encoded (%.nat actual_runs)))
-              _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))]
+             [_ (of fs write dummy_file (of utf8.codec encoded (%.nat actual_runs)))
+              _ (of fs modify dummy_file (|> actual_runs .int instant.of_millis))]
              (in [shell.normal []])))))]))
 
 (def .public test
@@ -68,7 +68,7 @@
   (<| (_.covering /._)
       (do [! random.monad]
         [end_signal (random.alphabetic 5)
-         .let [/ (at file.default separator)
+         .let [/ (of file.default separator)
                [fs watcher] (watch.mock /)]
          
          program (random.and (random.alphabetic 5)
@@ -76,7 +76,7 @@
          target (random.alphabetic 5)
          source (random.alphabetic 5)
          .let [empty_profile (is Profile
-                                 (at ///.monoid identity))
+                                 (of ///.monoid identity))
                with_target (is (-> Profile Profile)
                                (has ///.#target target))
                with_program (is (-> Profile Profile)
@@ -90,18 +90,18 @@
          home (random.alphabetic 5)
          working_directory (random.alphabetic 5)
          
-         expected_runs (at ! each (|>> (n.% 10) (n.max 2)) random.nat)
-         dummy_path (at ! each (|>> (format source /)) (random.alphabetic 5))
+         expected_runs (of ! each (|>> (n.% 10) (n.max 2)) random.nat)
+         dummy_path (of ! each (|>> (format source /)) (random.alphabetic 5))
          [compiler resolution] $build.resolution]
         (all _.and
              (_.coverage [/.delay]
                (n.> 0 /.delay))
              (in (do async.monad
                    [verdict (do ///action.monad
-                              [_ (at fs make_directory source)
-                               _ (at fs write dummy_path (binary.empty 0))
+                              [_ (of fs make_directory source)
+                               _ (of fs write dummy_path (binary.empty 0))
                                .let [[@runs command] (..command expected_runs end_signal fs dummy_path)]
-                               _ (at watcher poll [])]
+                               _ (of watcher poll [])]
                               (do [! async.monad]
                                 [no_dangling_process! (|> profile
                                                           (has ///.#lux compiler)
@@ -111,7 +111,7 @@
                                                            fs
                                                            (shell.async ($build.good_shell []))
                                                            resolution)
-                                                          (at ! each (|>> (pipe.when
+                                                          (of ! each (|>> (pipe.when
                                                                             {try.#Failure error}
                                                                             (same? end_signal error)
 
@@ -120,7 +120,7 @@
                                  correct_number_of_runs! (|> @runs
                                                              atom.read!
                                                              async.future
-                                                             (at ! each (n.= expected_runs)))]
+                                                             (of ! each (n.= expected_runs)))]
                                 (in {try.#Success (and correct_number_of_runs!
                                                        no_dangling_process!)})))]
                    (unit.coverage [/.do!]
-- 
cgit v1.2.3