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/lux/meta/type/unit.lux | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

(limited to 'stdlib/source/test/lux/meta/type/unit.lux')

diff --git a/stdlib/source/test/lux/meta/type/unit.lux b/stdlib/source/test/lux/meta/type/unit.lux
index 734400ade..6c27c1900 100644
--- a/stdlib/source/test/lux/meta/type/unit.lux
+++ b/stdlib/source/test/lux/meta/type/unit.lux
@@ -29,9 +29,9 @@
   [(def (<name> range)
      (-> Nat (Random (/.Measure Any <type>)))
      (|> random.int
-         (at random.monad each (i.% (.int range)))
+         (of random.monad each (i.% (.int range)))
          (random.only (|>> (i.= +0) not))
-         (at random.monad each (at <unit> in))))]
+         (of random.monad each (of <unit> in))))]
 
   [meter /.Meter /.meter]
   [second /.Second /.second]
@@ -62,12 +62,12 @@
                       (,, (with_template [<type> <unit>]
                             [(_.coverage [<type> <unit>]
                                (and (|> expected
-                                        (at <unit> in)
-                                        (at <unit> out)
+                                        (of <unit> in)
+                                        (of <unit> out)
                                         (i.= expected))
                                     (let [it (|> expected
-                                                 (at <unit> in)
-                                                 (at <unit> format))]
+                                                 (of <unit> in)
+                                                 (of <unit> format))]
                                       (and (not (text#= (%.int expected) it))
                                            (text.starts_with? (%.int expected) it)))))]
 
@@ -83,13 +83,13 @@
                             (i.= expected)))
                       (_.coverage [/.unit /.type]
                         (and (|> expected
-                                 (at ..what in)
+                                 (of ..what in)
                                  (is (/.Measure Any What))
-                                 (at ..what out)
+                                 (of ..what out)
                                  (i.= expected))
                              (let [it (|> expected
-                                          (at ..what in)
-                                          (at ..what format))]
+                                          (of ..what in)
+                                          (of ..what format))]
                                (and (text.contains? (%.int expected) it)
                                     (text.contains? <descriptor> it)))))
                       ))))))
@@ -97,7 +97,7 @@
 (def arithmetic
   Test
   (do random.monad
-    [.let [zero (at /.meter in +0)
+    [.let [zero (of /.meter in +0)
            (open "meter#[0]") (is (Equivalence (/.Measure Any /.Meter))
                                   /.equivalence)]
      left (random.only (|>> (meter#= zero) not) (..meter 1,000))
@@ -106,14 +106,14 @@
     (`` (all _.and
              (,, (with_template [<q> <i>]
                    [(_.coverage [<q>]
-                      (i.= (<i> (at /.meter out left) (at /.meter out right))
-                           (at /.meter out (<q> left right))))]
+                      (i.= (<i> (of /.meter out left) (of /.meter out right))
+                           (of /.meter out (<q> left right))))]
 
                    [/.+ i.+]
                    [/.- i.-]
                    ))
              (_.coverage [/.*]
-               (let [expected (i.* (at /.meter out left) (at /.meter out right))
+               (let [expected (i.* (of /.meter out left) (of /.meter out right))
                      actual (/.number (is (/.Measure Any [/.Meter /.Meter])
                                           (/.* left right)))]
                  (i.= expected actual)))
-- 
cgit v1.2.3