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/profile.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 25eccfa43..591ad4d5d 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -80,18 +80,18 @@
 (def (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
-    [size (at ! each (n.% 5) random.nat)]
+    [size (of ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def (set_of hash random)
   (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
-  (at random.functor each
+  (of random.functor each
       (set.of_list hash)
       (..list_of random)))
 
 (def (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
-  (at random.functor each
+  (of random.functor each
       (dictionary.of_list key_hash)
       (..list_of (random.and key_random value_random))))
 
@@ -167,11 +167,11 @@
                       (_.coverage [/.default]
                         (text#= "" /.default))
                       (_.coverage [/.default_lux]
-                        (|> (at /.monoid identity)
+                        (|> (of /.monoid identity)
                             (the /.#lux)
                             (same? /.default_lux)))
                       (_.coverage [/.default_target]
-                        (|> (at /.monoid identity)
+                        (|> (of /.monoid identity)
                             (the /.#target)
                             (same? /.default_target)))
                       )))))
-- 
cgit v1.2.3