aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/documentation/lux.lux4
-rw-r--r--stdlib/source/documentation/lux/control/parser/binary.lux18
-rw-r--r--stdlib/source/documentation/lux/data/collection.lux4
-rw-r--r--stdlib/source/documentation/lux/data/collection/sequence.lux (renamed from stdlib/source/documentation/lux/data/collection/row.lux)32
-rw-r--r--stdlib/source/documentation/lux/data/format/binary.lux8
-rw-r--r--stdlib/source/documentation/lux/extension.lux4
-rw-r--r--stdlib/source/documentation/lux/math/random.lux2
-rw-r--r--stdlib/source/library/lux/control/parser/binary.lux18
-rw-r--r--stdlib/source/library/lux/control/parser/json.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/sequence.lux (renamed from stdlib/source/library/lux/data/collection/row.lux)172
-rw-r--r--stdlib/source/library/lux/data/format/binary.lux20
-rw-r--r--stdlib/source/library/lux/data/format/json.lux26
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux14
-rw-r--r--stdlib/source/library/lux/data/text/buffer.lux22
-rw-r--r--stdlib/source/library/lux/math/random.lux12
-rw-r--r--stdlib/source/library/lux/target/jvm.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/attribute/code.lux20
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux21
-rw-r--r--stdlib/source/library/lux/target/jvm/class.lux34
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/pool.lux22
-rw-r--r--stdlib/source/library/lux/target/jvm/field.lux10
-rw-r--r--stdlib/source/library/lux/target/jvm/method.lux14
-rw-r--r--stdlib/source/library/lux/time/instant.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/init.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/platform.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/generation.lux16
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux12
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux12
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux12
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux12
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux62
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/archive.lux24
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/script.lux4
-rw-r--r--stdlib/source/library/lux/type/resource.lux8
-rw-r--r--stdlib/source/poly/lux/abstract/equivalence.lux16
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux8
-rw-r--r--stdlib/source/program/compositor.lux3
-rw-r--r--stdlib/source/program/compositor/export.lux4
-rw-r--r--stdlib/source/program/compositor/import.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux10
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux18
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux12
-rw-r--r--stdlib/source/test/lux/data/collection.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux (renamed from stdlib/source/test/lux/data/collection/row.lux)10
-rw-r--r--stdlib/source/test/lux/data/format/json.lux18
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux102
-rw-r--r--stdlib/source/test/lux/extension.lux6
-rw-r--r--stdlib/source/test/lux/target/jvm.lux18
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux2
70 files changed, 513 insertions, 521 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index f3ba1542e..d349dc0df 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -773,9 +773,9 @@
"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: .public (of_list list)
- (All (_ a) (-> (List a) (Row a)))
+ (All (_ a) (-> (List a) (Sequence a)))
(list#mix add
- (: (Row (:parameter 0))
+ (: (Sequence (:parameter 0))
empty)
list))])
diff --git a/stdlib/source/documentation/lux/control/parser/binary.lux b/stdlib/source/documentation/lux/control/parser/binary.lux
index 643603504..0f9305ea7 100644
--- a/stdlib/source/documentation/lux/control/parser/binary.lux
+++ b/stdlib/source/documentation/lux/control/parser/binary.lux
@@ -64,12 +64,12 @@
(template [<size> <name>]
[(documentation: <name>
- (format "Parses a row of values prefixed with a size that is " (%.nat <size>) " bytes long."))]
+ (format "Parses a sequence of values prefixed with a size that is " (%.nat <size>) " bytes long."))]
- [08 /.row/8]
- [16 /.row/16]
- [32 /.row/32]
- [64 /.row/64]
+ [08 /.sequence/8]
+ [16 /.sequence/16]
+ [32 /.sequence/32]
+ [64 /.sequence/64]
)
(documentation: /.list
@@ -105,10 +105,10 @@
..utf8/32
..utf8/64
- ..row/8
- ..row/16
- ..row/32
- ..row/64
+ ..sequence/8
+ ..sequence/16
+ ..sequence/32
+ ..sequence/64
..list
..set
diff --git a/stdlib/source/documentation/lux/data/collection.lux b/stdlib/source/documentation/lux/data/collection.lux
index 9fae3d77f..d6998fa02 100644
--- a/stdlib/source/documentation/lux/data/collection.lux
+++ b/stdlib/source/documentation/lux/data/collection.lux
@@ -13,7 +13,7 @@
["[1][0]" dictionary]
["[1][0]" list]
["[1][0]" queue]
- ["[1][0]" row]
+ ["[1][0]" sequence]
["[1][0]" stream]
["[1][0]" stack]
["[1][0]" set]
@@ -27,7 +27,7 @@
/dictionary.documentation
/list.documentation
/queue.documentation
- /row.documentation
+ /sequence.documentation
/stream.documentation
/stack.documentation
/set.documentation
diff --git a/stdlib/source/documentation/lux/data/collection/row.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux
index b2f6615eb..e09da69ba 100644
--- a/stdlib/source/documentation/lux/data/collection/row.lux
+++ b/stdlib/source/documentation/lux/data/collection/sequence.lux
@@ -15,51 +15,51 @@
[\\library
["[0]" /]])
-(documentation: (/.Row it)
+(documentation: (/.Sequence it)
"A sequential data-structure with fast random access.")
(documentation: /.suffix
""
- [(suffix val row)])
+ [(suffix val sequence)])
(documentation: /.within_bounds?
- "Determines whether the index is within the bounds of the row."
- [(within_bounds? row idx)])
+ "Determines whether the index is within the bounds of the sequence."
+ [(within_bounds? sequence idx)])
(documentation: /.item
""
- [(item idx row)])
+ [(item idx sequence)])
(documentation: /.has
""
- [(has idx val row)])
+ [(has idx val sequence)])
(documentation: /.revised
""
- [(revised idx f row)])
+ [(revised idx f sequence)])
(documentation: /.prefix
""
- [(prefix row)])
+ [(prefix sequence)])
(documentation: /.list
""
- [(list row)])
+ [(list sequence)])
(documentation: /.member?
""
- [(member? equivalence row val)])
+ [(member? equivalence sequence val)])
-(documentation: /.row
- "Row literals."
- [(: (Row Nat)
- (row 12 34 56 78 90))])
+(documentation: /.sequence
+ "Sequence literals."
+ [(: (Sequence Nat)
+ (sequence 12 34 56 78 90))])
(.def: .public documentation
(.List $.Module)
($.module /._
""
- [..Row
+ [..Sequence
..suffix
..within_bounds?
..item
@@ -68,7 +68,7 @@
..prefix
..list
..member?
- ..row
+ ..sequence
($.default /.empty)
($.default /.size)
($.default /.index_out_of_bounds)
diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux
index bd9bc0c95..0ed436384 100644
--- a/stdlib/source/documentation/lux/data/format/binary.lux
+++ b/stdlib/source/documentation/lux/data/format/binary.lux
@@ -79,10 +79,10 @@
($.default /.utf8/32)
($.default /.utf8/64)
($.default /.text)
- ($.default /.row/8)
- ($.default /.row/16)
- ($.default /.row/32)
- ($.default /.row/64)
+ ($.default /.sequence/8)
+ ($.default /.sequence/16)
+ ($.default /.sequence/32)
+ ($.default /.sequence/64)
($.default /.maybe)
($.default /.list)
($.default /.set)
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index 4f21bd67d..e62456195 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -10,7 +10,7 @@
[text
["%" format {"+" format}]]
[collection
- ["[0]" row]]]
+ ["[0]" sequence]]]
[macro
["[0]" template]]
["@" target
@@ -40,7 +40,7 @@
[(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
(for [@.jvm
(# phase.monad each (|>> {jvm.#Embedded}
- row.row)
+ sequence.sequence)
(phase archive pass_through))]
(phase archive pass_through)))])
diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux
index 97a8b484e..128179f77 100644
--- a/stdlib/source/documentation/lux/math/random.lux
+++ b/stdlib/source/documentation/lux/math/random.lux
@@ -125,7 +125,7 @@
($.default /.maybe)
($.default /.list)
- ($.default /.row)
+ ($.default /.sequence)
($.default /.array)
($.default /.queue)
($.default /.stack)
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux
index c6a56de41..7e1eab4e6 100644
--- a/stdlib/source/library/lux/control/parser/binary.lux
+++ b/stdlib/source/library/lux/control/parser/binary.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list]
- ["[0]" row {"+" Row}]
+ ["[0]" sequence {"+" Sequence}]
["[0]" set {"+" Set}]]]
[macro
["[0]" template]]
@@ -189,7 +189,7 @@
(template [<size> <name> <bits>]
[(def: .public (<name> valueP)
- (All (_ v) (-> (Parser v) (Parser (Row v))))
+ (All (_ v) (-> (Parser v) (Parser (Sequence v))))
(do //.monad
[amount (: (Parser Nat)
<bits>)]
@@ -198,19 +198,19 @@
(Parser v)
valueP
- (Row v)
- row.empty)]
+ (Sequence v)
+ sequence.empty)]
(if (n.< amount index)
(do //.monad
[value valueP]
(again (.++ index)
- (row.suffix value output)))
+ (sequence.suffix value output)))
(//#in output)))))]
- [08 row/8 ..bits/8]
- [16 row/16 ..bits/16]
- [32 row/32 ..bits/32]
- [64 row/64 ..bits/64]
+ [08 sequence/8 ..bits/8]
+ [16 sequence/16 ..bits/16]
+ [32 sequence/32 ..bits/32]
+ [64 sequence/64 ..bits/64]
)
(def: .public maybe
diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux
index ae1e82d9c..b5e10e9c1 100644
--- a/stdlib/source/library/lux/control/parser/json.lux
+++ b/stdlib/source/library/lux/control/parser/json.lux
@@ -11,7 +11,7 @@
["[0]" text ("[1]#[0]" equivalence monoid)]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]
+ ["[0]" sequence]
["[0]" dictionary {"+" Dictionary}]]
[format
["/" json {"+" JSON}]]]
@@ -124,7 +124,7 @@
[head ..any]
(case head
{/.#Array values}
- (case (//.result parser (row.list values))
+ (case (//.result parser (sequence.list values))
{try.#Failure error}
(//.failure error)
diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/sequence.lux
index ae8a99c37..3576d8ab2 100644
--- a/stdlib/source/library/lux/data/collection/row.lux
+++ b/stdlib/source/library/lux/data/collection/sequence.lux
@@ -82,11 +82,11 @@
(All (_ a) (-> Any (Hierarchy a)))
(array.empty ..full_node_size))
-(def: (tail_off row_size)
+(def: (tail_off sequence_size)
(-> Nat Nat)
- (if (n.< full_node_size row_size)
+ (if (n.< full_node_size sequence_size)
0
- (|> (-- row_size)
+ (|> (-- sequence_size)
(i64.right_shifted branching_exponent)
(i64.left_shifted branching_exponent))))
@@ -189,7 +189,7 @@
(list#composite (node#list sub) acc))
{.#End}))))
-(type: .public (Row a)
+(type: .public (Sequence a)
(Record
[#level Level
#size Nat
@@ -197,68 +197,68 @@
#tail (Base a)]))
(def: .public empty
- Row
+ Sequence
[#level (level_up root_level)
#size 0
#root (empty_hierarchy [])
#tail (array.empty 0)])
-(def: .public (size row)
- (All (_ a) (-> (Row a) Nat))
- (value@ #size row))
+(def: .public (size sequence)
+ (All (_ a) (-> (Sequence a) Nat))
+ (value@ #size sequence))
-(def: .public (suffix val row)
- (All (_ a) (-> a (Row a) (Row a)))
+(def: .public (suffix val sequence)
+ (All (_ a) (-> a (Sequence a) (Sequence a)))
... Check if there is room in the tail.
- (let [row_size (value@ #size row)]
- (if (|> row_size (n.- (tail_off row_size)) (n.< full_node_size))
+ (let [sequence_size (value@ #size sequence)]
+ (if (|> sequence_size (n.- (tail_off sequence_size)) (n.< full_node_size))
... If so, append to it.
- (|> row
+ (|> sequence
(revised@ #size ++)
(revised@ #tail (..expanded_tail val)))
... Otherwise, push tail into the tree
... --------------------------------------------------------
... Will the root experience an overflow with this addition?
- (|> (if (n.> (i64.left_shifted (value@ #level row) 1)
- (i64.right_shifted branching_exponent row_size))
+ (|> (if (n.> (i64.left_shifted (value@ #level sequence) 1)
+ (i64.right_shifted branching_exponent sequence_size))
... If so, a brand-new root must be established, that is
... 1-level taller.
- (|> row
+ (|> sequence
(with@ #root (|> (for [@.old
(: (Hierarchy (:parameter 0))
(empty_hierarchy []))]
(empty_hierarchy []))
- (array.write! 0 {#Hierarchy (value@ #root row)})
- (array.write! 1 (..path (value@ #level row) (value@ #tail row)))))
+ (array.write! 0 {#Hierarchy (value@ #root sequence)})
+ (array.write! 1 (..path (value@ #level sequence) (value@ #tail sequence)))))
(revised@ #level level_up))
... Otherwise, just push the current tail onto the root.
- (|> row
- (revised@ #root (..with_tail row_size (value@ #level row) (value@ #tail row)))))
- ... Finally, update the size of the row and grow a new
+ (|> sequence
+ (revised@ #root (..with_tail sequence_size (value@ #level sequence) (value@ #tail sequence)))))
+ ... Finally, update the size of the sequence and grow a new
... tail with the new element as it's sole member.
(revised@ #size ++)
(with@ #tail (..tail val)))
)))
-(exception: incorrect_row_structure)
+(exception: incorrect_sequence_structure)
-(exception: .public [a] (index_out_of_bounds [row (Row a)
+(exception: .public [a] (index_out_of_bounds [sequence (Sequence a)
index Nat])
- (exception.report ["Size" (# n.decimal encoded (value@ #size row))]
+ (exception.report ["Size" (# n.decimal encoded (value@ #size sequence))]
["Index" (# n.decimal encoded index)]))
(exception: base_was_not_found)
-(def: .public (within_bounds? row idx)
- (All (_ a) (-> (Row a) Nat Bit))
- (n.< (value@ #size row) idx))
+(def: .public (within_bounds? sequence idx)
+ (All (_ a) (-> (Sequence a) Nat Bit))
+ (n.< (value@ #size sequence) idx))
-(def: (base_for idx row)
- (All (_ a) (-> Index (Row a) (Try (Base a))))
- (if (within_bounds? row idx)
- (if (n.< (tail_off (value@ #size row)) idx)
- (loop [level (value@ #level row)
- hierarchy (value@ #root row)]
+(def: (base_for idx sequence)
+ (All (_ a) (-> Index (Sequence a) (Try (Base a))))
+ (if (within_bounds? sequence idx)
+ (if (n.< (tail_off (value@ #size sequence)) idx)
+ (loop [level (value@ #level sequence)
+ hierarchy (value@ #root sequence)]
(case [(n.> branching_exponent level)
(array.read! (branch_idx (i64.right_shifted level idx)) hierarchy)]
[#1 {.#Some {#Hierarchy sub}}]
@@ -271,65 +271,65 @@
(exception.except ..base_was_not_found [])
_
- (exception.except ..incorrect_row_structure [])))
- {try.#Success (value@ #tail row)})
- (exception.except ..index_out_of_bounds [row idx])))
+ (exception.except ..incorrect_sequence_structure [])))
+ {try.#Success (value@ #tail sequence)})
+ (exception.except ..index_out_of_bounds [sequence idx])))
-(def: .public (item idx row)
- (All (_ a) (-> Nat (Row a) (Try a)))
+(def: .public (item idx sequence)
+ (All (_ a) (-> Nat (Sequence a) (Try a)))
(do try.monad
- [base (base_for idx row)]
+ [base (base_for idx sequence)]
(case (array.read! (branch_idx idx) base)
{.#Some value}
{try.#Success value}
{.#None}
- (exception.except ..incorrect_row_structure []))))
-
-(def: .public (has idx val row)
- (All (_ a) (-> Nat a (Row a) (Try (Row a))))
- (let [row_size (value@ #size row)]
- (if (within_bounds? row idx)
- {try.#Success (if (n.< (tail_off row_size) idx)
- (revised@ #root (hierarchy#has (value@ #level row) idx val)
- row)
+ (exception.except ..incorrect_sequence_structure []))))
+
+(def: .public (has idx val sequence)
+ (All (_ a) (-> Nat a (Sequence a) (Try (Sequence a))))
+ (let [sequence_size (value@ #size sequence)]
+ (if (within_bounds? sequence idx)
+ {try.#Success (if (n.< (tail_off sequence_size) idx)
+ (revised@ #root (hierarchy#has (value@ #level sequence) idx val)
+ sequence)
(revised@ #tail (for [@.old
(: (-> (Base (:parameter 0)) (Base (:parameter 0)))
(|>> array.clone (array.write! (branch_idx idx) val)))]
(|>> array.clone (array.write! (branch_idx idx) val)))
- row))}
- (exception.except ..index_out_of_bounds [row idx]))))
+ sequence))}
+ (exception.except ..index_out_of_bounds [sequence idx]))))
-(def: .public (revised idx f row)
- (All (_ a) (-> Nat (-> a a) (Row a) (Try (Row a))))
+(def: .public (revised idx f sequence)
+ (All (_ a) (-> Nat (-> a a) (Sequence a) (Try (Sequence a))))
(do try.monad
- [val (..item idx row)]
- (..has idx (f val) row)))
+ [val (..item idx sequence)]
+ (..has idx (f val) sequence)))
-(def: .public (prefix row)
- (All (_ a) (-> (Row a) (Row a)))
- (case (value@ #size row)
+(def: .public (prefix sequence)
+ (All (_ a) (-> (Sequence a) (Sequence a)))
+ (case (value@ #size sequence)
0
empty
1
empty
- row_size
- (if (|> row_size (n.- (tail_off row_size)) (n.> 1))
- (let [old_tail (value@ #tail row)
+ sequence_size
+ (if (|> sequence_size (n.- (tail_off sequence_size)) (n.> 1))
+ (let [old_tail (value@ #tail sequence)
new_tail_size (-- (array.size old_tail))]
- (|> row
+ (|> sequence
(revised@ #size --)
(with@ #tail (|> (array.empty new_tail_size)
(array.copy! new_tail_size 0 old_tail 0)))))
(maybe.trusted
(do maybe.monad
- [new_tail (base_for (n.- 2 row_size) row)
- .let [[level' root'] (let [init_level (value@ #level row)]
+ [new_tail (base_for (n.- 2 sequence_size) sequence)
+ .let [[level' root'] (let [init_level (value@ #level sequence)]
(loop [level init_level
root (maybe.else (empty_hierarchy [])
- (without_tail row_size init_level (value@ #root row)))]
+ (without_tail sequence_size init_level (value@ #root sequence)))]
(if (n.> branching_exponent level)
(case [(array.read! 1 root) (array.read! 0 root)]
[{.#None} {.#Some {#Hierarchy sub_node}}]
@@ -341,31 +341,31 @@
_
[level root])
[level root])))]]
- (in (|> row
+ (in (|> sequence
(revised@ #size --)
(with@ #level level')
(with@ #root root')
(with@ #tail new_tail))))))
))
-(def: .public (list row)
- (All (_ a) (-> (Row a) (List a)))
- (list#composite (node#list {#Hierarchy (value@ #root row)})
- (node#list {#Base (value@ #tail row)})))
+(def: .public (list sequence)
+ (All (_ a) (-> (Sequence a) (List a)))
+ (list#composite (node#list {#Hierarchy (value@ #root sequence)})
+ (node#list {#Base (value@ #tail sequence)})))
(def: .public of_list
- (All (_ a) (-> (List a) (Row a)))
+ (All (_ a) (-> (List a) (Sequence a)))
(list#mix ..suffix ..empty))
-(def: .public (member? equivalence row val)
- (All (_ a) (-> (Equivalence a) (Row a) a Bit))
- (list.member? equivalence (list row) val))
+(def: .public (member? equivalence sequence val)
+ (All (_ a) (-> (Equivalence a) (Sequence a) a Bit))
+ (list.member? equivalence (list sequence) val))
(def: .public empty?
- (All (_ a) (-> (Row a) Bit))
+ (All (_ a) (-> (Sequence a) Bit))
(|>> (value@ #size) (n.= 0)))
-(syntax: .public (row [elems (<>.some <code>.any)])
+(syntax: .public (sequence [elems (<>.some <code>.any)])
(in (.list (` (..of_list (.list (~+ elems)))))))
(implementation: (node_equivalence Equivalence<a>)
@@ -383,7 +383,7 @@
#0)))
(implementation: .public (equivalence Equivalence<a>)
- (All (_ a) (-> (Equivalence a) (Equivalence (Row a))))
+ (All (_ a) (-> (Equivalence a) (Equivalence (Sequence a))))
(def: (= v1 v2)
(and (n.= (value@ #size v1) (value@ #size v2))
@@ -407,7 +407,7 @@
hierarchy))))
(implementation: .public mix
- (Mix Row)
+ (Mix Sequence)
(def: (mix f init xs)
(let [(^open "[0]") node_mix]
@@ -418,7 +418,7 @@
{#Base (value@ #tail xs)}))))
(implementation: .public monoid
- (All (_ a) (Monoid (Row a)))
+ (All (_ a) (Monoid (Sequence a)))
(def: identity ..empty)
@@ -437,7 +437,7 @@
{#Hierarchy (array#each (each f) hierarchy)})))
(implementation: .public functor
- (Functor Row)
+ (Functor Sequence)
(def: (each f xs)
[#level (value@ #level xs)
@@ -446,7 +446,7 @@
#tail (|> xs (value@ #tail) (array#each f))]))
(implementation: .public apply
- (Apply Row)
+ (Apply Sequence)
(def: &functor ..functor)
@@ -459,12 +459,12 @@
(mix composite identity results))))
(implementation: .public monad
- (Monad Row)
+ (Monad Sequence)
(def: &functor ..functor)
(def: in
- (|>> row))
+ (|>> sequence))
(def: conjoint
(let [(^open "[0]") ..mix
@@ -472,7 +472,7 @@
(mix (function (_ post pre) (composite pre post)) identity))))
(def: .public reversed
- (All (_ a) (-> (Row a) (Row a)))
+ (All (_ a) (-> (Sequence a) (Sequence a)))
(|>> ..list
list.reversed
(list#mix suffix ..empty)))
@@ -480,7 +480,7 @@
(template [<name> <array> <init> <op>]
[(def: .public <name>
(All (_ a)
- (-> (Predicate a) (Row a) Bit))
+ (-> (Predicate a) (Sequence a) Bit))
(let [help (: (All (_ a)
(-> (Predicate a) (Node a) Bit))
(function (help predicate node)
@@ -490,8 +490,8 @@
{#Hierarchy hierarchy}
(<array> (help predicate) hierarchy))))]
- (function (<name> predicate row)
- (let [(^open "_[0]") row]
+ (function (<name> predicate sequence)
+ (let [(^open "_[0]") sequence]
(<op> (help predicate {#Hierarchy _#root})
(help predicate {#Base _#tail}))))))]
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux
index abf28f5d0..afd908091 100644
--- a/stdlib/source/library/lux/data/format/binary.lux
+++ b/stdlib/source/library/lux/data/format/binary.lux
@@ -20,7 +20,7 @@
["[0]" utf8]]]
[collection
["[0]" list]
- ["[0]" row {"+" Row} ("[1]#[0]" functor)]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor)]
["[0]" set {"+" Set}]]]
[math
[number
@@ -177,18 +177,18 @@
(template [<name> <size> <write>]
[(def: .public (<name> valueW)
- (All (_ v) (-> (Writer v) (Writer (Row v))))
+ (All (_ v) (-> (Writer v) (Writer (Sequence v))))
(function (_ value)
- (let [original_count (row.size value)
+ (let [original_count (sequence.size value)
capped_count (i64.and (..mask <size>)
original_count)
value (if (n.= original_count capped_count)
value
- (|> value row.list (list.first capped_count) row.of_list))
+ (|> value sequence.list (list.first capped_count) sequence.of_list))
(^open "specification#[0]") ..monoid
[size mutation] (|> value
- (row#each valueW)
- (# row.mix mix
+ (sequence#each valueW)
+ (# sequence.mix mix
(function (_ post pre)
(specification#composite pre post))
specification#identity))]
@@ -199,10 +199,10 @@
[_ (<write> offset capped_count binary)]
(in (mutation [(n.+ <size> offset) binary])))))])))]
- [row/8 /.size/8 binary.write/8!]
- [row/16 /.size/16 binary.write/16!]
- [row/32 /.size/32 binary.write/32!]
- [row/64 /.size/64 binary.write/64!]
+ [sequence/8 /.size/8 binary.write/8!]
+ [sequence/16 /.size/16 binary.write/16!]
+ [sequence/32 /.size/32 binary.write/32!]
+ [sequence/64 /.size/64 binary.write/64!]
)
(def: .public maybe
diff --git a/stdlib/source/library/lux/data/format/json.lux b/stdlib/source/library/lux/data/format/json.lux
index 56400e0ca..5bd36a123 100644
--- a/stdlib/source/library/lux/data/format/json.lux
+++ b/stdlib/source/library/lux/data/format/json.lux
@@ -20,7 +20,7 @@
["[0]" text ("[1]#[0]" equivalence monoid)]
[collection
["[0]" list ("[1]#[0]" mix functor)]
- ["[0]" row {"+" Row row} ("[1]#[0]" monad)]
+ ["[0]" sequence {"+" Sequence sequence} ("[1]#[0]" monad)]
["[0]" dictionary {"+" Dictionary}]]]
[macro
[syntax {"+" syntax:}]
@@ -47,14 +47,14 @@
{#Boolean Boolean}
{#Number Number}
{#String String}
- {#Array (Row JSON)}
+ {#Array (Sequence JSON)}
{#Object (Dictionary String JSON)})))
(template [<name> <type>]
[(type: .public <name>
<type>)]
- [Array (Row JSON)]
+ [Array (Sequence JSON)]
[Object (Dictionary String JSON)]
)
@@ -74,7 +74,7 @@
{#Boolean' Boolean}
{#Number' Number}
{#String' String}
- {#Array' (Row JSON')}
+ {#Array' (Sequence JSON')}
{#Object' (Dictionary String JSON')}
{#Code' Code})))
@@ -87,7 +87,7 @@
<code>.bit
<code>.frac
<code>.text
- (<>#each row.of_list
+ (<>#each sequence.of_list
(<code>.tuple (<>.some jsonP)))
(<>#each (dictionary.of_list text.hash)
(<code>.variant (<>.some (<>.and <code>.text jsonP))))
@@ -108,7 +108,7 @@
[code.text ..#String' ..#String])
{#Array' members}
- (` {..#Array ((~! row.row) (~+ (row.list (row#each jsonF members))))})
+ (` {..#Array ((~! sequence.sequence) (~+ (sequence.list (sequence#each jsonF members))))})
{#Object' pairs}
(` {..#Object ((~! dictionary.of_list)
@@ -192,16 +192,16 @@
[#String text.equivalence])
[{#Array xs} {#Array ys}]
- (and (n.= (row.size xs) (row.size ys))
+ (and (n.= (sequence.size xs) (sequence.size ys))
(list#mix (function (_ idx prev)
(and prev
(maybe.else #0
(do maybe.monad
- [x' (row.item idx xs)
- y' (row.item idx ys)]
+ [x' (sequence.item idx xs)
+ y' (sequence.item idx ys)]
(in (= x' y'))))))
#1
- (list.indices (row.size xs))))
+ (list.indices (sequence.size xs))))
[{#Object xs} {#Object ys}]
(and (n.= (dictionary.size xs) (dictionary.size ys))
@@ -264,8 +264,8 @@
(def: (array_format format)
(-> (-> JSON Text) (-> Array Text))
- (|>> (row#each format)
- row.list
+ (|>> (sequence#each format)
+ sequence.list
(text.interposed ..value_separator)
(text.enclosed [..array_start ..array_end])))
@@ -411,7 +411,7 @@
_ (<text>.this <close>)]
(in (<prep> elems))))]
- [array_parser Array ..array_start ..array_end json_parser row.of_list]
+ [array_parser Array ..array_start ..array_end json_parser sequence.of_list]
[object_parser Object ..object_start ..object_end (kv_parser json_parser) (dictionary.of_list text.hash)]
)
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index dd511524b..7ab3eafd0 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -20,7 +20,7 @@
["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
["[0]" list ("[1]#[0]" mix)]
- ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
[math
["[0]" number
["n" nat]
@@ -583,7 +583,7 @@
(try.trusted (..small 0)))
(type: .public Tar
- (Row Entry))
+ (Sequence Entry))
(def: (blocks size)
(-> Big Nat)
@@ -734,10 +734,10 @@
(Writer Tar)
(let [end_of_archive (binary.empty ..end_of_archive_size)]
(function (_ tar)
- (format#composite (row#mix (function (_ next total)
- (format#composite total (..entry_writer next)))
- format#identity
- tar)
+ (format#composite (sequence#mix (function (_ next total)
+ (format#composite total (..entry_writer next)))
+ format#identity
+ tar)
(format.segment ..end_of_archive_size end_of_archive)))))
(exception: .public (wrong_checksum [expected Nat
@@ -883,5 +883,5 @@
(def: .public parser
(Parser Tar)
(|> (<>.some entry_parser)
- (# <>.monad each row.of_list)
+ (# <>.monad each sequence.of_list)
(<>.before ..end_of_archive_parser)))
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index 05e22b6cd..3abad763c 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -11,7 +11,7 @@
["%" format {"+" format}]]
[collection
["[0]" array]
- ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
[math
[number
["n" nat]]]
@@ -53,7 +53,7 @@
@.js [Nat (-> (JS_Array Text) (JS_Array Text))]
@.lua [Nat (-> (array.Array Text) (array.Array Text))]]
... default
- (Row Text))
+ (Sequence Text))
(def: .public empty
Buffer
@@ -63,7 +63,7 @@
@.js [0 function.identity]
@.lua [0 function.identity]]
... default
- row.empty))))
+ sequence.empty))))
(def: .public (then chunk buffer)
(-> Text Buffer Buffer)
@@ -95,7 +95,7 @@
(:abstraction [(n.+ (//.size chunk) capacity)
(|>> transform then!)]))]
... default
- (|> buffer :representation (row.suffix chunk) :abstraction))))
+ (|> buffer :representation (sequence.suffix chunk) :abstraction))))
(def: .public size
(-> Buffer Nat)
@@ -106,9 +106,9 @@
@.lua <jvm>]
... default
(|>> :representation
- (row#mix (function (_ chunk total)
- (n.+ (//.size chunk) total))
- 0)))))
+ (sequence#mix (function (_ chunk total)
+ (n.+ (//.size chunk) total))
+ 0)))))
(def: .public (text buffer)
(-> Buffer Text)
@@ -126,8 +126,8 @@
@.lua (let [[capacity transform] (:representation buffer)]
(table/concat [(transform (array.empty 0)) ""]))]
... default
- (row#mix (function (_ chunk total)
- (format total chunk))
- ""
- (:representation buffer)))))
+ (sequence#mix (function (_ chunk total)
+ (format total chunk))
+ ""
+ (:representation buffer)))))
))
diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux
index a7fffe898..9da83770e 100644
--- a/stdlib/source/library/lux/math/random.lux
+++ b/stdlib/source/library/lux/math/random.lux
@@ -17,7 +17,7 @@
["[0]" queue {"+" Queue}]
["[0]" set {"+" Set}]
["[0]" stack {"+" Stack}]
- ["[0]" row {"+" Row}]
+ ["[0]" sequence {"+" Sequence}]
[tree
["[0]" finger {"+" Tree}]]]]
[math
@@ -245,14 +245,14 @@
(in {.#Item x xs}))
(# ..monad in (.list))))
-(def: .public (row size value_gen)
- (All (_ a) (-> Nat (Random a) (Random (Row a))))
+(def: .public (sequence size value_gen)
+ (All (_ a) (-> Nat (Random a) (Random (Sequence a))))
(if (n.> 0 size)
(do ..monad
[x value_gen
- xs (row (-- size) value_gen)]
- (in (row.suffix x xs)))
- (# ..monad in row.empty)))
+ xs (sequence (-- size) value_gen)]
+ (in (sequence.suffix x xs)))
+ (# ..monad in sequence.empty)))
(template [<name> <type> <ctor>]
[(def: .public (<name> size value_gen)
diff --git a/stdlib/source/library/lux/target/jvm.lux b/stdlib/source/library/lux/target/jvm.lux
index 2f5bc8173..1ac418a6e 100644
--- a/stdlib/source/library/lux/target/jvm.lux
+++ b/stdlib/source/library/lux/target/jvm.lux
@@ -3,7 +3,7 @@
[lux {"-" Type Primitive Label}
[data
[collection
- [row {"+" Row}]]]
+ [sequence {"+" Sequence}]]]
[target
[jvm
[type {"+" Type}
@@ -310,4 +310,4 @@
{#Embedded embedded}))
(type: .public (Bytecode embedded label)
- (Row (Instruction embedded label)))
+ (Sequence (Instruction embedded label)))
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux
index 94498a51e..be5faff6f 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux
@@ -9,7 +9,7 @@
[format
["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
- ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]]
[math
[number
["n" nat]]]]]
@@ -26,8 +26,8 @@
(Record
[#limit Limit
#code Binary
- #exception_table (Row Exception)
- #attributes (Row Attribute)]))
+ #exception_table (Sequence Exception)
+ #attributes (Sequence Attribute)]))
(def: .public (length length code)
(All (_ Attribute) (-> (-> Attribute Nat) (Code Attribute) Nat))
@@ -44,15 +44,15 @@
... exception_table[exception_table_length];
(|> code
(value@ #exception_table)
- row.size
+ sequence.size
(n.* /exception.length))
... u2 attributes_count;
///unsigned.bytes/2
... attribute_info attributes[attributes_count];
(|> code
(value@ #attributes)
- (row#each length)
- (row#mix n.+ 0))))
+ (sequence#each length)
+ (sequence#mix n.+ 0))))
(def: .public (equivalence attribute_equivalence)
(All (_ attribute)
@@ -60,8 +60,8 @@
($_ product.equivalence
///limit.equivalence
binary.equivalence
- (row.equivalence /exception.equivalence)
- (row.equivalence attribute_equivalence)
+ (sequence.equivalence /exception.equivalence)
+ (sequence.equivalence attribute_equivalence)
))
... https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
@@ -76,8 +76,8 @@
(binaryF.binary/32 (value@ #code code))
... u2 exception_table_length;
... exception_table[exception_table_length];
- ((binaryF.row/16 /exception.writer) (value@ #exception_table code))
+ ((binaryF.sequence/16 /exception.writer) (value@ #exception_table code))
... u2 attributes_count;
... attribute_info attributes[attributes_count];
- ((binaryF.row/16 writer) (value@ #attributes code))
+ ((binaryF.sequence/16 writer) (value@ #attributes code))
))
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index c7fee0eed..cbcd7bf6a 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -19,7 +19,7 @@
[collection
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row {"+" Row}]]]
+ ["[0]" sequence {"+" Sequence}]]]
[macro
["[0]" template]]
[math
@@ -70,11 +70,11 @@
#known (dictionary.empty n.hash)])
(type: .public Relative
- (-> Resolver (Try [(Row Exception) Instruction])))
+ (-> Resolver (Try [(Sequence Exception) Instruction])))
(def: no_exceptions
- (Row Exception)
- row.empty)
+ (Sequence Exception)
+ sequence.empty)
(def: relative_identity
Relative
@@ -97,7 +97,7 @@
(do try.monad
[[left_exceptions left_instruction] (left resolver)
[right_exceptions right_instruction] (right resolver)]
- (in [(# row.monoid composite left_exceptions right_exceptions)
+ (in [(# sequence.monoid composite left_exceptions right_exceptions)
(_#composite left_instruction right_instruction)]))))))
(type: .public (Bytecode a)
@@ -174,7 +174,7 @@
(..failure (exception.error exception value)))
(def: .public (resolve environment bytecode)
- (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Row Exception) Instruction a])))
+ (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Sequence Exception) Instruction a])))
(function (_ pool)
(do try.monad
[[[pool environment tracker] [relative output]] (bytecode [pool environment ..fresh])
@@ -1038,10 +1038,11 @@
(in [])
(exception.except ..invalid_range_for_try [@start @end]))
[_ @handler] (..resolve_label @handler resolver)]
- (in [(row.row [//exception.#start @start
- //exception.#end @end
- //exception.#handler @handler
- //exception.#catch @catch])
+ (in [(sequence.sequence
+ [//exception.#start @start
+ //exception.#end @end
+ //exception.#handler @handler
+ //exception.#catch @catch])
_.empty])))
[]]]})))
diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux
index 1658327f2..47b23c3ce 100644
--- a/stdlib/source/library/lux/target/jvm/class.lux
+++ b/stdlib/source/library/lux/target/jvm/class.lux
@@ -12,7 +12,7 @@
[format
["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
- ["[0]" row {"+" Row}]]]]]
+ ["[0]" sequence {"+" Sequence}]]]]]
["[0]" // "_"
["[1][0]" modifier {"+" Modifier modifiers:}]
["[1][0]" version {"+" Version Minor Major}]
@@ -37,10 +37,10 @@
#modifier (Modifier Class)
#this (Index //constant.Class)
#super (Index //constant.Class)
- #interfaces (Row (Index //constant.Class))
- #fields (Row Field)
- #methods (Row Method)
- #attributes (Row Attribute)])))
+ #interfaces (Sequence (Index //constant.Class))
+ #fields (Sequence Field)
+ #methods (Sequence Method)
+ #attributes (Sequence Attribute)])))
(modifiers: Class
["0001" public]
@@ -63,23 +63,23 @@
//modifier.equivalence
//index.equivalence
//index.equivalence
- (row.equivalence //index.equivalence)
- (row.equivalence //field.equivalence)
- (row.equivalence //method.equivalence)
- (row.equivalence //attribute.equivalence)))
+ (sequence.equivalence //index.equivalence)
+ (sequence.equivalence //field.equivalence)
+ (sequence.equivalence //method.equivalence)
+ (sequence.equivalence //attribute.equivalence)))
(def: (install_classes this super interfaces)
(-> Internal Internal (List Internal)
- (Resource [(Index //constant.Class) (Index //constant.Class) (Row (Index //constant.Class))]))
+ (Resource [(Index //constant.Class) (Index //constant.Class) (Sequence (Index //constant.Class))]))
(do [! //constant/pool.monad]
[@this (//constant/pool.class this)
@super (//constant/pool.class super)
- @interfaces (: (Resource (Row (Index //constant.Class)))
+ @interfaces (: (Resource (Sequence (Index //constant.Class)))
(monad.mix ! (function (_ interface @interfaces)
(do !
[@interface (//constant/pool.class interface)]
- (in (row.suffix @interface @interfaces))))
- row.empty
+ (in (sequence.suffix @interface @interfaces))))
+ sequence.empty
interfaces))]
(in [@this @super @interfaces])))
@@ -90,7 +90,7 @@
Internal Internal (List Internal)
(List (Resource Field))
(List (Resource Method))
- (Row Attribute)
+ (Sequence Attribute)
(Try Class))
(do try.monad
[[pool [@this @super @interfaces] =fields =methods]
@@ -108,8 +108,8 @@
#this @this
#super @super
#interfaces @interfaces
- #fields (row.of_list =fields)
- #methods (row.of_list =methods)
+ #fields (sequence.of_list =fields)
+ #methods (sequence.of_list =methods)
#attributes attributes])))
(def: .public (writer class)
@@ -126,7 +126,7 @@
[//index.writer #this]
[//index.writer #super]))
(~~ (template [<writer> <slot>]
- [((binaryF.row/16 <writer>) (value@ <slot> class))]
+ [((binaryF.sequence/16 <writer>) (value@ <slot> class))]
[//index.writer #interfaces]
[//field.writer #fields]
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 41a196162..92c80b94b 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -11,9 +11,7 @@
["[0]" product]
["[0]" text]
[format
- ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
- [collection
- ["[0]" row {"+" Row}]]]
+ ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux
index 65d5847b7..a7c488b49 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -14,7 +14,7 @@
["[0]" format "_"
["[1]" binary {"+" Writer} ("specification#[0]" monoid)]]
[collection
- ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
[macro
["[0]" template]]
[math
@@ -36,13 +36,13 @@
["[1][0]" descriptor {"+" Descriptor}]]]])
(type: .public Pool
- [Index (Row [Index Constant])])
+ [Index (Sequence [Index Constant])])
(def: .public equivalence
(Equivalence Pool)
(product.equivalence //index.equivalence
- (row.equivalence (product.equivalence //index.equivalence
- //.equivalence))))
+ (sequence.equivalence (product.equivalence //index.equivalence
+ //.equivalence))))
(type: .public (Resource a)
(+State Try Pool a))
@@ -56,7 +56,7 @@
(let [<value>' <value>]
(with_expansions [<try_again> (as_is (again (.++ idx)))]
(loop [idx 0]
- (case (row.item idx pool)
+ (case (sequence.item idx pool)
{try.#Success entry}
(case entry
[index {<tag> reference}]
@@ -78,7 +78,7 @@
(//unsigned.+/2 @new)
(# ! each //index.index)))]
(in [[next
- (row.suffix [current new] pool)]
+ (sequence.suffix [current new] pool)]
current]))))))))])
(template: (!index <index>)
@@ -149,12 +149,12 @@
(def: .public writer
(Writer Pool)
(function (_ [next pool])
- (row#mix (function (_ [_index post] pre)
- (specification#composite pre (//.writer post)))
- (format.bits/16 (!index next))
- pool)))
+ (sequence#mix (function (_ [_index post] pre)
+ (specification#composite pre (//.writer post)))
+ (format.bits/16 (!index next))
+ pool)))
(def: .public empty
Pool
[(|> 1 //unsigned.u2 try.trusted //index.index)
- row.empty])
+ sequence.empty])
diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux
index 9d1b50706..4a1860f1a 100644
--- a/stdlib/source/library/lux/target/jvm/field.lux
+++ b/stdlib/source/library/lux/target/jvm/field.lux
@@ -9,7 +9,7 @@
[format
["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
- ["[0]" row {"+" Row}]]]]]
+ ["[0]" sequence {"+" Sequence}]]]]]
["[0]" // "_"
["[0]" modifier {"+" Modifier modifiers:}]
["[1][0]" constant {"+" UTF8}
@@ -26,7 +26,7 @@
[#modifier (Modifier Field)
#name (Index UTF8)
#descriptor (Index (Descriptor Value))
- #attributes (Row Attribute)])))
+ #attributes (Sequence Attribute)])))
(modifiers: Field
["0001" public]
@@ -46,7 +46,7 @@
modifier.equivalence
//index.equivalence
//index.equivalence
- (row.equivalence //attribute.equivalence)))
+ (sequence.equivalence //attribute.equivalence)))
(def: .public (writer field)
(Writer Field)
@@ -57,11 +57,11 @@
[modifier.writer #modifier]
[//index.writer #name]
[//index.writer #descriptor]
- [(binaryF.row/16 //attribute.writer) #attributes]))
+ [(binaryF.sequence/16 //attribute.writer) #attributes]))
)))
(def: .public (field modifier name type attributes)
- (-> (Modifier Field) UTF8 (Type Value) (Row Attribute)
+ (-> (Modifier Field) UTF8 (Type Value) (Sequence Attribute)
(Resource Field))
(do //constant/pool.monad
[@name (//constant/pool.utf8 name)
diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux
index e4b70f437..c1c711379 100644
--- a/stdlib/source/library/lux/target/jvm/method.lux
+++ b/stdlib/source/library/lux/target/jvm/method.lux
@@ -11,7 +11,7 @@
["[0]" format "_"
["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
[collection
- ["[0]" row {"+" Row}]]]]]
+ ["[0]" sequence {"+" Sequence}]]]]]
["[0]" // "_"
["[1][0]" modifier {"+" Modifier modifiers:}]
["[1][0]" index {"+" Index}]
@@ -32,7 +32,7 @@
[#modifier (Modifier Method)
#name (Index UTF8)
#descriptor (Index (Descriptor //type/category.Method))
- #attributes (Row Attribute)])))
+ #attributes (Sequence Attribute)])))
(modifiers: Method
["0001" public]
@@ -57,7 +57,7 @@
@descriptor (//constant/pool.descriptor (//type.descriptor type))
attributes (|> attributes
(monad.all !)
- (# ! each row.of_list))
+ (# ! each sequence.of_list))
attributes (case code
{.#Some code}
(do !
@@ -74,8 +74,8 @@
@code (//attribute.code [//attribute/code.#limit (value@ //bytecode/environment.#limit environment)
//attribute/code.#code bytecode
//attribute/code.#exception_table exceptions
- //attribute/code.#attributes (row.row)])]
- (in (row.suffix @code attributes)))
+ //attribute/code.#attributes (sequence.sequence)])]
+ (in (sequence.suffix @code attributes)))
{.#None}
(in attributes))]
@@ -90,7 +90,7 @@
//modifier.equivalence
//index.equivalence
//index.equivalence
- (row.equivalence //attribute.equivalence)
+ (sequence.equivalence //attribute.equivalence)
))
(def: .public (writer field)
@@ -102,5 +102,5 @@
[//modifier.writer #modifier]
[//index.writer #name]
[//index.writer #descriptor]
- [(format.row/16 //attribute.writer) #attributes]))
+ [(format.sequence/16 //attribute.writer) #attributes]))
)))
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index ea69493f9..a907624ab 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -16,9 +16,7 @@
["<>" parser
["<[0]>" text {"+" Parser}]]]
[data
- ["[0]" text ("[1]#[0]" monoid)]
- [collection
- ["[0]" row]]]
+ ["[0]" text ("[1]#[0]" monoid)]]
[math
[number
["i" int]
diff --git a/stdlib/source/library/lux/tool/compiler.lux b/stdlib/source/library/lux/tool/compiler.lux
index 34aaa24b1..a5891d2bb 100644
--- a/stdlib/source/library/lux/tool/compiler.lux
+++ b/stdlib/source/library/lux/tool/compiler.lux
@@ -6,9 +6,7 @@
["[0]" exception {"+" exception:}]]
[data
[binary {"+" Binary}]
- ["[0]" text]
- [collection
- ["[0]" row {"+" Row}]]]
+ ["[0]" text]]
[world
["[0]" file {"+" Path}]]]]
[/
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 4fa1d7ed8..4cb35a1ea 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -16,7 +16,7 @@
["[0]" list ("[1]#[0]" functor)]
["[0]" dictionary]
["[0]" set]
- ["[0]" row ("[1]#[0]" functor)]]]
+ ["[0]" sequence ("[1]#[0]" functor)]]]
["[0]" meta]
[world
["[0]" file]]]]
@@ -259,9 +259,9 @@
(in [state
{.#Right [descriptor
(document.write key analysis_module)
- (row#each (function (_ [artifact_id custom directive])
- [artifact_id custom (write_directive directive)])
- final_buffer)]}]))
+ (sequence#each (function (_ [artifact_id custom directive])
+ [artifact_id custom (write_directive directive)])
+ final_buffer)]}]))
{.#Some [source requirements temporary_payload]}
(let [[temporary_buffer temporary_registry] temporary_payload]
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index e6b1ea9bb..34e34a743 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -22,7 +22,7 @@
["%" format {"+" format}]]
[collection
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row {"+" Row} ("[1]#[0]" mix)]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]
["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" monoid functor mix)]]
[format
@@ -102,12 +102,12 @@
(do [! ..monad]
[_ (ioW.prepare system static module_id)
_ (for [@.python (|> output
- row.list
+ sequence.list
(list.sub 128)
(monad.each ! (monad.each ! write_artifact!))
(: (Action (List (List Any)))))]
(|> output
- row.list
+ sequence.list
(monad.each ..monad write_artifact!)
(: (Action (List Any)))))
document (# async.monad in
@@ -281,9 +281,9 @@
///directive.#state
extension.#state
///generation.#log])
- (row#mix (function (_ right left)
- (format left ..compilation_log_separator right))
- module)))
+ (sequence#mix (function (_ right left)
+ (format left ..compilation_log_separator right))
+ module)))
(def: with_reset_log
(All (_ <type_vars>)
@@ -293,7 +293,7 @@
///directive.#state
extension.#state
///generation.#log]
- row.empty))
+ sequence.empty))
(def: empty
(Set Module)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index 108e94a40..a938f0ea5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -13,7 +13,7 @@
["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" format}]]
[collection
- ["[0]" row {"+" Row}]
+ ["[0]" sequence {"+" Sequence}]
["[0]" list ("[1]#[0]" functor)]]]
[math
[number
@@ -35,7 +35,7 @@
[archive.ID artifact.ID])
(type: .public (Buffer directive)
- (Row [artifact.ID (Maybe Text) directive]))
+ (Sequence [artifact.ID (Maybe Text) directive]))
(exception: .public (cannot_interpret [error Text])
(exception.report
@@ -75,7 +75,7 @@
#registry artifact.Registry
#counter Nat
#context (Maybe artifact.ID)
- #log (Row Text)]))
+ #log (Sequence Text)]))
(template [<special> <general>]
[(type: .public (<special> anchor expression directive)
@@ -101,11 +101,11 @@
#registry artifact.empty
#counter 0
#context {.#None}
- #log row.empty])
+ #log sequence.empty])
(def: .public empty_buffer
Buffer
- row.empty)
+ sequence.empty)
(template [<tag>
<with_declaration> <with_type> <with_value>
@@ -234,9 +234,9 @@
(case ?buffer
{.#Some buffer}
... TODO: Optimize by no longer checking for overwrites...
- (if (row.any? (|>> product.left (n.= artifact_id)) buffer)
+ (if (sequence.any? (|>> product.left (n.= artifact_id)) buffer)
(phase.except ..cannot_overwrite_output [artifact_id])
- (extension.update (with@ #buffer {.#Some (row.suffix [artifact_id custom code] buffer)})))
+ (extension.update (with@ #buffer {.#Some (sequence.suffix [artifact_id custom code] buffer)})))
{.#None}
(phase.except ..no_buffer_for_saving_code [artifact_id]))))
@@ -338,5 +338,5 @@
(-> Text (Operation anchor expression directive Any)))
(function (_ [bundle state])
{try.#Success [[bundle
- (revised@ #log (row.suffix message) state)]
+ (revised@ #log (sequence.suffix message) state)]
[]]}))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index edf4eb749..4e03d12f5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -16,7 +16,7 @@
[collection
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary]
- ["[0]" row]]]
+ ["[0]" sequence]]]
[macro
["[0]" template]]
[math
@@ -193,7 +193,7 @@
(do pool.monad
[constant (`` (|> value (~~ (template.spliced <constant>))))
attribute (attribute.constant constant)]
- (field.field ..constant::modifier name <type> (row.row attribute)))])
+ (field.field ..constant::modifier name <type> (sequence.sequence attribute)))])
([.#Bit type.boolean [(case> #0 +0 #1 +1) .i64 i32.i32 constant.integer pool.integer]]
[.#Int type.byte [.i64 i32.i32 constant.integer pool.integer]]
[.#Int type.short [.i64 i32.i32 constant.integer pool.integer]]
@@ -212,7 +212,7 @@
... TODO: Handle annotations.
{#Variable [name visibility state annotations type]}
(field.field (modifier#composite visibility state)
- name type (row.row))))
+ name type (sequence.sequence))))
(def: (method_definition [mapping selfT] [analyse synthesize generate])
(-> [Mapping .Type]
@@ -293,7 +293,7 @@
... super_class super_interfaces
... (list#each ..field_definition fields)
... (list) ... TODO: Add methods
- ... (row.row))]))
+ ... (sequence.sequence))]))
_ (directive.lifted_generation
(generation.log! (format "Class " name)))]
(in directive.no_requirements)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index 7058b41c6..b7e629594 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -20,7 +20,7 @@
["[0]" list ("[1]#[0]" monad)]
["[0]" dictionary {"+" Dictionary}]
["[0]" set]
- ["[0]" row]]
+ ["[0]" sequence]]
["[0]" format "_"
["[1]" binary]]]
[target
@@ -1079,7 +1079,7 @@
(foreign.variables total_environment)
(list& (..with_anonymous_init class total_environment super_class inputsTI)
method_definitions)
- (row.row)))
+ (sequence.sequence)))
_ (//////generation.execute! [anonymous_class_name bytecode])
_ (//////generation.save! (%.nat artifact_id) [anonymous_class_name bytecode])]
(anonymous_instance generate archive class total_environment)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index acb4af284..8d4652175 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -15,7 +15,7 @@
["[0]" encoding]]
[collection
["[0]" list ("[1]#[0]" functor monoid)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -287,7 +287,7 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [(%.nat ..module_id)
- (|> ..runtime
- _.code
- (# encoding.utf8 encoded))])])))
+ (sequence.sequence [(%.nat ..module_id)
+ (|> ..runtime
+ _.code
+ (# encoding.utf8 encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index c935522f2..65396d0d7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -779,8 +779,8 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [..module_id
- {.#None}
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [..module_id
+ {.#None}
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
index 468ddd17b..89fe59585 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
@@ -9,7 +9,7 @@
["n" nat]]
[collection
["[0]" list ("[1]#[0]" monoid functor)]
- ["[0]" row]]
+ ["[0]" sequence]]
["[0]" format "_"
["[1]" binary]]]
[target
@@ -110,7 +110,7 @@
(..internal /abstract.class) (list)
fields
methods
- (row.row)))
+ (sequence.sequence)))
.let [bytecode (format.result class.writer class)]
_ (generation.execute! [function_class bytecode])
_ (generation.save! function_class {.#None} [function_class bytecode])]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
index 0bb37e3da..4cbfa7d82 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
@@ -3,7 +3,7 @@
[lux {"-" Type type}
[data
[collection
- ["[0]" row]]]
+ ["[0]" sequence]]]
[target
[jvm
["[0]" field {"+" Field}]
@@ -23,4 +23,4 @@
(def: .public (constant name type)
(-> Text (Type Value) (Resource Field))
- (field.field ..modifier name type (row.row)))
+ (field.field ..modifier name type (sequence.sequence)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
index 9365336e8..5c2953cd9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
@@ -4,7 +4,7 @@
[data
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
[target
[jvm
["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)]
@@ -46,7 +46,7 @@
(def: .public (variable name type)
(-> Text (Type Value) (Resource Field))
- (field.field ..modifier name type (row.row)))
+ (field.field ..modifier name type (sequence.sequence)))
(def: .public (variables naming amount)
(-> (-> Register Text) Nat (List (Resource Field)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
index 747d53f66..9a4aaaba5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
@@ -3,8 +3,7 @@
[lux {"-" Type}
[data
[collection
- ["[0]" list]
- ["[0]" row]]]
+ ["[0]" list]]]
[target
[jvm
["_" bytecode {"+" Bytecode}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
index 216c8cba8..6fedb0acf 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
@@ -7,8 +7,7 @@
[number
["n" nat]]
[collection
- ["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" list ("[1]#[0]" functor)]]]
[target
[jvm
["[0]" field {"+" Field}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 2684da183..4cce47a47 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -19,7 +19,7 @@
[collection
["[0]" array]
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row]]
+ ["[0]" sequence]]
["[0]" format "_"
["[1]" binary]]]
[target
@@ -107,7 +107,7 @@
class.public
(encoding/name.internal bytecode_name)
(encoding/name.internal "java.lang.Object") (list)
- (list (field.field ..value::modifier ..value::field ..value::type (row.row)))
+ (list (field.field ..value::modifier ..value::field ..value::type (sequence.sequence)))
(list (method.method ..init::modifier "<clinit>" ..init::type
(list)
{.#Some
@@ -115,7 +115,7 @@
valueG
(_.putstatic (type.class bytecode_name (list)) ..value::field ..value::type)
_.return)}))
- (row.row))]
+ (sequence.sequence))]
(io.run! (do [! (try.with io.monad)]
[bytecode (# ! each (format.result class.writer)
(io.io bytecode))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
index cfe9bace9..0c07313f1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
@@ -7,7 +7,7 @@
["[0]" try]]
[data
[collection
- ["[0]" row]]
+ ["[0]" sequence]]
["[0]" format "_"
["[1]" binary]]]
[target
@@ -149,4 +149,4 @@
(list)
(list)
(list main)
- (row.row)))]))
+ (sequence.sequence)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index d8d042c67..096564fa7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -10,7 +10,7 @@
[binary {"+" Binary}]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]
+ ["[0]" sequence]]
["[0]" format "_"
["[1]" binary]]
[text
@@ -536,7 +536,7 @@
right_projection::method
..try::method))
- (row.row)))]
+ (sequence.sequence)))]
(do ////.monad
[_ (generation.execute! [class bytecode])]
(generation.save! ..artifact_id {.#None} [class bytecode]))))
@@ -584,7 +584,7 @@
(field.field (modifier#composite field.public field.final)
//function/count.field
//function/count.type
- (row.row)))
+ (sequence.sequence)))
bytecode (<| (format.result class.writer)
try.trusted
(class.class jvm/version.v6_0
@@ -593,7 +593,7 @@
(name.internal (..reflection ^Object)) (list)
(list partial_count)
(list& <init>::method apply::method+)
- (row.row)))]
+ (sequence.sequence)))]
(do ////.monad
[_ (generation.execute! [class bytecode])]
(generation.save! //function.artifact_id {.#None} [class bytecode]))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index b1f3932b2..688b80024 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -426,8 +426,8 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [..module_id
- {.#None}
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [..module_id
+ {.#None}
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index 1b29003d1..2abc4ecec 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -604,7 +604,7 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [..module_id
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [..module_id
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index 3615afcb5..47368be77 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -453,8 +453,8 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [..module_id
- {.#None}
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [..module_id
+ {.#None}
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
index e3523fe0f..2c7eb997a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -839,7 +839,7 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [(%.nat ..module_id)
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [(%.nat ..module_id)
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index e5657407e..adb512ee1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -397,8 +397,8 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [..module_id
- {.#None}
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [..module_id
+ {.#None}
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
index c9cad6f31..96ad55b4a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
@@ -16,7 +16,7 @@
["[0]" utf8]]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" macro
[syntax {"+" syntax:}]
["[0]" code]]
@@ -364,7 +364,7 @@
(in [(|> artifact.empty
artifact.resource
product.right)
- (row.row [(%.nat ..module_id)
- (|> ..runtime
- _.code
- (# utf8.codec encoded))])])))
+ (sequence.sequence [(%.nat ..module_id)
+ (|> ..runtime
+ _.code
+ (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index dae79178d..3b8b0f728 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -22,7 +22,7 @@
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]
["[0]" set]
- ["[0]" row {"+" Row}]]]
+ ["[0]" sequence {"+" Sequence}]]]
[math
[number
["n" nat ("[1]#[0]" equivalence)]]]
@@ -38,7 +38,7 @@
[version {"+" Version}]]])
(type: .public Output
- (Row [artifact.ID (Maybe Text) Binary]))
+ (Sequence [artifact.ID (Maybe Text) Binary]))
(exception: .public (unknown_document [module Module
known_modules (List Module)])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 178b8fa4a..1398113a2 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -14,7 +14,7 @@
["%" format {"+" format}]]
[collection
["[0]" list]
- ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]]
[format
["[0]" binary {"+" Writer}]]]
@@ -41,21 +41,21 @@
(abstract: .public Registry
(Record
- [#artifacts (Row Artifact)
+ [#artifacts (Sequence Artifact)
#resolver (Dictionary Text ID)])
(def: .public empty
Registry
- (:abstraction [#artifacts row.empty
+ (:abstraction [#artifacts sequence.empty
#resolver (dictionary.empty text.hash)]))
(def: .public artifacts
- (-> Registry (Row Artifact))
+ (-> Registry (Sequence Artifact))
(|>> :representation (value@ #artifacts)))
(def: next
(-> Registry ID)
- (|>> ..artifacts row.size))
+ (|>> ..artifacts sequence.size))
(def: .public (resource registry)
(-> Registry [ID Registry])
@@ -63,8 +63,8 @@
[id
(|> registry
:representation
- (revised@ #artifacts (row.suffix [#id id
- #category {#Anonymous}]))
+ (revised@ #artifacts (sequence.suffix [#id id
+ #category {#Anonymous}]))
:abstraction)]))
(template [<tag> <create> <fetch>]
@@ -74,8 +74,8 @@
[id
(|> registry
:representation
- (revised@ #artifacts (row.suffix [#id id
- #category {<tag> name}]))
+ (revised@ #artifacts (sequence.suffix [#id id
+ #category {<tag> name}]))
(revised@ #resolver (dictionary.has name id))
:abstraction)]))
@@ -84,7 +84,7 @@
(|> registry
:representation
(value@ #artifacts)
- row.list
+ sequence.list
(list.all (|>> (value@ #category)
(case> {<tag> name} {.#Some name}
_ {.#None})))))]
@@ -118,11 +118,11 @@
[4 #Generator binary.text]
[5 #Directive binary.text]
[6 #Custom binary.text]))))
- artifacts (: (Writer (Row Category))
- (binary.row/64 category))]
+ artifacts (: (Writer (Sequence Category))
+ (binary.sequence/64 category))]
(|>> :representation
(value@ #artifacts)
- (row#each (value@ #category))
+ (sequence#each (value@ #category))
artifacts)))
(exception: .public (invalid_category [tag Nat])
@@ -147,22 +147,22 @@
[6 #Custom <binary>.text])
_ (<>.failure (exception.error ..invalid_category [tag])))))]
- (|> (<binary>.row/64 category)
- (# <>.monad each (row#mix (function (_ artifact registry)
- (product.right
- (case artifact
- {#Anonymous}
- (..resource registry)
-
- (^template [<tag> <create>]
- [{<tag> name}
- (<create> name registry)])
- ([#Definition ..definition]
- [#Analyser ..analyser]
- [#Synthesizer ..synthesizer]
- [#Generator ..generator]
- [#Directive ..directive]
- [#Custom ..custom])
- )))
- ..empty)))))
+ (|> (<binary>.sequence/64 category)
+ (# <>.monad each (sequence#mix (function (_ artifact registry)
+ (product.right
+ (case artifact
+ {#Anonymous}
+ (..resource registry)
+
+ (^template [<tag> <create>]
+ [{<tag> name}
+ (<create> name registry)])
+ ([#Definition ..definition]
+ [#Analyser ..analyser]
+ [#Synthesizer ..synthesizer]
+ [#Generator ..generator]
+ [#Directive ..directive]
+ [#Custom ..custom])
+ )))
+ ..empty)))))
)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index c2b649fd1..0ddf7ae0b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -21,7 +21,7 @@
[collection
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row {"+" Row}]
+ ["[0]" sequence {"+" Sequence}]
["[0]" set]]]
[math
[number
@@ -212,15 +212,15 @@
(def: (loaded_document extension host module_id expected actual document)
(All (_ expression directive)
- (-> Text (generation.Host expression directive) archive.ID (Row Artifact) (Dictionary Text Binary) (Document .Module)
+ (-> Text (generation.Host expression directive) archive.ID (Sequence Artifact) (Dictionary Text Binary) (Document .Module)
(Try [(Document .Module) Bundles Output])))
(do [! try.monad]
[[definitions bundles] (: (Try [Definitions Bundles Output])
- (loop [input (row.list expected)
+ (loop [input (sequence.list expected)
definitions (: Definitions
(dictionary.empty text.hash))
bundles ..empty_bundles
- output (: Output row.empty)]
+ output (: Output sequence.empty)]
(let [[analysers synthesizers generators directives] bundles]
(case input
{.#Item [[artifact_id artifact_category] input']}
@@ -231,7 +231,7 @@
(case artifact_category
{artifact.#Anonymous}
(do !
- [.let [output (row.suffix [artifact_id {.#None} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
_ (# host re_learn context {.#None} directive)]
(in [definitions
[analysers
@@ -241,7 +241,7 @@
output]))
{artifact.#Definition name}
- (let [output (row.suffix [artifact_id {.#None} data] output)]
+ (let [output (sequence.suffix [artifact_id {.#None} data] output)]
(if (text#= $/program.name name)
(in [definitions
[analysers
@@ -260,7 +260,7 @@
{artifact.#Analyser extension}
(do !
- [.let [output (row.suffix [artifact_id {.#None} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
(in [definitions
[(dictionary.has extension (:as analysis.Handler value) analysers)
@@ -271,7 +271,7 @@
{artifact.#Synthesizer extension}
(do !
- [.let [output (row.suffix [artifact_id {.#None} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
(in [definitions
[analysers
@@ -282,7 +282,7 @@
{artifact.#Generator extension}
(do !
- [.let [output (row.suffix [artifact_id {.#None} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
(in [definitions
[analysers
@@ -293,7 +293,7 @@
{artifact.#Directive extension}
(do !
- [.let [output (row.suffix [artifact_id {.#None} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
value (# host re_load context {.#None} directive)]
(in [definitions
[analysers
@@ -304,7 +304,7 @@
{artifact.#Custom name}
(do !
- [.let [output (row.suffix [artifact_id {.#Some name} data] output)]
+ [.let [output (sequence.suffix [artifact_id {.#Some name} data] output)]
_ (# host re_learn context {.#Some name} directive)]
(in [definitions
[analysers
@@ -435,7 +435,7 @@
(list#each product.right)
(monad.mix try.monad
(function (_ [module [module_id [descriptor document]]] archive)
- (archive.has module [descriptor document (: Output row.empty)] archive))
+ (archive.has module [descriptor document (: Output sequence.empty)] archive))
archive)
(# try.monad each (dependency.load_order $.key))
(# try.monad conjoint)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index 1b96d7b64..ba9ae0b92 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -7,7 +7,7 @@
[binary {"+" Binary}]
[collection
[dictionary {"+" Dictionary}]
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" functor)]]]
[world
["[0]" file]]]]
@@ -37,6 +37,6 @@
(|> descriptor
(value@ descriptor.#registry)
artifact.artifacts
- row.list
+ sequence.list
(list#each (|>> (value@ artifact.#id)))
[module_id]))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index 24cdea54c..14d891bd0 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -12,7 +12,7 @@
["[0]" text
["%" format {"+" format}]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" functor)]
["[0]" dictionary]
["[0]" set {"+" Set}]]]
@@ -158,7 +158,7 @@
(function (_ [artifact custom content] sink)
(..write_class static module artifact custom content sink))
sink
- (row.list output)))
+ (sequence.list output)))
(def: (read_jar_entry_with_unknown_size input)
(-> java/util/jar/JarInputStream [Nat Binary])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
index d9380b3d3..9e2ab96c1 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
@@ -13,7 +13,7 @@
["%" format {"+" format}]
["[0]" encoding]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary {"+" Dictionary}]
["[0]" set]]
@@ -56,7 +56,7 @@
(def: bundle_module
(-> Output (Try _.Expression))
- (|>> row.list
+ (|>> sequence.list
(list#each product.right)
(monad.mix try.monad
(function (_ content so_far)
@@ -128,5 +128,5 @@
(: (Dictionary Module archive.ID)))]
entries (monad.each ! (..write_module now mapping) order)]
(in (|> entries
- row.of_list
+ sequence.of_list
(binary.result tar.writer))))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
index 2476f3c6c..d56673f33 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
@@ -14,7 +14,7 @@
[encoding
["[0]" utf8]]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" functor)]]]]]
[program
[compositor
@@ -38,7 +38,7 @@
(-> (-> directive directive directive) [archive.ID Output] directive
(Try directive)))
(|> output
- row.list
+ sequence.list
(list#each (|>> product.right product.right))
(monad.mix try.monad
(function (_ content so_far)
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index 9105a18f1..3ed7cc629 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -15,7 +15,7 @@
["%" format {"+" format}]]
[collection
["[0]" set]
- ["[0]" row {"+" Row}]
+ ["[0]" sequence {"+" Sequence}]
["[0]" list ("[1]#[0]" functor mix)]]]
["[0]" macro
[syntax {"+" syntax:}]]
@@ -140,11 +140,11 @@
(function (_ from to)
(do maybe.monad
[input (list.item from g!inputs)]
- (in (row.suffix input to))))
- (: (Row Code) row.empty)
+ (in (sequence.suffix input to))))
+ (: (Sequence Code) sequence.empty)
swaps)
maybe.trusted
- row.list)
+ sequence.list)
g!inputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!inputs)
g!outputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!outputs)]]
(in (list (` (: (All ((~ g!_) (~ g!!) (~+ g!inputs) (~ g!context))
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 7db8d5c13..90a74a93e 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -14,7 +14,7 @@
["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monad)]
- ["[0]" row]
+ ["[0]" sequence]
["[0]" array]
["[0]" queue]
["[0]" set]
@@ -72,13 +72,13 @@
(in (` (: (~ (@Equivalence inputT))
(<eq> (~ argC))))))]
- [.Maybe (~! maybe.equivalence)]
- [.List (~! list.equivalence)]
- [row.Row (~! row.equivalence)]
- [array.Array (~! array.equivalence)]
- [queue.Queue (~! queue.equivalence)]
- [set.Set (~! set.equivalence)]
- [tree.Tree (~! tree.equivalence)]
+ [.Maybe (~! maybe.equivalence)]
+ [.List (~! list.equivalence)]
+ [sequence.Sequence (~! sequence.equivalence)]
+ [array.Array (~! array.equivalence)]
+ [queue.Queue (~! queue.equivalence)]
+ [set.Set (~! set.equivalence)]
+ [tree.Tree (~! tree.equivalence)]
))
(do !
[[_ _ valC] (<type>.applied ($_ <>.and
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 964d7918b..b947e4ea9 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -16,7 +16,7 @@
["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monad)]
- ["[0]" row {"+" row}]
+ ["[0]" sequence {"+" sequence}]
["[0]" dictionary]]]
[macro
[syntax {"+" syntax:}]
@@ -59,8 +59,8 @@
(def: (encoded input)
(let [high (|> input (i64.and high_mask) (i64.right_shifted 32))
low (i64.and low_mask input)]
- {/.#Array (row (|> high .int int.frac {/.#Number})
- (|> low .int int.frac {/.#Number}))}))
+ {/.#Array (sequence (|> high .int int.frac {/.#Number})
+ (|> low .int int.frac {/.#Number}))}))
(def: decoded
(</>.result (</>.array
(do <>.monad
@@ -162,7 +162,7 @@
(<type>.exactly .List)
encoded))]
(in (` (: (~ (@JSON#encoded inputT))
- (|>> ((~! list#each) (~ =sub=)) ((~! row.of_list)) {/.#Array})))))
+ (|>> ((~! list#each) (~ =sub=)) ((~! sequence.of_list)) {/.#Array})))))
(do !
[.let [g!_ (code.local_symbol "_______")
g!input (code.local_symbol "_______input")]
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 7499075cc..90d02c44c 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -17,8 +17,7 @@
["[0]" text
["%" format {"+" format}]]
[collection
- ["[0]" dictionary {"+" Dictionary}]
- ["[0]" row {"+" Row}]]]
+ ["[0]" dictionary {"+" Dictionary}]]]
[time
["[0]" instant]]
["[0]" world "_"
diff --git a/stdlib/source/program/compositor/export.lux b/stdlib/source/program/compositor/export.lux
index 64cb95955..054de3741 100644
--- a/stdlib/source/program/compositor/export.lux
+++ b/stdlib/source/program/compositor/export.lux
@@ -12,7 +12,7 @@
["%" format {"+" format}]]
[collection
["[0]" dictionary]
- ["[0]" row]]
+ ["[0]" sequence]]
[format
["[0]" binary]
["[0]" tar]]]
@@ -59,7 +59,7 @@
tar.read_by_other)
..no_ownership
source_code]}))))
- (# try.monad each row.of_list)
+ (# try.monad each sequence.of_list)
(# async.monad in))))
(def: .public (export fs [sources target])
diff --git a/stdlib/source/program/compositor/import.lux b/stdlib/source/program/compositor/import.lux
index 04eb93e6e..fce2c29e2 100644
--- a/stdlib/source/program/compositor/import.lux
+++ b/stdlib/source/program/compositor/import.lux
@@ -16,7 +16,7 @@
["%" format {"+" format}]]
[collection
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row]]
+ ["[0]" sequence]]
[format
["[0]" tar]]]
[tool
@@ -51,7 +51,7 @@
(# ! each (let [! try.monad]
(|>> (# ! each (<binary>.result tar.parser))
(# ! conjoint)
- (# ! each (|>> row.list
+ (# ! each (|>> sequence.list
(monad.mix ! (function (_ entry import)
(case entry
{tar.#Normal [path instant mode ownership content]}
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 829dcfbcb..964ea694d 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -13,7 +13,7 @@
["%" format {"+" format}]]
[collection
["[0]" list]
- ["[0]" row {"+" Row}]]]
+ ["[0]" sequence {"+" Sequence}]]]
[math
["[0]" random]
[number
@@ -202,8 +202,8 @@
events (random.list num_events random.nat)
num_observations (# ! each (n.% num_events) random.nat)
.let [expected (list.first num_observations events)
- sink (: (Atom (Row Nat))
- (atom.atom row.empty))]]
+ sink (: (Atom (Sequence Nat))
+ (atom.atom sequence.empty))]]
(in (do async.monad
[agent (async.future
(do [! io.monad]
@@ -213,7 +213,7 @@
(async.future
(if (n.< num_observations events_seen)
(do !
- [_ (atom.update! (row.suffix event) sink)]
+ [_ (atom.update! (sequence.suffix event) sink)]
(in {try.#Success (++ events_seen)}))
(do !
[_ stop]
@@ -224,5 +224,5 @@
_ (/.obituary agent)
actual (async.future (atom.read! sink))]
(_.cover' [/.Stop /.observe! /.obituary]
- (# (list.equivalence n.equivalence) = expected (row.list actual))))))
+ (# (list.equivalence n.equivalence) = expected (sequence.list actual))))))
))))
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index aa77d2835..1c07464c1 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -15,7 +15,7 @@
[data
[collection
["[0]" list ("[1]#[0]" mix monoid)]
- ["[0]" row {"+" Row}]]]
+ ["[0]" sequence {"+" Sequence}]]]
[math
["[0]" random]
[number
@@ -140,14 +140,14 @@
(in (do [! async.monad]
[.let [[?signal !signal] (: [(async.Async Any) (async.Resolver Any)]
(async.async []))
- sink (: (Atom (Row Nat))
- (atom.atom row.empty))]
+ sink (: (Atom (Sequence Nat))
+ (atom.atom sequence.empty))]
_ (async.future (/.subscribe! (function (_ value)
(do [! io.monad]
[current (atom.read! sink)
- _ (atom.update! (row.suffix value) sink)]
+ _ (atom.update! (sequence.suffix value) sink)]
(if (n.< (list.size inputs)
- (++ (row.size current)))
+ (++ (sequence.size current)))
(in {.#Some []})
(do !
[_ (!signal [])]
@@ -157,7 +157,7 @@
listened (|> sink
atom.read!
async.future
- (# ! each row.list))]
+ (# ! each sequence.list))]
(_.cover' [/.Subscriber /.subscribe!]
(list#= inputs listened))))
(in (do async.monad
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index e878f916f..2ecb4aaa2 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -25,7 +25,7 @@
["[1]" binary]]
[collection
["[0]" list]
- ["[0]" row]
+ ["[0]" sequence]
["[0]" set]]]
[macro
["[0]" code]]
@@ -178,23 +178,23 @@
[/.text format.text]
)))))
-(def: row
+(def: sequence
Test
(`` ($_ _.and
(~~ (template [<parser> <format>]
[(do [! random.monad]
- [expected (random.row ..segment_size random.nat)]
+ [expected (random.sequence ..segment_size random.nat)]
(_.cover [<parser> <format>]
(|> expected
(format.result (<format> format.nat))
(/.result (<parser> /.nat))
(!expect (^multi {try.#Success actual}
- (# (row.equivalence n.equivalence) = expected actual))))))]
+ (# (sequence.equivalence n.equivalence) = expected actual))))))]
- [/.row/8 format.row/8]
- [/.row/16 format.row/16]
- [/.row/32 format.row/32]
- [/.row/64 format.row/64]
+ [/.sequence/8 format.sequence/8]
+ [/.sequence/16 format.sequence/16]
+ [/.sequence/32 format.sequence/32]
+ [/.sequence/64 format.sequence/64]
)))))
(def: simple
@@ -384,7 +384,7 @@
..size
..binary
..utf8
- ..row
+ ..sequence
..simple
..complex
))))
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index 04d52c647..23d319bec 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -17,7 +17,7 @@
["[0]" list ("[1]#[0]" functor)]
["[0]" set]
["[0]" dictionary]
- ["[0]" row {"+" row} ("[1]#[0]" functor)]]
+ ["[0]" sequence {"+" sequence} ("[1]#[0]" functor)]]
[format
["[0]" json]]]
[math
@@ -105,20 +105,20 @@
[size (# ! each (n.% 10) random.nat)
expected (|> (random.unicode 1)
(random.list size)
- (# ! each row.of_list))]
+ (# ! each sequence.of_list))]
(_.cover [/.array]
(|> (/.result (/.array (<>.some /.string))
- {json.#Array (row#each (|>> {json.#String}) expected)})
+ {json.#Array (sequence#each (|>> {json.#String}) expected)})
(!expect (^multi {try.#Success actual}
- (# (row.equivalence text.equivalence) = expected (row.of_list actual)))))))
+ (# (sequence.equivalence text.equivalence) = expected (sequence.of_list actual)))))))
(do [! random.monad]
[expected (# ! each (|>> {json.#String}) (random.unicode 1))]
(_.cover [/.unconsumed_input]
- (|> (/.result (/.array /.any) {json.#Array (row expected expected)})
+ (|> (/.result (/.array /.any) {json.#Array (sequence expected expected)})
(!expect (^multi {try.#Failure error}
(exception.match? /.unconsumed_input error))))))
(_.cover [/.empty_input]
- (|> (/.result (/.array /.any) {json.#Array (row)})
+ (|> (/.result (/.array /.any) {json.#Array (sequence)})
(!expect (^multi {try.#Failure error}
(exception.match? /.empty_input error)))))
(do [! random.monad]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index e4caad8c8..94f884ba9 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -6,7 +6,7 @@
["[1][0]" array]
["[1][0]" bits]
["[1][0]" list]
- ["[1][0]" row]
+ ["[1][0]" sequence]
["[1][0]" stream]
["[1][0]" stack]
["[1][0]" dictionary
@@ -58,7 +58,7 @@
/array.test
/bits.test
/list.test
- /row.test
+ /sequence.test
/stream.test
/stack.test
..dictionary
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 8728a6df9..6ecbab8ee 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -32,9 +32,9 @@
[size (# ! each (n.% 100) random.nat)]
($_ _.and
(_.for [/.equivalence]
- ($equivalence.spec (/.equivalence n.equivalence) (random.row size random.nat)))
+ ($equivalence.spec (/.equivalence n.equivalence) (random.sequence size random.nat)))
(_.for [/.monoid]
- ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.row size random.nat)))
+ ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.sequence size random.nat)))
(_.for [/.mix]
($mix.spec /#in /.equivalence /.mix))
(_.for [/.functor]
@@ -132,7 +132,7 @@
(def: .public test
Test
(<| (_.covering /._)
- (_.for [/.Row])
+ (_.for [/.Sequence])
(do [! random.monad]
[size (# ! each (|>> (n.% 100) ++) random.nat)]
($_ _.and
@@ -151,9 +151,9 @@
[value/0 random.nat
value/1 random.nat
value/2 random.nat]
- (_.cover [/.row]
+ (_.cover [/.sequence]
(/#= (/.of_list (list value/0 value/1 value/2))
- (/.row value/0 value/1 value/2))))
+ (/.sequence value/0 value/1 value/2))))
(_.cover [/.member?]
(and (list.every? (/.member? n.equivalence sample)
(/.list sample))
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 440ab1f07..9eb86e1c5 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -16,7 +16,7 @@
["[0]" text
["%" format {"+" format}]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" dictionary]
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
@@ -42,7 +42,7 @@
random.bit
random.safe_frac
(random.unicode size)
- (random.row size again)
+ (random.sequence size again)
(random.dictionary text.hash size (random.unicode size) again)
)))))
@@ -147,16 +147,16 @@
[/.Boolean /.boolean_field /.#Boolean random.bit bit.equivalence]
[/.Number /.number_field /.#Number random.safe_frac frac.equivalence]
[/.String /.string_field /.#String (random.ascii/alpha 1) text.equivalence]
- [/.Array /.array_field /.#Array (random.row 3 ..random) (row.equivalence /.equivalence)]
+ [/.Array /.array_field /.#Array (random.sequence 3 ..random) (sequence.equivalence /.equivalence)]
[/.Object /.object_field /.#Object (random.dictionary text.hash 3 (random.ascii/alpha 1) ..random) (dictionary.equivalence /.equivalence)]
))
(with_expansions [<boolean> (boolean)
<number> (number)
<string> (string)
- <array_row> (row.row {/.#Null}
- {/.#Boolean <boolean>}
- {/.#Number <number>}
- {/.#String <string>})
+ <array_sequence> (sequence.sequence {/.#Null}
+ {/.#Boolean <boolean>}
+ {/.#Number <number>}
+ {/.#String <string>})
<key0> (string)
<key1> (string)
<key2> (string)
@@ -173,7 +173,7 @@
[/.#Number <number>]
[/.#String <string>]
))
- (#= {/.#Array <array_row>} (/.json [() <boolean> <number> <string>]))
+ (#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>]))
(let [object (/.json {<key0> ()
<key1> <boolean>
<key2> <number>
@@ -193,7 +193,7 @@
(#= {/.#Boolean <boolean>} value1)
(#= {/.#Number <number>} value2)
(#= {/.#String <string>} value3)
- (#= {/.#Array <array_row>} value4)
+ (#= {/.#Array <array_sequence>} value4)
(#= {/.#Number <number>} value6))))))
)))
))))
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index e01670420..37be384ef 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -21,7 +21,7 @@
["[1]" set]
["[1]/[0]" block]]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" mix)]]
["[0]" format "_"
["[1]" binary]]]
@@ -171,10 +171,10 @@
[(_.cover [<type>]
(|> (do try.monad
[expected_path (/.path expected_path)
- tar (|> (row.row {<tag> expected_path})
+ tar (|> (sequence.sequence {<tag> expected_path})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {<tag> actual_path}))
(text#= (/.from_path expected_path)
(/.from_path actual_path))
@@ -193,17 +193,17 @@
(|> (do try.monad
[expected_path (/.path expected_path)
expected_content (/.content content)
- tar (|> (row.row {<tag> [expected_path
- expected_moment
- /.none
- [/.#user [/.#name /.anonymous
- /.#id /.no_id]
- /.#group [/.#name /.anonymous
- /.#id /.no_id]]
- expected_content]})
+ tar (|> (sequence.sequence {<tag> [expected_path
+ expected_moment
+ /.none
+ [/.#user [/.#name /.anonymous
+ /.#id /.no_id]
+ /.#group [/.#name /.anonymous
+ /.#id /.no_id]]
+ expected_content]})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]}))
(let [seconds (: (-> Instant Int)
(|>> instant.relative (duration.ticks duration.second)))]
@@ -251,17 +251,17 @@
(|> (do try.monad
[path (/.path path)
content (/.content (binary.empty 0))
- tar (|> (row.row {/.#Normal [path
- (instant.of_millis +0)
- expected_mode
- [/.#user [/.#name /.anonymous
- /.#id /.no_id]
- /.#group [/.#name /.anonymous
- /.#id /.no_id]]
- content]})
+ tar (|> (sequence.sequence {/.#Normal [path
+ (instant.of_millis +0)
+ expected_mode
+ [/.#user [/.#name /.anonymous
+ /.#id /.no_id]
+ /.#group [/.#name /.anonymous
+ /.#id /.no_id]]
+ content]})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ actual_mode _ _]}))
(n.= (/.mode expected_mode)
(/.mode actual_mode))
@@ -274,17 +274,17 @@
(|> (do try.monad
[path (/.path path)
content (/.content (binary.empty 0))
- tar (|> (row.row {/.#Normal [path
- (instant.of_millis +0)
- <expected_mode>
- [/.#user [/.#name /.anonymous
- /.#id /.no_id]
- /.#group [/.#name /.anonymous
- /.#id /.no_id]]
- content]})
+ tar (|> (sequence.sequence {/.#Normal [path
+ (instant.of_millis +0)
+ <expected_mode>
+ [/.#user [/.#name /.anonymous
+ /.#id /.no_id]
+ /.#group [/.#name /.anonymous
+ /.#id /.no_id]]
+ content]})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ actual_mode _ _]}))
(n.= (/.mode <expected_mode>)
(/.mode actual_mode))
@@ -341,17 +341,17 @@
[path (/.path path)
content (/.content (binary.empty 0))
expected (/.name expected)
- tar (|> (row.row {/.#Normal [path
- (instant.of_millis +0)
- /.none
- [/.#user [/.#name expected
- /.#id /.no_id]
- /.#group [/.#name /.anonymous
- /.#id /.no_id]]
- content]})
+ tar (|> (sequence.sequence {/.#Normal [path
+ (instant.of_millis +0)
+ /.none
+ [/.#user [/.#name expected
+ /.#id /.no_id]
+ /.#group [/.#name /.anonymous
+ /.#id /.no_id]]
+ content]})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ _ actual_ownership _]}))
(and (text#= (/.from_name expected)
(/.from_name (value@ [/.#user /.#name] actual_ownership)))
@@ -365,17 +365,17 @@
(|> (do try.monad
[path (/.path path)
content (/.content (binary.empty 0))
- tar (|> (row.row {/.#Normal [path
- (instant.of_millis +0)
- /.none
- [/.#user [/.#name /.anonymous
- /.#id /.no_id]
- /.#group [/.#name /.anonymous
- /.#id /.no_id]]
- content]})
+ tar (|> (sequence.sequence {/.#Normal [path
+ (instant.of_millis +0)
+ /.none
+ [/.#user [/.#name /.anonymous
+ /.#id /.no_id]
+ /.#group [/.#name /.anonymous
+ /.#id /.no_id]]
+ content]})
(format.result /.writer)
(<b>.result /.parser))]
- (in (case (row.list tar)
+ (in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ _ actual_ownership _]}))
(and (text#= (/.from_name /.anonymous)
(/.from_name (value@ [/.#user /.#name] actual_ownership)))
@@ -399,13 +399,13 @@
[_ (in [])]
($_ _.and
(_.cover [/.writer /.parser]
- (|> row.empty
+ (|> sequence.empty
(format.result /.writer)
(<b>.result /.parser)
- (# try.monad each row.empty?)
+ (# try.monad each sequence.empty?)
(try.else false)))
(_.cover [/.invalid_end_of_archive]
- (let [dump (format.result /.writer row.empty)]
+ (let [dump (format.result /.writer sequence.empty)]
(case (<b>.result /.parser (binary#composite dump dump))
{try.#Success _}
false
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index bf955b152..91a3f9c84 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -23,7 +23,7 @@
["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" format}]]
[collection
- ["[0]" row]
+ ["[0]" sequence]
["[0]" list ("[1]#[0]" functor)]]]
[math
["[0]" random]
@@ -84,7 +84,7 @@
(generation: (..my_generation self phase archive [pass_through <synthesis>.any])
(for [@.jvm
- (# phase.monad each (|>> {jvm.#Embedded} row.row)
+ (# phase.monad each (|>> {jvm.#Embedded} sequence.sequence)
(phase archive pass_through))]
(phase archive pass_through)))
@@ -97,7 +97,7 @@
(generation: (..dummy_generation self phase archive [])
(# phase.monad in
(for [@.jvm
- (row.row {jvm.#Constant {jvm.#LDC {jvm.#String self}}})
+ (sequence.sequence {jvm.#Constant {jvm.#LDC {jvm.#String self}}})
@.js (js.string self)
@.python (python.unicode self)
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index bdfc318a7..21da14fb5 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -21,7 +21,7 @@
[collection
["[0]" array]
["[0]" dictionary]
- ["[0]" row]
+ ["[0]" sequence]
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
[math
@@ -120,7 +120,7 @@
{.#Some (do /.monad
[_ bytecode]
/.areturn)}))
- (row.row))
+ (sequence.sequence))
.let [bytecode (format.result /class.writer class)
loader (/loader.memory (/loader.new_library []))]
_ (/loader.define class_name bytecode loader)
@@ -855,8 +855,8 @@
(/name.internal class_name)
(/name.internal "java.lang.Object")
(list)
- (list (/field.field /field.static class_field /type.long (row.row))
- (/field.field /field.public object_field /type.long (row.row)))
+ (list (/field.field /field.static class_field /type.long (sequence.sequence))
+ (/field.field /field.public object_field /type.long (sequence.sequence)))
(list (/method.method /method.private
constructor
constructor::type
@@ -886,7 +886,7 @@
_ /.ladd
_ ..$Long::wrap]
/.areturn)}))
- (row.row))
+ (sequence.sequence))
try.trusted
(format.result /class.writer))
loader (/loader.memory (/loader.new_library []))]]
@@ -1354,7 +1354,7 @@
(substitute expected))
_ (value@ #wrap primitive)]
/.areturn)}))
- (row.row))
+ (sequence.sequence))
.let [bytecode (format.result /class.writer class)
loader (/loader.memory (/loader.new_library []))]
_ (/loader.define class_name bytecode loader)
@@ -1634,7 +1634,7 @@
(list)
(list (/method.method ($_ /modifier#composite /method.public /method.abstract)
interface_method method::type (list) {.#None}))
- (row.row))
+ (sequence.sequence))
try.trusted
(format.result /class.writer))
abstract_bytecode (|> (/class.class /version.v6_0 ($_ /modifier#composite /class.public /class.abstract)
@@ -1654,7 +1654,7 @@
(method overriden_method fake_part2)
(/method.method ($_ /modifier#composite /method.public /method.abstract)
abstract_method method::type (list) {.#None}))
- (row.row))
+ (sequence.sequence))
try.trusted
(format.result /class.writer))
invoke (: (-> (Type Class) Text (Bytecode Any))
@@ -1701,7 +1701,7 @@
_ /.ladd
_ ..$Long::wrap]
/.areturn)}))
- (row.row))
+ (sequence.sequence))
try.trusted
(format.result /class.writer))
loader (/loader.memory (/loader.new_library []))]]
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 4b028a9cc..cb9fcc14d 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -26,7 +26,7 @@
[\\poly
["[0]" /]]]]
[collection
- [row {"+" row}]
+ [sequence {"+" sequence}]
["d" dictionary]
["[0]" list]]]
[type