diff options
Diffstat (limited to '')
5 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 1ab1e0602..8d6d63b3a 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -15,7 +15,7 @@ [net [uri (#+ URI)]]]]]) -(interface: #export (Repository !) +(interface: .public (Repository !) (: Text description) (: (-> URI (! (Try Binary))) @@ -23,7 +23,7 @@ (: (-> URI Binary (! (Try Any))) upload)) -(def: #export (async repository) +(def: .public (async repository) (-> (Repository IO) (Repository Async)) (implementation (def: description @@ -35,7 +35,7 @@ (async.future (\ repository upload uri content))) )) -(interface: #export (Mock s) +(interface: .public (Mock s) (: Text the_description) (: (-> URI s (Try [s Binary])) @@ -43,7 +43,7 @@ (: (-> URI Binary s (Try s)) on_upload)) -(def: #export (mock mock init) +(def: .public (mock mock init) (All [s] (-> (Mock s) s (Repository Async))) (let [state (stm.var init)] (implementation diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index dccecf291..742c1aef2 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -11,17 +11,17 @@ [encoding ["." utf8]]]]]]) -(type: #export User +(type: .public User Text) -(type: #export Password +(type: .public Password Text) -(type: #export Identity +(type: .public Identity {#user User #password Password}) -(def: #export equivalence +(def: .public equivalence (Equivalence Identity) ($_ product.equivalence text.equivalence @@ -36,7 +36,7 @@ ["#::." (#static getEncoder [] java/util/Base64$Encoder)]) -(def: #export (basic_auth user password) +(def: .public (basic_auth user password) (-> User Password Text) (let [credentials (\ utf8.codec encode (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 6cfdd0f0b..f59a04b85 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -36,7 +36,7 @@ (..path /) (format (..root program /) /))) -(implementation: #export (repository program fs) +(implementation: .public (repository program fs) (-> (Program Async) (file.System Async) (//.Repository Async)) (def: description diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index be7d24a6e..b850bf21f 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -10,11 +10,11 @@ [file (#+ Path)] [net (#+ URL)]]]]) -(type: #export Origin +(type: .public Origin (#Local Path) (#Remote URL)) -(def: #export equivalence +(def: .public equivalence (Equivalence Origin) ($_ sum.equivalence text.equivalence diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 76363c94f..feaf3201f 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -30,11 +30,11 @@ ["#." artifact (#+ Version Artifact) [extension (#+ Extension)]]]]) -(type: #export Address +(type: .public Address URL) (template [<name>] - [(exception: #export (<name> {url URL} {status Nat}) + [(exception: .public (<name> {url URL} {status Nat}) (exception.report ["URL" (%.text url)] ["Status Code" (%.nat status)]))] @@ -43,18 +43,18 @@ [upload_failure] ) -(def: #export (uri version_template artifact extension) +(def: .public (uri version_template artifact extension) (-> Version Artifact Extension URI) (format (///artifact.uri version_template artifact) extension)) -(def: #export user_agent +(def: .public user_agent (format "LuxAedifex/" (version.format language/lux.version))) (def: base_headers (List [Text Text]) (list ["User-Agent" ..user_agent])) -(implementation: #export (repository http identity address) +(implementation: .public (repository http identity address) (All [s] (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO))) (def: description |