diff options
| author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
| commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
| tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/program/aedifex/repository.lux | |
| parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff) | |
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/program/aedifex/repository.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index e5dc55d2c..7ec522a10 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -47,10 +47,10 @@ (-> (Repository IO) (Repository Promise)) (structure (def: (download artifact extension) - (promise.future (:: repository download artifact extension))) + (promise.future (\ repository download artifact extension))) (def: (upload identity artifact extension content) - (promise.future (:: repository upload identity artifact extension content))) + (promise.future (\ repository upload identity artifact extension content))) )) (signature: #export (Simulation s) @@ -69,7 +69,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-download artifact extension |state|) + (case (\ simulation on-download artifact extension |state|) (#try.Success [|state| output]) (do ! [_ (stm.write |state| state)] @@ -82,7 +82,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-upload identity artifact extension content |state|) + (case (\ simulation on-upload identity artifact extension content |state|) (#try.Success |state|) (do ! [_ (stm.write |state| state)] @@ -159,9 +159,9 @@ (do {! (try.with io.monad)} [input (|> (java/net/URL::new url) java/net/URL::openStream - (:: ! map (|>> java/io/BufferedInputStream::new))) + (\ ! map (|>> java/io/BufferedInputStream::new))) #let [buffer (binary.create ..buffer-size)]] - (loop [output (:: binary.monoid identity)] + (loop [output (\ binary.monoid identity)] (do ! [bytes-read (java/io/BufferedInputStream::read buffer +0 (.int ..buffer-size) input)] (case bytes-read @@ -169,10 +169,10 @@ [_ (java/lang/AutoCloseable::close input)] (wrap output)) _ (if (n.= ..buffer-size bytes-read) - (recur (:: binary.monoid compose output buffer)) + (recur (\ binary.monoid compose output buffer)) (do ! - [chunk (:: io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))] - (recur (:: binary.monoid compose output chunk)))))))))) + [chunk (\ io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))] + (recur (\ binary.monoid compose output chunk)))))))))) (def: (upload [user password] artifact extension content) (do (try.with io.monad) @@ -190,5 +190,5 @@ code (java/net/HttpURLConnection::getResponseCode connection)] (case code +200 (wrap []) - _ (:: io.monad wrap (exception.throw ..deployment-failure [code]))))) + _ (\ io.monad wrap (exception.throw ..deployment-failure [code]))))) ) |