diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 395eefc20..2b092ad41 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -24,15 +24,15 @@ (is (-> URI Binary (! (Try Any))) upload))) -(def: .public (async repository) +(def .public (async repository) (-> (Repository IO) (Repository Async)) (implementation - (def: description + (def description (at repository description)) - (def: (download uri) + (def (download uri) (async.future (at repository download uri))) - (def: (upload uri content) + (def (upload uri content) (async.future (at repository upload uri content))) )) @@ -45,14 +45,14 @@ (is (-> URI Binary s (Try s)) on_upload))) -(def: .public (mock mock init) +(def .public (mock mock init) (All (_ s) (-> (Mock s) s (Repository Async))) (let [state (stm.var init)] (implementation - (def: description + (def description (at mock the_description)) - (def: (download uri) + (def (download uri) (stm.commit! (do [! stm.monad] [|state| (stm.read state)] @@ -65,7 +65,7 @@ {try.#Failure error} (in {try.#Failure error}))))) - (def: (upload uri content) + (def (upload uri content) (stm.commit! (do [! stm.monad] [|state| (stm.read state)] |