diff options
| author | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
| commit | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (patch) | |
| tree | f2bbdc3e40b796b34026ab04c9a478d8a3f082d5 /stdlib/source/program/aedifex/repository | |
| parent | 68d78235694c633c956bb9e8a007cad7d65370bc (diff) | |
Re-named the "case" macro to "when".
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
| -rw-r--r-- | stdlib/source/program/aedifex/repository/local.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index af9b502aa..dcc604306 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -55,7 +55,7 @@ _ (is (Async (Try Any)) (if ? (in {try.#Success []}) - (case (file.parent fs absolute_path) + (when (file.parent fs absolute_path) {.#Some parent} (file.make_directories async.monad fs parent) diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 10b7f372d..bb89a6235 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -67,7 +67,7 @@ (http.headers ..base_headers) {.#None} http))] - (case status + (when status http/status.ok (at ! each product.right ((the @http.#body message) {.#None})) @@ -80,7 +80,7 @@ (do (try.with io.monad) [[status message] (is (IO (Try (@http.Response IO))) (http.put (format address uri) - (http.headers (case identity + (http.headers (when identity {.#None} ..base_headers @@ -90,7 +90,7 @@ {.#Some content} http)) _ ((the @http.#body message) {.#Some 0})] - (case status + (when status http/status.created (in []) |