From 0ebabc6e307d161ac4ef837aa492066d4320f6a9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 24 Oct 2020 09:08:00 -0400
Subject: Re-named some list functions.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 4 ++--
 stdlib/source/poly/lux/abstract/functor.lux     | 2 +-
 stdlib/source/poly/lux/data/format/json.lux     | 6 +++---
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 0fec32a2d..69c2d24fb 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -123,7 +123,7 @@
                                                            (list (` [((~ (code.nat tag)) #0 (~ g!left))
                                                                      ((~ (code.nat tag)) #0 (~ g!right))])
                                                                  (` ((~ g!eq) (~ g!left) (~ g!right))))))
-                                                       (list.enumerate members))))
+                                                       (list.enumeration members))))
                               (~ g!_)
                               #0))))))
             ## Tuples
@@ -135,7 +135,7 @@
                      g!rights (list@map (|>> nat@encode (text@compose "right") code.local-identifier) indices)]]
               (wrap (` (: (~ (@Equivalence inputT))
                           (function ((~ g!_) [(~+ g!lefts)] [(~+ g!rights)])
-                            (and (~+ (|> (list.zip3 g!eqs g!lefts g!rights)
+                            (and (~+ (|> (list.zip/3 g!eqs g!lefts g!rights)
                                          (list@map (function (_ [g!eq g!left g!right])
                                                      (` ((~ g!eq) (~ g!left) (~ g!right)))))))))))))
             ## Type recursion
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 93d94e06b..d1219bf87 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -60,7 +60,7 @@
                                                                            (` ((~ (code.nat (dec tag))) #1 (~ memberC))))
                                                                      (list (` ((~ (code.nat tag)) #0 (~ valueC)))
                                                                            (` ((~ (code.nat tag)) #0 (~ memberC))))))
-                                                                 (list.enumerate membersC))))))))
+                                                                 (list.enumeration membersC))))))))
                            ## Tuples
                            (do p.monad
                              [pairsCC (: (<type>.Parser (List [Code Code]))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 1f9234a4d..1921ecd3a 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -180,7 +180,7 @@
                                                                (` ((~! /.json) [(~ (code.frac (..tag tag)))
                                                                                 #0
                                                                                 ((~ g!encode) (~ g!input))])))))
-                                                     (list.enumerate members))))))))))
+                                                     (list.enumeration members))))))))))
           (do @
             [g!encoders (<type>.tuple (p.many codec//encode))
              #let [g!_ (code.local-identifier "_______")
@@ -191,7 +191,7 @@
                         (function ((~ g!_) [(~+ g!members)])
                           ((~! /.json) [(~+ (list@map (function (_ [g!member g!encode])
                                                         (` ((~ g!encode) (~ g!member))))
-                                                      (list.zip2 g!members g!encoders)))]))))))
+                                                      (list.zip/2 g!members g!encoders)))]))))))
           ## Type recursion
           (do @
             [[selfC non-recC] (<type>.recursive codec//encode)
@@ -291,7 +291,7 @@
                                                      ((~! p.after) ((~! </>.boolean!) (~ (code.bit #0))))
                                                      ((~! p.after) ((~! </>.number!) (~ (code.frac (..tag tag)))))
                                                      ((~! </>.array))))))
-                                          (list.enumerate members))))))))
+                                          (list.enumeration members))))))))
           (do @
             [g!decoders (<type>.tuple (p.many codec//decode))]
             (wrap (` (: (~ (@JSON//decode inputT))
-- 
cgit v1.2.3