aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program')
-rw-r--r--stdlib/source/program/aedifex/repository.lux30
1 files changed, 16 insertions, 14 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 914cd1420..d1aa5a1b9 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -15,13 +15,14 @@
[net
[uri (#+ URI)]]]]])
-(interface: .public (Repository !)
- (: Text
- description)
- (: (-> URI (! (Try Binary)))
- download)
- (: (-> URI Binary (! (Try Any)))
- upload))
+(type: .public (Repository !)
+ (Interface
+ (: Text
+ description)
+ (: (-> URI (! (Try Binary)))
+ download)
+ (: (-> URI Binary (! (Try Any)))
+ upload)))
(def: .public (async repository)
(-> (Repository IO) (Repository Async))
@@ -35,13 +36,14 @@
(async.future (\ repository upload uri content)))
))
-(interface: .public (Mock s)
- (: Text
- the_description)
- (: (-> URI s (Try [s Binary]))
- on_download)
- (: (-> URI Binary s (Try s))
- on_upload))
+(type: .public (Mock s)
+ (Interface
+ (: Text
+ the_description)
+ (: (-> URI s (Try [s Binary]))
+ on_download)
+ (: (-> URI Binary s (Try s))
+ on_upload)))
(def: .public (mock mock init)
(All [s] (-> (Mock s) s (Repository Async)))