aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/program/aedifex/repository
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux4
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux14
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux14
4 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index d6b14b12b..634423e7c 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -22,7 +22,7 @@
[#user User
#password Password]))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Identity)
(all product.equivalence
text.equivalence
@@ -37,7 +37,7 @@
"[1]::[0]"
("static" getEncoder [] java/util/Base64$Encoder))
-(def: .public (basic_auth user password)
+(def .public (basic_auth user password)
(-> User Password Text)
(let [credentials (at utf8.codec encoded (format user ":" password))]
(|> (java/util/Base64::getEncoder)
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 1a7fb0ffd..b491e6d12 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -20,35 +20,35 @@
["[1][0]" local]
["[1][0]" metadata]]])
-(def: .public (root program fs)
+(def .public (root program fs)
(-> (Program Async) (file.System Async) file.Path)
(let [/ (at fs separator)]
(|> ///local.repository
(text.replaced uri.separator /)
(format (at program home) /))))
-(def: (path /)
+(def (path /)
(-> Text (-> URI file.Path))
(text.replaced uri.separator /))
-(def: (absolute_path program fs)
+(def (absolute_path program fs)
(-> (Program Async) (file.System Async) (-> URI file.Path))
(let [/ (at fs separator)]
(|>> ///metadata.local_uri
(..path /)
(format (..root program fs) /))))
-(def: .public (repository program fs)
+(def .public (repository program fs)
(-> (Program Async) (file.System Async) (//.Repository Async))
(implementation
- (def: description
+ (def description
(..root program fs))
- (def: download
+ (def download
(|>> (..absolute_path program fs)
(at fs read)))
- (def: (upload uri content)
+ (def (upload uri content)
(do [! async.monad]
[.let [absolute_path (..absolute_path program fs uri)]
? (at fs file? absolute_path)
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index c69337877..b8556c4c4 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -15,7 +15,7 @@
{#Local Path}
{#Remote URL}))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Origin)
(all sum.equivalence
text.equivalence
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index cbe1ffd8e..d91047f7c 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -45,23 +45,23 @@
[upload_failure]
)
-(def: .public (uri version_template artifact extension)
+(def .public (uri version_template artifact extension)
(-> Version Artifact Extension URI)
(format (///artifact.uri version_template artifact) extension))
-(def: .public user_agent
+(def .public user_agent
(format "LuxAedifex/" (version.format meta/version.latest)))
-(def: base_headers
+(def base_headers
(List [Text Text])
(list ["User-Agent" ..user_agent]))
-(def: .public (repository http identity address)
+(def .public (repository http identity address)
(All (_ s) (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO)))
(implementation
- (def: description
+ (def description
address)
- (def: (download uri)
+ (def (download uri)
(do [! (try.with io.monad)]
[[status message] (is (IO (Try (@http.Response IO)))
(http.get (format address uri)
@@ -77,7 +77,7 @@
[_ ((the @http.#body message) {.#Some 0})]
(at io.monad in (exception.except ..download_failure [(format address uri) status]))))))
- (def: (upload uri content)
+ (def (upload uri content)
(do (try.with io.monad)
[[status message] (is (IO (Try (@http.Response IO)))
(http.put (format address uri)