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/hash.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index ea6d6435e..36326a58f 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -31,8 +31,8 @@
     (-> (-> Binary (/.Hash h))
         (Random (/.Hash h))))
   (do [! random.monad]
-    [size (at ! each (n.% 100) random.nat)]
-    (at ! each hash (_binary.random size))))
+    [size (of ! each (n.% 100) random.nat)]
+    (of ! each hash (_binary.random size))))
 
 (def .public test
   Test
@@ -52,11 +52,11 @@
                                     (_.coverage [<hash> <constructor> <exception>]
                                       (and (when (<constructor> (/.data expected))
                                              {try.#Success actual}
-                                             (at /.equivalence = expected actual)
+                                             (of /.equivalence = expected actual)
 
                                              {try.#Failure error}
                                              false)
-                                           (when (<constructor> (at binary.monoid composite
+                                           (when (<constructor> (of binary.monoid composite
                                                                     (/.data expected)
                                                                     (/.data expected)))
                                              {try.#Success actual}
@@ -81,8 +81,8 @@
                                  [(do random.monad
                                     [expected (..random <hash>)]
                                     (_.coverage [<codec>]
-                                      (when (at <codec> decoded
-                                                (format (at <codec> encoded expected)
+                                      (when (of <codec> decoded
+                                                (format (of <codec> encoded expected)
                                                         "AABBCC"))
                                         {try.#Success actual}
                                         false
-- 
cgit v1.2.3