diff options
| author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
| commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
| tree | 540310f190007d192b892db2d0a520d17b73ad48 /stdlib/source/program/aedifex/repository | |
| parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) | |
Changed the syntax of do/be's (co)monad bindings.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/local.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 50a473b82..04eb87356 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -54,7 +54,7 @@ (def: (download uri) (stm.commit! - (do {! stm.monad} + (do [! stm.monad] [|state| (stm.read state)] (case (\ mock on_download uri |state|) (#try.Success [|state| output]) @@ -67,7 +67,7 @@ (def: (upload uri content) (stm.commit! - (do {! stm.monad} + (do [! stm.monad] [|state| (stm.read state)] (case (\ mock on_upload uri content |state|) (#try.Success |state|) diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index d10296714..4a2837672 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -47,7 +47,7 @@ (\ fs read))) (def: (upload uri content) - (do {! async.monad} + (do [! async.monad] [.let [absolute_path (..absolute_path program (\ fs separator) uri)] ? (\ fs file? absolute_path) _ (if ? diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 00ac66517..ea8952bef 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -60,7 +60,7 @@ (def: description address) (def: (download uri) - (do {! (try.with io.monad)} + (do [! (try.with io.monad)] [[status message] (: (IO (Try (@http.Response IO))) (http.get (format address uri) (http.headers ..base_headers) |