- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.

9 files changed, 109 insertions, 112 deletions

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 7d26ce777..e8bd4d3ea 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -2192,7 +2192,7 @@
               (|> data'
                   (join-map (. apply (make-env bindings')))
                   return)
-              (fail "Irregular arguments vectors for do-template.")))
+              (fail "Irregular arguments tuples for do-template.")))
 
       _
       (fail "Wrong syntax for do-template"))
@@ -5625,9 +5625,9 @@
   {#;doc (doc "Allows you to refer to the type-variables in a polymorphic function's type, by their index."
               "In the example below, +0 corresponds to the 'a' variable."
               (def: #export (from-list list)
-                (All [a] (-> (List a) (Vector a)))
+                (All [a] (-> (List a) (Sequence a)))
                 (list/fold add
-                           (: (Vector ($ +0))
+                           (: (Sequence ($ +0))
                               empty)
                            list)))}
   (case tokens
diff --git a/stdlib/source/lux/data/coll/vector.lux b/stdlib/source/lux/data/coll/sequence.lux
index 956850a87..f85558c5e 100644
--- a/stdlib/source/lux/data/coll/vector.lux
+++ b/stdlib/source/lux/data/coll/sequence.lux
@@ -17,9 +17,6 @@
               ["s" syntax #+ syntax: Syntax])
        ))
 
