diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/program/aedifex/metadata/snapshot.lux | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/program/aedifex/metadata/snapshot.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index c840fc870..982d15556 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -22,7 +22,7 @@ [format ["[0]" xml {"+" [XML]}]] [collection - ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] @@ -95,7 +95,7 @@ ///artifact/snapshot/version.#value version ///artifact/snapshot/version.#updated ///artifact/time.epoch]] (|> (<xml>.somewhere ///artifact/versioning.parser) - (\ ! each + (# ! each (revised@ ///artifact/versioning.#versions (: (-> (List ///artifact/snapshot/version.Version) (List ///artifact/snapshot/version.Version)) @@ -126,13 +126,13 @@ (def: .public (read repository artifact) (-> (Repository Async) Artifact (Async (Try Metadata))) (do async.monad - [project (\ repository download (..uri artifact))] + [project (# repository download (..uri artifact))] (case project {try.#Success project} (in (|> project (do> try.monad - [(\ utf8.codec decoded)] - [(\ xml.codec decoded)] + [(# utf8.codec decoded)] + [(# xml.codec decoded)] [list (<xml>.result ..parser)]))) {try.#Failure error} @@ -144,6 +144,6 @@ (-> (Repository Async) Artifact Metadata (Async (Try Any))) (|> metadata ..format - (\ xml.codec encoded) - (\ utf8.codec encoded) - (\ repository upload (..uri artifact)))) + (# xml.codec encoded) + (# utf8.codec encoded) + (# repository upload (..uri artifact)))) |