diff options
Diffstat (limited to 'stdlib/source/program/aedifex/repository.lux')
| -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)] |