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/program/aedifex/hash.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 8b0922916..4176dd694 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -59,7 +59,7 @@
   (def encoded
     (Format Binary)
     (binary.mix (function (_ byte representation)
-                  (let [hex (at n.hex encoded byte)
+                  (let [hex (of n.hex encoded byte)
                         hex (when (text.size hex)
                               1 (format "0" hex)
                               _ hex)]
@@ -132,7 +132,7 @@
             (when (text.split_at ..hex_per_chunk input)
               {.#Some [head tail]}
               (do try.monad
-                [head (at n.hex decoded head)
+                [head (of n.hex decoded head)
                  output (binary.has_64! index head output)]
                 (again tail (++ chunk) output))
               
@@ -142,7 +142,7 @@
                 (^.with_template [<size> <write>]
                   [<size>
                    (do try.monad
-                     [head (at n.hex decoded input)
+                     [head (of n.hex decoded input)
                       output (<write> index head output)]
                      (constructor output))])
                 ([1 binary.has_8!]
@@ -166,7 +166,7 @@
     (All (_ h) (Equivalence (Hash h)))
     (implementation
      (def (= reference subject)
-       (at binary.equivalence =
+       (of binary.equivalence =
            (representation reference)
            (representation subject)))))
   )
-- 
cgit v1.2.3