diff options
Diffstat (limited to 'stdlib/source/program/aedifex/repository/remote.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 14 |
1 files changed, 7 insertions, 7 deletions
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) |