Re-named "partial_list" to "list.partial".

6 files changed, 9 insertions, 7 deletions

diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 07842d32e..2e07625cb 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -33,7 +33,7 @@
         (at ! each (|>> (try.else (list))
                         (monad.each ! (targets fs))))
         (at ! conjoint)
-        (at ! each (|>> list.together (partial_list path))))))
+        (at ! each (|>> list.together (list.partial path))))))
 
 (def: .public delay
   Nat
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index dfb566c11..b00f60968 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -271,7 +271,7 @@
 
     _
     (revised ///runtime.#parameters
-             (|>> (partial_list "-cp" (..jvm_class_path host_dependencies)
+             (|>> (list.partial "-cp" (..jvm_class_path host_dependencies)
                                 "-Xss16m"
                                 "--add-opens" "java.base/java.lang=ALL-UNNAMED"))
              runtime)))
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index 49688ae20..5b9a8b783 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -73,7 +73,7 @@
   (-> ///artifact/type.Type Status (List ///artifact/type.Type))
   (with_expansions [<sha-1> (format type ///artifact/extension.sha-1)
                     <md5> (format type ///artifact/extension.md5)]
-    (partial_list type
+    (list.partial type
                   (case status
                     {///dependency/status.#Unverified}
                     (list)
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index c85970a5b..13d7159ba 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -58,5 +58,5 @@
             (do [! try.monad]
               [it it
                it (..project_parser it)
-               it (monad.each ! (//project.profile it) (partial_list //profile.default profiles))]
+               it (monad.each ! (//project.profile it) (list.partial //profile.default profiles))]
               (in (mix.with_monoid //profile.monoid list.mix it)))))))
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index f22f80763..3c966930a 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -113,7 +113,7 @@
 
 (def: (developer' [name email organization])
   (-> /.Developer (List XML))
-  (partial_list (..property "name" name)
+  (list.partial (..property "name" name)
                 (..property "email" email)
                 (|> organization (maybe#each ..developer_organization) (maybe.else (list)))))
 
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index b5fbc6b13..49204fbae 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -10,7 +10,9 @@
    [data
     ["[0]" product]
     [text
-     ["%" format (.only format)]]]
+     ["%" format (.only format)]]
+    [collection
+     ["[0]" list]]]
    ["[0]" meta
     ["[1]/[0]" version]]
    [tool
@@ -84,7 +86,7 @@
                                                        ..base_headers
                                                        
                                                        {.#Some [user password]}
-                                                       (partial_list ["Authorization" (//identity.basic_auth user password)]
+                                                       (list.partial ["Authorization" (//identity.basic_auth user password)]
                                                                      ..base_headers)))
                                        {.#Some content}
                                        http))