-## This implementation of vectors is based on Clojure's
-## PersistentVector implementation.
-
 ## [Utils]
 (type: (Node a)
   (#Base (Array a))
@@ -176,7 +173,7 @@
                    #;Nil))))
 
 ## [Types]
-(type: #export (Vector a)
+(type: #export (Sequence a)
   {#level Level
    #size Nat
    #root (Hierarchy a)
@@ -184,18 +181,18 @@
 
 ## [Exports]
 (def: #export empty
-  Vector
+  Sequence
   {#level (level-up root-level)
    #size +0
    #root (array;new full-node-size)
    #tail (array;new +0)})
 
-(def: #export (size vector)
-  (All [a] (-> (Vector a) Nat))
-  (get@ #size vector))
+(def: #export (size sequence)
+  (All [a] (-> (Sequence a) Nat))
+  (get@ #size sequence))
 
 (def: #export (add val vec)
-  (All [a] (-> a (Vector a) (Vector a)))
+  (All [a] (-> a (Sequence a) (Sequence a)))
   ## Check if there is room in the tail.
   (let [vec-size (get@ #size vec)]
     (if (|> vec-size (n.- (tail-off vec-size)) (n.< full-node-size))
@@ -219,14 +216,14 @@
             ## Otherwise, just push the current tail onto the root.
             (|> vec
                 (update@ #root (push-tail vec-size (get@ #level vec) (get@ #tail vec)))))
-          ## Finally, update the size of the Vector and grow a new
+          ## Finally, update the size of the Sequence and grow a new
           ## tail with the new element as it's sole member.
           (update@ #size n.inc)
           (set@ #tail (new-tail val)))
       )))
 
 (def: (base-for idx vec)
-  (All [a] (-> Index (Vector a) (Maybe (Base a))))
+  (All [a] (-> Index (Sequence a) (Maybe (Base a))))
   (let [vec-size (get@ #size vec)]
     (if (and (n.>= +0 idx)
              (n.< vec-size idx))
@@ -246,17 +243,17 @@
             #;None
 
             _
-            (error! "Incorrect vector structure."))))
+            (error! "Incorrect sequence structure."))))
       #;None)))
 
 (def: #export (nth idx vec)
-  (All [a] (-> Nat (Vector a) (Maybe a)))
+  (All [a] (-> Nat (Sequence a) (Maybe a)))
   (do maybe;Monad<Maybe>
     [base (base-for idx vec)]
     (array;read (branch-idx idx) base)))
 
 (def: #export (put idx val vec)
-  (All [a] (-> Nat a (Vector a) (Vector a)))
+  (All [a] (-> Nat a (Sequence a) (Sequence a)))
   (let [vec-size (get@ #size vec)]
     (if (and (n.>= +0 idx)
              (n.< vec-size idx))
@@ -269,7 +266,7 @@
       vec)))
 
 (def: #export (update idx f vec)
-  (All [a] (-> Nat (-> a a) (Vector a) (Vector a)))
+  (All [a] (-> Nat (-> a a) (Sequence a) (Sequence a)))
   (case (nth idx vec)
     (#;Some val)
     (put idx (f val) vec)
@@ -278,7 +275,7 @@
     vec))
 
 (def: #export (pop vec)
-  (All [a] (-> (Vector a) (Vector a)))
+  (All [a] (-> (Sequence a) (Sequence a)))
   (case (get@ #size vec)
     +0
     empty
@@ -322,29 +319,29 @@
     ))
 
 (def: #export (to-list vec)
-  (All [a] (-> (Vector a) (List a)))
+  (All [a] (-> (Sequence a) (List a)))
   (list/compose (to-list' (#Hierarchy (get@ #root vec)))
                 (to-list' (#Base (get@ #tail vec)))))
 
 (def: #export (from-list list)
-  (All [a] (-> (List a) (Vector a)))
+  (All [a] (-> (List a) (Sequence a)))
   (list/fold add
-             (: (Vector ($ +0))
+             (: (Sequence ($ +0))
                 empty)
              list))
 
 (def: #export (member? a/Eq vec val)
-  (All [a] (-> (Eq a) (Vector a) a Bool))
+  (All [a] (-> (Eq a) (Sequence a) a Bool))
   (list;member? a/Eq (to-list vec) val))
 
 (def: #export empty?
-  (All [a] (-> (Vector a) Bool))
+  (All [a] (-> (Sequence a) Bool))
   (|>. (get@ #size) (n.= +0)))
 
 ## [Syntax]
-(syntax: #export (vector [elems (p;some s;any)])
-  {#;doc (doc "Vector literals."
-              (vector 10 20 30 40))}
+(syntax: #export (sequence [elems (p;some s;any)])
+  {#;doc (doc "Sequence literals."
+              (sequence 10 20 30 40))}
   (wrap (list (` (from-list (list (~@ elems)))))))
 
 ## [Structures]
@@ -358,7 +355,7 @@
       (:: (array;Eq<Array> (Eq<Node> Eq<a>)) = h1 h2)
       )))
 
-(struct: #export (Eq<Vector> Eq<a>) (All [a] (-> (Eq a) (Eq (Vector a))))
+(struct: #export (Eq<Sequence> Eq<a>) (All [a] (-> (Eq a) (Eq (Sequence a))))
   (def: (= v1 v2)
     (and (n.= (get@ #size v1) (get@ #size v2))
          (let [(^open "Node/") (Eq<Node> Eq<a>)]
@@ -379,7 +376,7 @@
                   hierarchy))
     ))
 
-(struct: #export _ (Fold Vector)
+(struct: #export _ (Fold Sequence)
   (def: (fold f init xs)
     (let [(^open) Fold<Node>]
       (fold f
@@ -389,8 +386,8 @@
             (#Base (get@ #tail xs))))
     ))
 
-(struct: #export Monoid<Vector> (All [a]
-                                  (Monoid (Vector a)))
+(struct: #export Monoid<Sequence> (All [a]
+                                    (Monoid (Sequence a)))
   (def: identity empty)
   (def: (compose xs ys)
     (list/fold add xs (to-list ys))))
@@ -405,7 +402,7 @@
       (#Hierarchy (array/map (map f) hierarchy)))
     ))
 
-(struct: #export _ (Functor Vector)
+(struct: #export _ (Functor Sequence)
   (def: (map f xs)
     {#level (get@ #level xs)
      #size (get@ #size xs)
@@ -413,32 +410,32 @@
      #tail (|> xs (get@ #tail) (array/map f))
      }))
 
-(struct: #export _ (Applicative Vector)
-  (def: functor Functor<Vector>)
+(struct: #export _ (Applicative Sequence)
+  (def: functor Functor<Sequence>)
 
   (def: (wrap x)
-    (vector x))
+    (sequence x))
   
   (def: (apply ff fa)
-    (let [(^open) Functor<Vector>
-          (^open) Fold<Vector>
-          (^open) Monoid<Vector>
+    (let [(^open) Functor<Sequence>
+          (^open) Fold<Sequence>
+          (^open) Monoid<Sequence>
           results (map (function [f] (map f fa))
                        ff)]
       (fold compose identity results)))
   )
 
-(struct: #export _ (Monad Vector)
-  (def: applicative Applicative<Vector>)
+(struct: #export _ (Monad Sequence)
+  (def: applicative Applicative<Sequence>)
 
   (def: join
-    (let [(^open) Fold<Vector>
-          (^open) Monoid<Vector>]
+    (let [(^open) Fold<Sequence>
+          (^open) Monoid<Sequence>]
       (fold (function [post pre] (compose pre post)) identity)))
   )
 
 (def: #export (reverse xs)
-  (All [a] (-> (Vector a) (Vector a)))
-  (let [(^open) Fold<Vector>
-        (^open) Monoid<Vector>]
+  (All [a] (-> (Sequence a) (Sequence a)))
+  (let [(^open) Fold<Sequence>
+        (^open) Monoid<Sequence>]
     (fold add identity xs)))
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux
index 7eac167e1..e00783c0b 100644
--- a/stdlib/source/lux/data/format/json.lux
+++ b/stdlib/source/lux/data/format/json.lux
@@ -15,7 +15,7 @@
              [sum]
              [product]
              (coll [list "list/" Fold<List> Monad<List>]
-                   [vector #+ Vector vector "vector/" Monad<Vector>]
+                   [sequence #+ Sequence sequence "sequence/" Monad<Sequence>]
                    [dict #+ Dict]))
        [macro #+ Monad<Lux> with-gensyms]
        (macro ["s" syntax #+ syntax:]
@@ -38,13 +38,13 @@
   (#Boolean Boolean)
   (#Number  Number)
   (#String  String)
-  (#Array   (Vector JSON))
+  (#Array   (Sequence JSON))
   (#Object  (Dict String JSON)))
 
 (do-template [<name> <type>]
   [(type: #export <name> <type>)]
 
-  [Array   (Vector JSON)]
+  [Array   (Sequence JSON)]
   [Object  (Dict String JSON)]
   )
 
@@ -75,7 +75,7 @@
       (wrap (list (` (: JSON #Null))))
 
       [_ (#;Tuple members)]
-      (wrap (list (` (: JSON (#Array (vector (~@ (list/map wrapper members))))))))
+      (wrap (list (` (: JSON (#Array (sequence (~@ (list/map wrapper members))))))))
 
       [_ (#;Record pairs)]
       (do Monad<Lux>
@@ -164,16 +164,16 @@
        [#String  text;Eq<Text>])
 
       [(#Array xs) (#Array ys)]
-      (and (n.= (vector;size xs) (vector;size ys))
+      (and (n.= (sequence;size xs) (sequence;size ys))
            (list/fold (function [idx prev]
                         (and prev
                              (maybe;default false
                                             (do maybe;Monad<Maybe>
-                                              [x' (vector;nth idx xs)
-                                               y' (vector;nth idx ys)]
+                                              [x' (sequence;nth idx xs)
+                                               y' (sequence;nth idx ys)]
                                               (wrap (= x' y'))))))
                       true
-                      (list;indices (vector;size xs))))
+                      (list;indices (sequence;size xs))))
       
       [(#Object xs) (#Object ys)]
       (and (n.= (dict;size xs) (dict;size ys))
@@ -288,7 +288,7 @@
     [head any]
     (case head
       (#Array values)
-      (case (p;run (vector;to-list values) parser)
+      (case (p;run (sequence;to-list values) parser)
         (#E;Error error)
         (fail error)
 
@@ -367,7 +367,7 @@
 (def: (show-array show-json elems)
   (-> (-> JSON Text) (-> Array Text))
   ($_ text/compose "["
-      (|> elems (vector/map show-json) vector;to-list (text;join-with ","))
+      (|> elems (sequence/map show-json) sequence;to-list (text;join-with ","))
       "]"))
 
 (def: (show-object show-json object)
@@ -490,7 +490,7 @@
         _ (l;this <close>)]
        (wrap (<prep> elems))))]
 
-  [array~  Array  "[" "]" (json~ [])  vector;from-list]
+  [array~  Array  "[" "]" (json~ [])  sequence;from-list]
   [object~ Object "{" "}" (kv~ json~) (dict;from-list text;Hash<Text>)]
   )
 
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index d5e9a7837..c4ee39c4b 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -1295,8 +1295,8 @@
                           [])
                 )
 
-              "The vector corresponds to parent interfaces."
-              "An optional super-class can be specified before the vector. If not specified, java.lang.Object will be assumed."
+              "The tuple corresponds to parent interfaces."
+              "An optional super-class can be specified before the tuple. If not specified, java.lang.Object will be assumed."
               "Fields and methods defined in the class can be used with special syntax."
               "For example:"
               ".resolved, for accessing the \"resolved\" field."
@@ -1352,9 +1352,9 @@
                    [constructor-args (constructor-args^ imports class-vars)]
                    [methods (p;some (overriden-method-def^ imports))])
   {#;doc (doc "Allows defining anonymous classes."
-              "The 1st vector corresponds to parent interfaces."
-              "The 2nd vector corresponds to arguments to the super class constructor."
-              "An optional super-class can be specified before the 1st vector. If not specified, java.lang.Object will be assumed."
+              "The 1st tuple corresponds to parent interfaces."
+              "The 2nd tuple corresponds to arguments to the super class constructor."
+              "An optional super-class can be specified before the 1st tuple. If not specified, java.lang.Object will be assumed."
               (object [Runnable]
                 []
                 (Runnable [] (run) void
diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux
index 13af05adc..4c376d742 100644
--- a/stdlib/source/lux/macro/poly/eq.lux
+++ b/stdlib/source/lux/macro/poly/eq.lux
@@ -6,7 +6,7 @@
        (data [text "text/" Monoid<Text>]
              text/format
              (coll [list "list/" Monad<List>]
-                   [vector]
+                   [sequence]
                    [array]
                    [queue]
                    [set]
@@ -62,13 +62,13 @@
                        (wrap (` (: (~ (@Eq inputT))
                                    (<eq> (~ argC))))))]
 
-                    [;Maybe        maybe;Eq<Maybe>]
-                    [;List         list;Eq<List>]
-                    [vector;Vector vector;Eq<Vector>]
-                    [;Array        array;Eq<Array>]
-                    [queue;Queue   queue;Eq<Queue>]
-                    [set;Set       set;Eq<Set>]
-                    [rose;Tree     rose;Eq<Tree>]
+                    [;Maybe            maybe;Eq<Maybe>]
+                    [;List             list;Eq<List>]
+                    [sequence;Sequence sequence;Eq<Sequence>]
+                    [;Array            array;Eq<Array>]
+                    [queue;Queue       queue;Eq<Queue>]
+                    [set;Set           set;Eq<Set>]
+                    [rose;Tree         rose;Eq<Tree>]
                     )]
     (do @
       [#let [g!_ (code;local-symbol "\u0000_")]
diff --git a/stdlib/source/lux/macro/poly/json.lux b/stdlib/source/lux/macro/poly/json.lux
index 1b66e39f5..ab0dab936 100644
--- a/stdlib/source/lux/macro/poly/json.lux
+++ b/stdlib/source/lux/macro/poly/json.lux
@@ -14,7 +14,7 @@
              [sum]
              [product]
              (coll [list "list/" Fold<List> Monad<List>]
-                   [vector #+ Vector vector "vector/" Monad<Vector>]
+                   [sequence #+ Sequence sequence "sequence/" Monad<Sequence>]
                    ["d" dict])
              (format [".." json #+ JSON]))
        (time ["i" instant]
@@ -50,8 +50,8 @@
   (def: (encode input)
     (let [high (|> input (bit;and high-mask) (bit;shift-right +32))
           low (bit;and low-mask input)]
-      (#..;Array (vector (|> high nat-to-int int-to-frac #..;Number)
-                         (|> low nat-to-int int-to-frac #..;Number)))))
+      (#..;Array (sequence (|> high nat-to-int int-to-frac #..;Number)
+                           (|> low nat-to-int int-to-frac #..;Number)))))
   (def: (decode input)
     (<| (..;run input)
         (do p;Monad<Parser>
@@ -143,7 +143,7 @@
                                        (poly;this ;List)
                                        Codec<JSON,?>//encode))]
             (wrap (` (: (~ (@JSON//encode inputT))
-                        (|>. (;;_map_ (~ .sub.)) vector;from-list #..;Array)))))
+                        (|>. (;;_map_ (~ .sub.)) sequence;from-list #..;Array)))))
           (do @
             [#let [g!input (code;local-symbol "\u0000input")]
              members (poly;variant (p;many Codec<JSON,?>//encode))]
diff --git a/stdlib/source/lux/math/random.lux b/stdlib/source/lux/math/random.lux
index 00852b46d..138f9723e 100644
--- a/stdlib/source/lux/math/random.lux
+++ b/stdlib/source/lux/math/random.lux
@@ -17,7 +17,7 @@
                    [queue #+ Queue]
                    [set #+ Set]
                    [stack #+ Stack]
-                   [vector #+ Vector]))
+                   [sequence #+ Sequence]))
        ))
 
 (type: #export #rec PRNG
@@ -189,8 +189,8 @@
          (wrap (<plus> x xs)))
        (:: Monad<Random> wrap <zero>)))]
 
-  [list   List   (;list)      #;Cons]
-  [vector Vector vector;empty vector;add]
+  [list     List   (;list)      #;Cons]
+  [sequence Sequence sequence;empty sequence;add]
   )
 
 (do-template [<name> <type> <ctor>]
@@ -272,21 +272,21 @@
     ))
 
 (def: (swap from to vec)
-  (All [a] (-> Nat Nat (Vector a) (Vector a)))
+  (All [a] (-> Nat Nat (Sequence a) (Sequence a)))
   (|> vec
-      (vector;put to (maybe;assume (vector;nth from vec)))
-      (vector;put from (maybe;assume (vector;nth to vec)))))
+      (sequence;put to (maybe;assume (sequence;nth from vec)))
+      (sequence;put from (maybe;assume (sequence;nth to vec)))))
 
-(def: #export (shuffle seed vector)
-  {#;doc "Shuffle a vector randomly based on a seed value."}
-  (All [a] (-> Nat (Vector a) (Vector a)))
-  (let [_size (vector;size vector)
+(def: #export (shuffle seed sequence)
+  {#;doc "Shuffle a sequence randomly based on a seed value."}
+  (All [a] (-> Nat (Sequence a) (Sequence a)))
+  (let [_size (sequence;size sequence)
         _shuffle (monad;fold Monad<Random>
                              (function [idx vec]
                                (do Monad<Random>
                                  [rand nat]
                                  (wrap (swap idx (n.% _size rand) vec))))
-                             vector
+                             sequence
                              (list;n.range +0 (n.dec _size)))]
     (|> _shuffle
         (run (pcg-32 [+123 seed]))
diff --git a/stdlib/source/lux/time/date.lux b/stdlib/source/lux/time/date.lux
index b513ef07c..3f2dc7255 100644
--- a/stdlib/source/lux/time/date.lux
+++ b/stdlib/source/lux/time/date.lux
@@ -11,7 +11,7 @@
              [number "int/" Codec<Text,Int>]
              [text "text/" Monoid<Text>]
              (text ["l" lexer])
-             (coll ["v" vector]))))
+             (coll [sequence #+ Sequence sequence]))))
 
 (type: #export Year Int)
 
@@ -252,15 +252,15 @@
       (i.+ (i./ 400 year))))
 
 (def: normal-months
-  (v;Vector Nat)
-  (v;vector +31 +28 +31
+  (Sequence Nat)
+  (sequence +31 +28 +31
             +30 +31 +30
             +31 +31 +30
             +31 +30 +31))
 
 (def: leap-year-months
-  (v;Vector Nat)
-  (v;update [+1] n.inc normal-months))
+  (Sequence Nat)
+  (sequence;update [+1] n.inc normal-months))
 
 (def: (divisible? factor input)
   (-> Int Int Bool)
@@ -286,7 +286,7 @@
                     leap-year-months
                     normal-months)
            month-days (|> months
-                          (v;nth (int-to-nat (i.dec utc-month)))
+                          (sequence;nth (int-to-nat (i.dec utc-month)))
                           maybe;assume)]
      _ (l;this "-")
      utc-day lex-section
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 31da7dc29..d04b7c845 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -13,7 +13,7 @@
              ["E" error]
              [maybe]
              (coll [list "L/" Fold<List> Functor<List>]
-                   ["v" vector "v/" Functor<Vector> Fold<Vector>]))
+                   [sequence #+ Sequence sequence "sequence/" Functor<Sequence> Fold<Sequence>]))
        (type opaque))
   (.. [duration "duration/" Order<Duration>]
       [date]))
@@ -102,33 +102,33 @@
         ))))
 
 (def: normal-months
-  (v;Vector Nat)
-  (v;vector +31 +28 +31
+  (Sequence Nat)
+  (sequence +31 +28 +31
             +30 +31 +30
             +31 +31 +30
             +31 +30 +31))
 
 (def: leap-year-months
-  (v;Vector Nat)
-  (v;update [+1] n.inc normal-months))
+  (Sequence Nat)
+  (sequence;update [+1] n.inc normal-months))
 
 (def: (find-month months time)
-  (-> (v;Vector Nat) duration;Duration [Nat duration;Duration])
+  (-> (Sequence Nat) duration;Duration [Nat duration;Duration])
   (if (duration/>= duration;empty time)
-    (v/fold (function [month-days [current-month time-left]]
-              (let [month-duration (duration;scale (nat-to-int month-days) duration;day)]
-                (if (i.= 0 (duration;query month-duration time-left))
-                  [current-month         time-left]
-                  [(n.inc current-month) (duration;merge (duration;scale -1 month-duration) time-left)])))
-            [+0 time]
-            months)
-    (v/fold (function [month-days [current-month time-left]]
-              (let [month-duration (duration;scale (nat-to-int month-days) duration;day)]
-                (if (i.= 0 (duration;query month-duration time-left))
-                  [current-month         time-left]
-                  [(n.dec current-month) (duration;merge month-duration time-left)])))
-            [+11 time]
-            (v;reverse months))))
+    (sequence/fold (function [month-days [current-month time-left]]
+                     (let [month-duration (duration;scale (nat-to-int month-days) duration;day)]
+                       (if (i.= 0 (duration;query month-duration time-left))
+                         [current-month         time-left]
+                         [(n.inc current-month) (duration;merge (duration;scale -1 month-duration) time-left)])))
+                   [+0 time]
+                   months)
+    (sequence/fold (function [month-days [current-month time-left]]
+                     (let [month-duration (duration;scale (nat-to-int month-days) duration;day)]
+                       (if (i.= 0 (duration;query month-duration time-left))
+                         [current-month         time-left]
+                         [(n.dec current-month) (duration;merge month-duration time-left)])))
+                   [+11 time]
+                   (sequence;reverse months))))
 
 (def: (pad value)
   (-> Int Text)
@@ -252,7 +252,7 @@
                     leap-year-months
                     normal-months)
            month-days (|> months
-                          (v;nth (int-to-nat (i.dec utc-month)))
+                          (sequence;nth (int-to-nat (i.dec utc-month)))
                           maybe;assume)]
      _ (l;this "-")
      utc-day lex-section
@@ -282,7 +282,7 @@
            year-days-so-far (|> (i.* 365 years-since-epoch)
                                 (i.+ previous-leap-days))
            month-days-so-far (|> months
-                                 v;to-list
+                                 sequence;to-list
                                  (list;take (int-to-nat (i.dec utc-month)))
                                  (L/fold n.+ +0))
            total-days (|> year-days-so-far