aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/repository.lux')
-rw-r--r--stdlib/source/program/aedifex/repository.lux16
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)]