Added some simple time-series handling machinery.

1 files changed, 4 insertions, 4 deletions

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 8043bd2e0..5b36db339 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -34,7 +34,7 @@
 
 (def size
   (Random Nat)
-  (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2)))))
+  (|> r.nat (of r.monad each (|>> (n.% ..limit) (n.max 2)))))
 
 (def (tail? size idx)
   (-> Nat Nat Bit)
@@ -69,7 +69,7 @@
                      [(r.unicode 5) synthesis.text synthesis.path/text]))
                (do [! r.monad]
                  [size ..size
-                  idx (|> r.nat (at ! each (n.% size)))
+                  idx (|> r.nat (of ! each (n.% size)))
                   [subS subP] when
                   .let [unitS (synthesis.text synthesis.unit)
                         whenS (synthesis.tuple
@@ -84,7 +84,7 @@
                  (in [whenS whenP]))
                (do [! r.monad]
                  [size ..size
-                  idx (|> r.nat (at ! each (n.% size)))
+                  idx (|> r.nat (of ! each (n.% size)))
                   [subS subP] when
                   .let [right? (tail? size idx)
                         whenS (synthesis.variant
@@ -248,7 +248,7 @@
        (_.test "==="
          (and (text#= (synthesis.%path special_path)
                       (synthesis.%path special_pattern_path))
-              (at synthesis.path_equivalence = special_path special_pattern_path)))
+              (of synthesis.path_equivalence = special_path special_pattern_path)))
        (_.test "CODE"
          (|> special_input
              (run "special_input")