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

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

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index ea0507bcf..42053974e 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -28,12 +28,12 @@
   (-> (Repository IO) (Repository Async))
   (implementation
    (def description
-     (at repository description))
+     (of repository description))
    (def (download uri)
-     (async.future (at repository download uri)))
+     (async.future (of repository download uri)))
 
    (def (upload uri content)
-     (async.future (at repository upload uri content)))
+     (async.future (of repository upload uri content)))
    ))
 
 (type .public (Mock s)
@@ -50,13 +50,13 @@
   (let [state (stm.var init)]
     (implementation
      (def description
-       (at mock the_description))
+       (of mock the_description))
      
      (def (download uri)
        (stm.commit!
         (do [! stm.monad]
           [|state| (stm.read state)]
-          (when (at mock on_download uri |state|)
+          (when (of mock on_download uri |state|)
             {try.#Success [|state| output]}
             (do !
               [_ (stm.write |state| state)]
@@ -69,7 +69,7 @@
        (stm.commit!
         (do [! stm.monad]
           [|state| (stm.read state)]
-          (when (at mock on_upload uri content |state|)
+          (when (of mock on_upload uri content |state|)
             {try.#Success |state|}
             (do !
               [_ (stm.write |state| state)]
-- 
cgit v1.2.3