aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
authorEduardo Julian2021-08-26 02:34:05 -0400
committerEduardo Julian2021-08-26 02:34:05 -0400
commite814f667aed509a70bd386dcd54628929134def4 (patch)
tree0a948502194c846a66396020420bd99c6c68370a /stdlib/source/program
parentb216900093c905b3b20dd45c69e577b192e2f7a3 (diff)
"Interface" instead of "interface:", and "Rec" can be used in type definition.
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)))