diff options
author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/program/aedifex/repository.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 12 |
1 files changed, 6 insertions, 6 deletions
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)] |