diff options
author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/program/aedifex/repository | |
parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) |
De-sigil-ification: #
Diffstat (limited to '')
4 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 65c13db0f..395eefc20 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -28,12 +28,12 @@ (-> (Repository IO) (Repository Async)) (implementation (def: description - (# repository description)) + (at repository description)) (def: (download uri) - (async.future (# repository download uri))) + (async.future (at repository download uri))) (def: (upload uri content) - (async.future (# repository upload uri content))) + (async.future (at repository upload uri content))) )) (type: .public (Mock s) @@ -50,13 +50,13 @@ (let [state (stm.var init)] (implementation (def: description - (# mock the_description)) + (at mock the_description)) (def: (download uri) (stm.commit! (do [! stm.monad] [|state| (stm.read state)] - (case (# mock on_download uri |state|) + (case (at mock on_download uri |state|) {try.#Success [|state| output]} (do ! [_ (stm.write |state| state)] @@ -69,7 +69,7 @@ (stm.commit! (do [! stm.monad] [|state| (stm.read state)] - (case (# mock on_upload uri content |state|) + (case (at mock on_upload uri content |state|) {try.#Success |state|} (do ! [_ (stm.write |state| state)] diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index f3111fed3..5f618e183 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -39,7 +39,7 @@ (def: .public (basic_auth user password) (-> User Password Text) - (let [credentials (# utf8.codec encoded (format user ":" password))] + (let [credentials (at utf8.codec encoded (format user ":" password))] (|> (java/util/Base64::getEncoder) (java/util/Base64$Encoder::encodeToString credentials) ffi.of_string diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index e712e1db1..6f031ccfd 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -22,10 +22,10 @@ (def: .public (root program fs) (-> (Program Async) (file.System Async) file.Path) - (let [/ (# fs separator)] + (let [/ (at fs separator)] (|> ///local.repository (text.replaced uri.separator /) - (format (# program home) /)))) + (format (at program home) /)))) (def: (path /) (-> Text (-> URI file.Path)) @@ -33,7 +33,7 @@ (def: (absolute_path program fs) (-> (Program Async) (file.System Async) (-> URI file.Path)) - (let [/ (# fs separator)] + (let [/ (at fs separator)] (|>> ///metadata.local_uri (..path /) (format (..root program fs) /)))) @@ -46,12 +46,12 @@ (def: download (|>> (..absolute_path program fs) - (# fs read))) + (at fs read))) (def: (upload uri content) (do [! async.monad] [.let [absolute_path (..absolute_path program fs uri)] - ? (# fs file? absolute_path) + ? (at fs file? absolute_path) _ (is (Async (Try Any)) (if ? (in {try.#Success []}) @@ -61,4 +61,4 @@ _ (in {try.#Success []}))))] - (# fs write absolute_path content)))) + (at fs write absolute_path content)))) diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index c6aafb221..8a93e4cfd 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -68,12 +68,12 @@ http))] (case status (pattern (static http/status.ok)) - (# ! each product.right ((the @http.#body message) {.#None})) + (at ! each product.right ((the @http.#body message) {.#None})) _ (do ! [_ ((the @http.#body message) {.#Some 0})] - (# io.monad in (exception.except ..download_failure [(format address uri) status])))))) + (at io.monad in (exception.except ..download_failure [(format address uri) status])))))) (def: (upload uri content) (do (try.with io.monad) @@ -94,5 +94,5 @@ (in []) _ - (# io.monad in (exception.except ..upload_failure [(format address uri) status]))))) + (at io.monad in (exception.except ..upload_failure [(format address uri) status]))))) ) |