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/documentation/lux.lux                    | 12 ++++++------
 stdlib/source/documentation/lux/meta/type/implicit.lux |  6 +++---
 2 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 07e6a2dc2..13b7e6d8a 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -561,8 +561,8 @@
               "Opens a implementation and generates a definition for each of its members (including nested members)."
               ($.example (use "i:[0]" order))
               ($.comment "=>")
-              ($.example (def i:= (at order =)))
-              ($.example (def i:< (at order <))))
+              ($.example (def i:= (of order =)))
+              ($.example (def i:< (of order <))))
 
             ($.definition /.|>>
               "Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it."
@@ -603,10 +603,10 @@
 
             ($.definition /.at
               "Allows accessing the value of a implementation's member."
-              ($.example (at codec encoded))
+              ($.example (of codec encoded))
 
               ($.comment "Also allows using that value as a function.")
-              ($.example (at codec encoded +123)))
+              ($.example (of codec encoded +123)))
 
             ($.definition /.has
               "Sets the value of a record at a given tag."
@@ -706,7 +706,7 @@
                              [<tests> (with_template [<function> <parameter> <expected>]
                                         [(cover [<function>]
                                                 (compare <text>
-                                                         (at codec encoded <function> <parameter>)))]
+                                                         (of codec encoded <function> <parameter>)))]
 
                                         [bit #1                "#1"]
                                         [int +123              "+123"]
@@ -797,7 +797,7 @@
             ...   ($.example (def (hash (^let set [member_hash _]))
             ...                (list#mix (function (_ elem acc)
             ...                            (+ acc
-            ...                               (at member_hash hash elem)))
+            ...                               (of member_hash hash elem)))
             ...                          0
             ...                          (set.list set)))))
 
diff --git a/stdlib/source/documentation/lux/meta/type/implicit.lux b/stdlib/source/documentation/lux/meta/type/implicit.lux
index 4803008c0..8afc69184 100644
--- a/stdlib/source/documentation/lux/meta/type/implicit.lux
+++ b/stdlib/source/documentation/lux/meta/type/implicit.lux
@@ -26,7 +26,7 @@
                   \n \n "Caveat emptor: You need to make sure to import the module of any implementation you want to use."
                   \n "Otherwise, this macro will not find it.")
           ($.example ($.comment "Nat equivalence"))
-          ($.example (at number.equivalence = x y))
+          ($.example (of number.equivalence = x y))
           ($.example (a/an = x y))
 
           ($.comment "Can optionally add the prefix of the module where the signature was defined.")
@@ -43,12 +43,12 @@
         ($.definition /.with
           "Establish lexical bindings for implementations that will be prioritized over non-lexically-bound implementations."
           ($.example (with [n.addition]
-                       (n.= (at n.addition composite left right)
+                       (n.= (of n.addition composite left right)
                             (a/an composite left right)))))
 
         ($.definition /.implicitly
           "Establish local definitions for implementations that will be prioritized over foreign definitions."
           ($.example (implicitly n.multiplication))
-          ($.example (n.= (at n.multiplication composite left right)
+          ($.example (n.= (of n.multiplication composite left right)
                           (a/an composite left right))))
         ))
-- 
cgit v1.2.3