From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 stdlib/source/program/aedifex/repository/identity.lux |  4 ++--
 stdlib/source/program/aedifex/repository/local.lux    | 14 +++++++-------
 stdlib/source/program/aedifex/repository/origin.lux   |  2 +-
 stdlib/source/program/aedifex/repository/remote.lux   | 14 +++++++-------
 4 files changed, 17 insertions(+), 17 deletions(-)

(limited to 'stdlib/source/program/aedifex/repository')

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)
-- 
cgit v1.2.3