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

12 files changed, 29 insertions, 38 deletions

diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index b9762e9ee..34173ce62 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -17,7 +17,8 @@
      [xml (.only XML)]]
     [collection
      ["[0]" set]
-     ["[0]" dictionary]]]
+     ["[0]" dictionary]
+     ["[0]" list]]]
    [math
     ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
     [number
@@ -96,7 +97,7 @@
                                          content ..content]
                                         (in [dependency
                                              (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))]
-    (in (dictionary.of_list //dependency.hash (partial_list [main_dependency main_package] dependencies)))))
+    (in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies)))))
 
 (def: singular
   Test
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index fe15d204e..f0b011180 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -66,7 +66,7 @@
     {/.#Install} (list "install")
     {/.#Deploy repository [user password]} (list "deploy" repository user password)
     {/.#Compilation compilation} (..compilation_format compilation)
-    {/.#Auto compilation} (partial_list "auto" (..compilation_format compilation))))
+    {/.#Auto compilation} (list.partial "auto" (..compilation_format compilation))))
 
 (def: without_profile
   Test
@@ -92,7 +92,7 @@
     (_.property "With profile."
       (|> expected_command
           ..format
-          (partial_list "with" expected_profile)
+          (list.partial "with" expected_profile)
           (cli.result /.command)
           (pipe.case
             {try.#Success [actual_profile actual_command]}
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 0d282e16f..68235d16c 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -178,16 +178,6 @@
 
              _
              false))
-         (_.coverage [/.partial_list]
-           (case (/.partial_list e/0 e/1 (/.list e/2 e/3))
-             (pattern (/.partial_list a/0 a/1 (/.list a/2 a/3)))
-             (and (n.= e/0 a/0)
-                  (n.= e/1 a/1)
-                  (n.= e/2 a/2)
-                  (n.= e/3 a/3))
-
-             _
-             false))
          )))
 
 (type: (Returner a)
@@ -1114,7 +1104,7 @@
 
                           let/3 <code>.local])
                 (in (list (code.bit (case (the .#scopes lux_state)
-                                      (pattern (partial_list scope/2 _))
+                                      (pattern (list.partial scope/2 _))
                                       (let [locals/2 (the .#locals scope/2)
                                             expected_locals/2 (set.of_list text.hash (list fn/2 var/2 let/2
                                                                                            let/3))
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux
index 661807915..22d572198 100644
--- a/stdlib/source/test/lux/data/collection/stream.lux
+++ b/stdlib/source/test/lux/data/collection/stream.lux
@@ -111,7 +111,7 @@
                                   (/.iterations (function (_ n) [(++ n) (%.nat n)])
                                                 offset)))))
              (_.coverage [/.cycle]
-               (let [cycle (partial_list cycle_start cycle_next)]
+               (let [cycle (list.partial cycle_start cycle_next)]
                  (list#= (list.together (list.repeated size cycle))
                          (/.first (n.* size (list.size cycle))
                                   (/.cycle [cycle_start cycle_next])))))
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 7898b3035..f1d964e2e 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -62,7 +62,7 @@
               children (random.list num_children random.nat)]
              (_.coverage [/.branch]
                (at (list.equivalence n.equivalence) =
-                   (partial_list value children)
+                   (list.partial value children)
                    (/.flat (/.branch value (list#each /.leaf children))))))
            (do random.monad
              [expected/0 random.nat
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index a2a57629a..65bf9e589 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -90,8 +90,8 @@
                                         (at builder branch tree (at builder leaf tag value)))
                                       (at builder leaf tags/H values/H)
                                       (list.zipped_2 tags/T values/T))]
-                   (and (at tags_equivalence = (partial_list tags/H tags/T) (/.tags tree))
-                        (at values_equivalence = (partial_list values/H values/T) (/.values tree))))))
+                   (and (at tags_equivalence = (list.partial tags/H tags/T) (/.tags tree))
+                        (at values_equivalence = (list.partial values/H values/T) (/.values tree))))))
              (_.coverage [/.one]
                (let [can_find_correct_one!
                      (|> (at ..builder leaf tag_left expected_left)
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 807e0b3e0..59376f8bf 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -710,7 +710,7 @@
                                         [label_module
                                          [.#module_hash        0
                                           .#module_aliases     (list)
-                                          .#definitions        (partial_list [name_0 {.#Type [true type_0 {.#Left tags_0}]}]
+                                          .#definitions        (list.partial [name_0 {.#Type [true type_0 {.#Left tags_0}]}]
                                                                              [name_1 {.#Type [true type_1 {.#Right tags_1}]}]
                                                                              (all list#composite
                                                                                   (|> {.#Item tags_0}
diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux
index f456630a0..ce22166b8 100644
--- a/stdlib/source/test/lux/meta/configuration.lux
+++ b/stdlib/source/test/lux/meta/configuration.lux
@@ -33,7 +33,7 @@
     _ (do [! random.monad]
         [feature (random.upper_case amount)
          value (random.lower_case amount)]
-        (at ! each (|>> (partial_list [feature value]))
+        (at ! each (|>> (list.partial [feature value]))
             (random (-- amount))))))
 
 (def: failure
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
index d81170a17..0c0831530 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
@@ -231,8 +231,8 @@
                           [definition]
                           [{.#Type [public? def_type {.#Left [labels|head labels|tail]}]}]
                           [{.#Type [public? def_type {.#Right [labels|head labels|tail]}]}]
-                          [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}]
-                          [{.#Slot [public? def_type (partial_list labels|head labels|tail) index]}]))
+                          [{.#Tag [public? def_type (list.partial labels|head labels|tail) index]}]
+                          [{.#Slot [public? def_type (list.partial labels|head labels|tail) index]}]))
                     (|> (/.with hash module_name
                           (do /phase.monad
                             [_ (/.define def_name definition)]
@@ -255,8 +255,8 @@
                           [{.#Definition [public? def_type []]}]
                           [{.#Type [public? def_type {.#Left [labels|head labels|tail]}]}]
                           [{.#Type [public? def_type {.#Right [labels|head labels|tail]}]}]
-                          [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}]
-                          [{.#Slot [public? def_type (partial_list labels|head labels|tail) index]}]))
+                          [{.#Tag [public? def_type (list.partial labels|head labels|tail) index]}]
+                          [{.#Slot [public? def_type (list.partial labels|head labels|tail) index]}]))
                     (|> (/.with hash module_name
                           (do /phase.monad
                             [_ (/.define def_name definition)
@@ -294,9 +294,9 @@
                                  (do [! /phase.monad]
                                    [.let [it {.#Named [module_name def_name] def_type}]
                                     _ (/.define def_name {.#Type [public? it {<side> [labels|head labels|tail]}]})
-                                    _ (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)]
+                                    _ (/.declare_labels <record?> (list.partial labels|head labels|tail) public? it)]
                                    (monad.each ! (|>> [module_name] <query> /extension.lifted)
-                                               (partial_list labels|head labels|tail))))
+                                               (list.partial labels|head labels|tail))))
                                (/phase.result state)
                                (pipe.case
                                  {try.#Success _} <on_success>
@@ -312,7 +312,7 @@
                                  (do [! /phase.monad]
                                    [.let [it def_type]
                                     _ (/.define def_name {.#Type [public? it {<side> [labels|head labels|tail]}]})]
-                                   (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)))
+                                   (/.declare_labels <record?> (list.partial labels|head labels|tail) public? it)))
                                (/phase.result state)
                                (pipe.case
                                  {try.#Success _}
@@ -329,7 +329,7 @@
                                  (do [! /phase.monad]
                                    [.let [it {.#Named [foreign_module def_name] def_type}]
                                     _ (/.define def_name {.#Type [public? it {<side> [labels|head labels|tail]}]})]
-                                   (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)))
+                                   (/.declare_labels <record?> (list.partial labels|head labels|tail) public? it)))
                                (/phase.result state)
                                (pipe.case
                                  {try.#Success _}
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
index 9617831ab..d93193c54 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -57,7 +57,7 @@
                     (`` (all _.and
                              (~~ (with_template [<type> <slot> <?>]
                                    [(_.coverage [<type>]
-                                      (|> (partial_list "build" compilation')
+                                      (|> (list.partial "build" compilation')
                                           (<cli>.result /.service)
                                           (try#each (|>> (pipe.case
                                                            {/.#Compilation it}
@@ -80,7 +80,7 @@
                              )))
              (_.coverage [/.Interpretation]
                (`` (and (~~ (with_template [<slot> <?>]
-                              [(|> (partial_list "repl" compilation')
+                              [(|> (list.partial "repl" compilation')
                                    (<cli>.result /.service)
                                    (try#each (|>> (pipe.case
                                                     {/.#Interpretation it}
@@ -102,7 +102,7 @@
                               )))))
              (_.coverage [/.Export]
                (`` (and (~~ (with_template [<side> <?>]
-                              [(|> (partial_list "export" export)
+                              [(|> (list.partial "export" export)
                                    (<cli>.result /.service)
                                    (try#each (|>> (pipe.case
                                                     {/.#Export it}
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 31c2efd14..fcabf6d74 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -489,8 +489,8 @@
         (succeeds? (do [! /.monad]
                      [[var/head var/tail+ var/last] (..build_ring tail_size)
                       _ (/.check var/head nominal/0)
-                      failures (monad.each ! (|>> (/.check nominal/1) ..verdict) (partial_list var/head var/tail+))
-                      successes (monad.each ! (|>> (/.check nominal/0) ..verdict) (partial_list var/head var/tail+))]
+                      failures (monad.each ! (|>> (/.check nominal/1) ..verdict) (list.partial var/head var/tail+))
+                      successes (monad.each ! (|>> (/.check nominal/0) ..verdict) (list.partial var/head var/tail+))]
                      (/.assertion "" (and (list.every? (bit#= false) failures)
                                           (list.every? (bit#= true) successes)))))
 
@@ -500,8 +500,8 @@
                       [var/head/1 var/tail+/1 var/last/1] (..build_ring tail_size)
                       _ (/.check var/head/0 var/head/1)
                       _ (/.check var/head/0 nominal/0)
-                      .let [all_variables (list#composite (partial_list var/head/0 var/tail+/0)
-                                                          (partial_list var/head/1 var/tail+/1))]
+                      .let [all_variables (list#composite (list.partial var/head/0 var/tail+/0)
+                                                          (list.partial var/head/1 var/tail+/1))]
                       failures (monad.each ! (|>> (/.check nominal/1) ..verdict) all_variables)
                       successes (monad.each ! (|>> (/.check nominal/0) ..verdict) all_variables)]
                      (/.assertion "" (and (list.every? (bit#= false) failures)
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 5617489b9..872436a4f 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -78,7 +78,7 @@
         [_ (atom.compare_and_swap! disk' (dictionary.has @ {.#Left [now it]} disk') disk)]
         (case (/.parent fs @)
           {.#Some parent}
-          (alert_parent! disk (|>> (partial_list @)) parent)
+          (alert_parent! disk (|>> (list.partial @)) parent)
 
           {.#None}
           (in {try.#Success []})))
@@ -174,7 +174,7 @@
              [_ (atom.compare_and_swap! disk' (dictionary.has @ {.#Right (list)} disk') disk)]
              (case (/.parent mock @)
                {.#Some parent}
-               (alert_parent! disk (|>> (partial_list @)) parent)
+               (alert_parent! disk (|>> (list.partial @)) parent)
 
                {.#None}
                (in {try.#Success []})))