aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/repository.lux16
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux8
4 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 5cca8174b..b836cfa54 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -57,24 +57,24 @@
(do [! stm.monad]
[|state| (stm.read state)]
(case (\ mock on_download uri |state|)
- (#try.Success [|state| output])
+ {#try.Success [|state| output]}
(do !
[_ (stm.write |state| state)]
- (in (#try.Success output)))
+ (in {#try.Success output}))
- (#try.Failure error)
- (in (#try.Failure error))))))
+ {#try.Failure error}
+ (in {#try.Failure error})))))
(def: (upload uri content)
(stm.commit!
(do [! stm.monad]
[|state| (stm.read state)]
(case (\ mock on_upload uri content |state|)
- (#try.Success |state|)
+ {#try.Success |state|}
(do !
[_ (stm.write |state| state)]
- (in (#try.Success [])))
+ (in {#try.Success []}))
- (#try.Failure error)
- (in (#try.Failure error))))))
+ {#try.Failure error}
+ (in {#try.Failure error})))))
)))
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 2c528a520..508fcba28 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -53,7 +53,7 @@
_ (if ?
(in [])
(case (file.parent fs absolute_path)
- (#.Some parent)
+ {#.Some parent}
(file.make_directories async.monad fs parent)
_
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 72163f641..a5a613a1a 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -12,8 +12,8 @@
(type: .public Origin
(Variant
- (#Local Path)
- (#Remote URL)))
+ {#Local Path}
+ {#Remote URL}))
(def: .public equivalence
(Equivalence Origin)
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 4f852c2b7..269ff15a9 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -73,7 +73,7 @@
_
(do !
- [_ ((value@ #@http.body message) (#.Some 0))]
+ [_ ((value@ #@http.body message) {#.Some 0})]
(\ io.monad in (exception.except ..download_failure [(format address uri) status]))))))
(def: (upload uri content)
@@ -84,12 +84,12 @@
#.None
..base_headers
- (#.Some [user password])
+ {#.Some [user password]}
(list& ["Authorization" (//identity.basic_auth user password)]
..base_headers)))
- (#.Some content)
+ {#.Some content}
http))
- _ ((value@ #@http.body message) (#.Some 0))]
+ _ ((value@ #@http.body message) {#.Some 0})]
(case status
(^ (static http/status.created))
(in [])