From c234d5d25331d6ed3b9455ce8c93ec4d34402f91 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 15 Sep 2021 20:45:48 -0400 Subject: "Row" => "Sequence" --- stdlib/source/documentation/lux.lux | 4 +- .../documentation/lux/control/parser/binary.lux | 18 ++--- .../source/documentation/lux/data/collection.lux | 4 +- .../documentation/lux/data/collection/row.lux | 86 ---------------------- .../documentation/lux/data/collection/sequence.lux | 86 ++++++++++++++++++++++ .../documentation/lux/data/format/binary.lux | 8 +- stdlib/source/documentation/lux/extension.lux | 4 +- stdlib/source/documentation/lux/math/random.lux | 2 +- 8 files changed, 106 insertions(+), 106 deletions(-) delete mode 100644 stdlib/source/documentation/lux/data/collection/row.lux create mode 100644 stdlib/source/documentation/lux/data/collection/sequence.lux (limited to 'stdlib/source/documentation') 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 [ ] [(documentation: - (format "Parses a row of values prefixed with a size that is " (%.nat ) " bytes long."))] + (format "Parses a sequence of values prefixed with a size that is " (%.nat ) " 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/row.lux deleted file mode 100644 index b2f6615eb..000000000 --- a/stdlib/source/documentation/lux/data/collection/row.lux +++ /dev/null @@ -1,86 +0,0 @@ -(.module: - [library - [lux {"-" list} - ["$" documentation {"+" documentation:}] - [control - ["<>" parser - ["<[0]>" code]]] - [data - ["[0]" text {"+" \n} - ["%" format {"+" format}]]] - [macro - [syntax {"+" syntax:}] - ["[0]" code] - ["[0]" template]]]] - [\\library - ["[0]" /]]) - -(documentation: (/.Row it) - "A sequential data-structure with fast random access.") - -(documentation: /.suffix - "" - [(suffix val row)]) - -(documentation: /.within_bounds? - "Determines whether the index is within the bounds of the row." - [(within_bounds? row idx)]) - -(documentation: /.item - "" - [(item idx row)]) - -(documentation: /.has - "" - [(has idx val row)]) - -(documentation: /.revised - "" - [(revised idx f row)]) - -(documentation: /.prefix - "" - [(prefix row)]) - -(documentation: /.list - "" - [(list row)]) - -(documentation: /.member? - "" - [(member? equivalence row val)]) - -(documentation: /.row - "Row literals." - [(: (Row Nat) - (row 12 34 56 78 90))]) - -(.def: .public documentation - (.List $.Module) - ($.module /._ - "" - [..Row - ..suffix - ..within_bounds? - ..item - ..has - ..revised - ..prefix - ..list - ..member? - ..row - ($.default /.empty) - ($.default /.size) - ($.default /.index_out_of_bounds) - ($.default /.of_list) - ($.default /.empty?) - ($.default /.equivalence) - ($.default /.mix) - ($.default /.monoid) - ($.default /.functor) - ($.default /.apply) - ($.default /.monad) - ($.default /.reversed) - ($.default /.every?) - ($.default /.any?)] - [])) diff --git a/stdlib/source/documentation/lux/data/collection/sequence.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux new file mode 100644 index 000000000..e09da69ba --- /dev/null +++ b/stdlib/source/documentation/lux/data/collection/sequence.lux @@ -0,0 +1,86 @@ +(.module: + [library + [lux {"-" list} + ["$" documentation {"+" documentation:}] + [control + ["<>" parser + ["<[0]>" code]]] + [data + ["[0]" text {"+" \n} + ["%" format {"+" format}]]] + [macro + [syntax {"+" syntax:}] + ["[0]" code] + ["[0]" template]]]] + [\\library + ["[0]" /]]) + +(documentation: (/.Sequence it) + "A sequential data-structure with fast random access.") + +(documentation: /.suffix + "" + [(suffix val sequence)]) + +(documentation: /.within_bounds? + "Determines whether the index is within the bounds of the sequence." + [(within_bounds? sequence idx)]) + +(documentation: /.item + "" + [(item idx sequence)]) + +(documentation: /.has + "" + [(has idx val sequence)]) + +(documentation: /.revised + "" + [(revised idx f sequence)]) + +(documentation: /.prefix + "" + [(prefix sequence)]) + +(documentation: /.list + "" + [(list sequence)]) + +(documentation: /.member? + "" + [(member? equivalence sequence val)]) + +(documentation: /.sequence + "Sequence literals." + [(: (Sequence Nat) + (sequence 12 34 56 78 90))]) + +(.def: .public documentation + (.List $.Module) + ($.module /._ + "" + [..Sequence + ..suffix + ..within_bounds? + ..item + ..has + ..revised + ..prefix + ..list + ..member? + ..sequence + ($.default /.empty) + ($.default /.size) + ($.default /.index_out_of_bounds) + ($.default /.of_list) + ($.default /.empty?) + ($.default /.equivalence) + ($.default /.mix) + ($.default /.monoid) + ($.default /.functor) + ($.default /.apply) + ($.default /.monad) + ($.default /.reversed) + ($.default /.every?) + ($.default /.any?)] + [])) 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 .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) -- cgit v1.2.3