diff options
Diffstat (limited to 'stdlib/source')
121 files changed, 788 insertions, 785 deletions
diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux index c0772cb28..422cb77b9 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/block.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux @@ -1,17 +1,17 @@ (.using - [library - [lux "*" - ["$" documentation {"+" documentation:}] - [data - ["[0]" text - ["%" format {"+" format}]]] - [macro - ["[0]" template]] - [math - [number - ["[0]" nat ("hex#[0]" hex)]]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["$" documentation {"+" documentation:}] + [data + ["[0]" text + ["%" format {"+" format}]]] + [macro + ["[0]" template]] + [math + [number + ["[0]" nat ("hex#[0]" hex)]]]]] + [\\library + ["[0]" /]]) (documentation: /.Block "A block of valid unicode characters.") @@ -136,9 +136,9 @@ [/.arabic_presentation_forms_b] [/.halfwidth_and_fullwidth_forms] [/.specials] - [/.basic_latin/decimal] - [/.basic_latin/upper] - [/.basic_latin/lower] + [/.numeric] + [/.upper_case] + [/.lower_case] ) (.def: .public documentation @@ -253,9 +253,9 @@ ..arabic_presentation_forms_b ..halfwidth_and_fullwidth_forms ..specials - ..basic_latin/decimal - ..basic_latin/upper - ..basic_latin/lower + ..numeric + ..upper_case + ..lower_case ($.default /.monoid) ($.default /.start) ($.default /.end) diff --git a/stdlib/source/documentation/lux/data/text/unicode/set.lux b/stdlib/source/documentation/lux/data/text/unicode/set.lux index a9dce5ce6..9e14f0802 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/set.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux @@ -1,14 +1,14 @@ (.using - [library - [lux "*" - ["$" documentation {"+" documentation:}] - [data - [text - ["%" format {"+" format}]]] - [macro - ["[0]" template]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["$" documentation {"+" documentation:}] + [data + [text + ["%" format {"+" format}]]] + [macro + ["[0]" template]]]] + [\\library + ["[0]" /]]) (documentation: /.set "" @@ -34,9 +34,9 @@ ($.default /.equivalence) ($.default /.ascii) - ($.default /.ascii/alpha) - ($.default /.ascii/alpha_num) - ($.default /.ascii/numeric) - ($.default /.ascii/upper) - ($.default /.ascii/lower)] + ($.default /.alphabetic) + ($.default /.alpha_numeric) + ($.default /.numeric) + ($.default /.upper_case) + ($.default /.lower_case)] [])) diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux index 3e3e122c7..258de2631 100644 --- a/stdlib/source/documentation/lux/math/random.lux +++ b/stdlib/source/documentation/lux/math/random.lux @@ -1,14 +1,14 @@ (.using - [library - [lux {"-" or and nat int rev} - ["$" documentation {"+" documentation:}] - [data - ["[0]" text {"+" \n} - ["%" format {"+" format}]]] - [macro - ["[0]" template]]]] - [\\library - ["[0]" /]]) + [library + [lux {"-" or and nat int rev} + ["$" documentation {"+" documentation:}] + [data + ["[0]" text {"+" \n} + ["%" format {"+" format}]]] + [macro + ["[0]" template]]]] + [\\library + ["[0]" /]]) (documentation: /.PRNG "An abstract way to represent any PRNG.") @@ -114,11 +114,11 @@ ($.default /.unicode) ($.default /.ascii) - ($.default /.ascii/alpha) - ($.default /.ascii/alpha_num) - ($.default /.ascii/numeric) - ($.default /.ascii/upper) - ($.default /.ascii/lower) + ($.default /.alphabetic) + ($.default /.alpha_numeric) + ($.default /.numeric) + ($.default /.upper_case) + ($.default /.lower_case) ($.default /.ratio) ($.default /.complex) diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index bb32ce2ba..2f0eae7f7 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -73,7 +73,7 @@ (i64.or (i64.left_shifted 32 (..start value)) (..end value)))) -(template [<name> <start> <end>] +(template [<start> <end> <name>] [(def: .public <name> Block (let [start (hex <start>) @@ -81,131 +81,132 @@ (..block start (n.- start end))))] ... Normal blocks - [basic_latin "0000" "007F"] - [latin_1_supplement "00A0" "00FF"] - [latin_extended_a "0100" "017F"] - [latin_extended_b "0180" "024F"] - [ipa_extensions "0250" "02AF"] - [spacing_modifier_letters "02B0" "02FF"] - [combining_diacritical_marks "0300" "036F"] - [greek_and_coptic "0370" "03FF"] - [cyrillic "0400" "04FF"] - [cyrillic_supplementary "0500" "052F"] - [armenian "0530" "058F"] - [hebrew "0590" "05FF"] - [arabic "0600" "06FF"] - [syriac "0700" "074F"] - [thaana "0780" "07BF"] - [devanagari "0900" "097F"] - [bengali "0980" "09FF"] - [gurmukhi "0A00" "0A7F"] - [gujarati "0A80" "0AFF"] - [oriya "0B00" "0B7F"] - [tamil "0B80" "0BFF"] - [telugu "0C00" "0C7F"] - [kannada "0C80" "0CFF"] - [malayalam "0D00" "0D7F"] - [sinhala "0D80" "0DFF"] - [thai "0E00" "0E7F"] - [lao "0E80" "0EFF"] - [tibetan "0F00" "0FFF"] - [myanmar "1000" "109F"] - [georgian "10A0" "10FF"] - [hangul_jamo "1100" "11FF"] - [ethiopic "1200" "137F"] - [cherokee "13A0" "13FF"] - [unified_canadian_aboriginal_syllabics "1400" "167F"] - [ogham "1680" "169F"] - [runic "16A0" "16FF"] - [tagalog "1700" "171F"] - [hanunoo "1720" "173F"] - [buhid "1740" "175F"] - [tagbanwa "1760" "177F"] - [khmer "1780" "17FF"] - [mongolian "1800" "18AF"] - [limbu "1900" "194F"] - [tai_le "1950" "197F"] - [khmer_symbols "19E0" "19FF"] - [phonetic_extensions "1D00" "1D7F"] - [latin_extended_additional "1E00" "1EFF"] - [greek_extended "1F00" "1FFF"] - [general_punctuation "2000" "206F"] - [superscripts_and_subscripts "2070" "209F"] - [currency_symbols "20A0" "20CF"] - [combining_diacritical_marks_for_symbols "20D0" "20FF"] - [letterlike_symbols "2100" "214F"] - [number_forms "2150" "218F"] - [arrows "2190" "21FF"] - [mathematical_operators "2200" "22FF"] - [miscellaneous_technical "2300" "23FF"] - [control_pictures "2400" "243F"] - [optical_character_recognition "2440" "245F"] - [enclosed_alphanumerics "2460" "24FF"] - [box_drawing "2500" "257F"] - [block_elements "2580" "259F"] - [geometric_shapes "25A0" "25FF"] - [miscellaneous_symbols "2600" "26FF"] - [dingbats "2700" "27BF"] - [miscellaneous_mathematical_symbols_a "27C0" "27EF"] - [supplemental_arrows_a "27F0" "27FF"] - [braille_patterns "2800" "28FF"] - [supplemental_arrows_b "2900" "297F"] - [miscellaneous_mathematical_symbols_b "2980" "29FF"] - [supplemental_mathematical_operators "2A00" "2AFF"] - [miscellaneous_symbols_and_arrows "2B00" "2BFF"] - [cjk_radicals_supplement "2E80" "2EFF"] - [kangxi_radicals "2F00" "2FDF"] - [ideographic_description_characters "2FF0" "2FFF"] - [cjk_symbols_and_punctuation "3000" "303F"] - [hiragana "3040" "309F"] - [katakana "30A0" "30FF"] - [bopomofo "3100" "312F"] - [hangul_compatibility_jamo "3130" "318F"] - [kanbun "3190" "319F"] - [bopomofo_extended "31A0" "31BF"] - [katakana_phonetic_extensions "31F0" "31FF"] - [enclosed_cjk_letters_and_months "3200" "32FF"] - [cjk_compatibility "3300" "33FF"] - [cjk_unified_ideographs_extension_a "3400" "4DBF"] - [yijing_hexagram_symbols "4DC0" "4DFF"] - [cjk_unified_ideographs "4E00" "9FFF"] - [yi_syllables "A000" "A48F"] - [yi_radicals "A490" "A4CF"] - [hangul_syllables "AC00" "D7AF"] - [high_surrogates "D800" "DB7F"] - [high_private_use_surrogates "DB80" "DBFF"] - [low_surrogates "DC00" "DFFF"] - [private_use_area "E000" "F8FF"] - [cjk_compatibility_ideographs "F900" "FAFF"] - [alphabetic_presentation_forms "FB00" "FB4F"] - [arabic_presentation_forms_a "FB50" "FDFF"] - [variation_selectors "FE00" "FE0F"] - [combining_half_marks "FE20" "FE2F"] - [cjk_compatibility_forms "FE30" "FE4F"] - [small_form_variants "FE50" "FE6F"] - [arabic_presentation_forms_b "FE70" "FEFF"] - [halfwidth_and_fullwidth_forms "FF00" "FFEF"] - [specials "FFF0" "FFFF"] - ... [linear_b_syllabary "10000" "1007F"] - ... [linear_b_ideograms "10080" "100FF"] - ... [aegean_numbers "10100" "1013F"] - ... [old_italic "10300" "1032F"] - ... [gothic "10330" "1034F"] - ... [ugaritic "10380" "1039F"] - ... [deseret "10400" "1044F"] - ... [shavian "10450" "1047F"] - ... [osmanya "10480" "104AF"] - ... [cypriot_syllabary "10800" "1083F"] - ... [byzantine_musical_symbols "1D000" "1D0FF"] - ... [musical_symbols "1D100" "1D1FF"] - ... [tai_xuan_jing_symbols "1D300" "1D35F"] - ... [mathematical_alphanumeric_symbols "1D400" "1D7FF"] - ... [cjk_unified_ideographs_extension_b "20000" "2A6DF"] - ... [cjk_compatibility_ideographs_supplement "2F800" "2FA1F"] - ... [tags "E0000" "E007F"] + ["0000" "007F" basic_latin] + ["00A0" "00FF" latin_1_supplement] + ["0100" "017F" latin_extended_a] + ["0180" "024F" latin_extended_b] + ["0250" "02AF" ipa_extensions] + ["02B0" "02FF" spacing_modifier_letters] + ["0300" "036F" combining_diacritical_marks] + ["0370" "03FF" greek_and_coptic] + ["0400" "04FF" cyrillic] + ["0500" "052F" cyrillic_supplementary] + ["0530" "058F" armenian] + ["0590" "05FF" hebrew] + ["0600" "06FF" arabic] + ["0700" "074F" syriac] + ["0780" "07BF" thaana] + ["0900" "097F" devanagari] + ["0980" "09FF" bengali] + ["0A00" "0A7F" gurmukhi] + ["0A80" "0AFF" gujarati] + ["0B00" "0B7F" oriya] + ["0B80" "0BFF" tamil] + ["0C00" "0C7F" telugu] + ["0C80" "0CFF" kannada] + ["0D00" "0D7F" malayalam] + ["0D80" "0DFF" sinhala] + ["0E00" "0E7F" thai] + ["0E80" "0EFF" lao] + ["0F00" "0FFF" tibetan] + ["1000" "109F" myanmar] + ["10A0" "10FF" georgian] + ["1100" "11FF" hangul_jamo] + ["1200" "137F" ethiopic] + ["13A0" "13FF" cherokee] + ["1400" "167F" unified_canadian_aboriginal_syllabics] + ["1680" "169F" ogham] + ["16A0" "16FF" runic] + ["1700" "171F" tagalog] + ["1720" "173F" hanunoo] + ["1740" "175F" buhid] + ["1760" "177F" tagbanwa] + ["1780" "17FF" khmer] + ["1800" "18AF" mongolian] + ["1900" "194F" limbu] + ["1950" "197F" tai_le] + ["19E0" "19FF" khmer_symbols] + ["1D00" "1D7F" phonetic_extensions] + ["1E00" "1EFF" latin_extended_additional] + ["1F00" "1FFF" greek_extended] + ["2000" "206F" general_punctuation] + ["2070" "209F" superscripts_and_subscripts] + ["20A0" "20CF" currency_symbols] + ["20D0" "20FF" combining_diacritical_marks_for_symbols] + ["2100" "214F" letterlike_symbols] + ["2150" "218F" number_forms] + ["2190" "21FF" arrows] + ["2200" "22FF" mathematical_operators] + ["2300" "23FF" miscellaneous_technical] + ["2400" "243F" control_pictures] + ["2440" "245F" optical_character_recognition] + ["2460" "24FF" enclosed_alphanumerics] + ["2500" "257F" box_drawing] + ["2580" "259F" block_elements] + ["25A0" "25FF" geometric_shapes] + ["2600" "26FF" miscellaneous_symbols] + ["2700" "27BF" dingbats] + ["27C0" "27EF" miscellaneous_mathematical_symbols_a] + ["27F0" "27FF" supplemental_arrows_a] + ["2800" "28FF" braille_patterns] + ["2900" "297F" supplemental_arrows_b] + ["2980" "29FF" miscellaneous_mathematical_symbols_b] + ["2A00" "2AFF" supplemental_mathematical_operators] + ["2B00" "2BFF" miscellaneous_symbols_and_arrows] + ["2E80" "2EFF" cjk_radicals_supplement] + ["2F00" "2FDF" kangxi_radicals] + ["2FF0" "2FFF" ideographic_description_characters] + ["3000" "303F" cjk_symbols_and_punctuation] + ["3040" "309F" hiragana] + ["30A0" "30FF" katakana] + ["3100" "312F" bopomofo] + ["3130" "318F" hangul_compatibility_jamo] + ["3190" "319F" kanbun] + ["31A0" "31BF" bopomofo_extended] + ["31F0" "31FF" katakana_phonetic_extensions] + ["3200" "32FF" enclosed_cjk_letters_and_months] + ["3300" "33FF" cjk_compatibility] + ["3400" "4DBF" cjk_unified_ideographs_extension_a] + ["4DC0" "4DFF" yijing_hexagram_symbols] + ["4E00" "9FFF" cjk_unified_ideographs] + ["A000" "A48F" yi_syllables] + ["A490" "A4CF" yi_radicals] + ["AC00" "D7AF" hangul_syllables] + ["D800" "DB7F" high_surrogates] + ["DB80" "DBFF" high_private_use_surrogates] + ["DC00" "DFFF" low_surrogates] + ["E000" "F8FF" private_use_area] + ["F900" "FAFF" cjk_compatibility_ideographs] + ["FB00" "FB4F" alphabetic_presentation_forms] + ["FB50" "FDFF" arabic_presentation_forms_a] + ["FE00" "FE0F" variation_selectors] + ["FE20" "FE2F" combining_half_marks] + ["FE30" "FE4F" cjk_compatibility_forms] + ["FE50" "FE6F" small_form_variants] + ["FE70" "FEFF" arabic_presentation_forms_b] + ["FF00" "FFEF" halfwidth_and_fullwidth_forms] + ["FFF0" "FFFF" specials] + + ... ["10000" "1007F" linear_b_syllabary] + ... ["10080" "100FF" linear_b_ideograms] + ... ["10100" "1013F" aegean_numbers] + ... ["10300" "1032F" old_italic] + ... ["10330" "1034F" gothic] + ... ["10380" "1039F" ugaritic] + ... ["10400" "1044F" deseret] + ... ["10450" "1047F" shavian] + ... ["10480" "104AF" osmanya] + ... ["10800" "1083F" cypriot_syllabary] + ... ["1D000" "1D0FF" byzantine_musical_symbols] + ... ["1D100" "1D1FF" musical_symbols] + ... ["1D300" "1D35F" tai_xuan_jing_symbols] + ... ["1D400" "1D7FF" mathematical_alphanumeric_symbols] + ... ["20000" "2A6DF" cjk_unified_ideographs_extension_b] + ... ["2F800" "2FA1F" cjk_compatibility_ideographs_supplement] + ... ["E0000" "E007F" tags] ... Specialized blocks - [basic_latin/decimal "0030" "0039"] - [basic_latin/upper "0041" "005A"] - [basic_latin/lower "0061" "007A"] + ["0030" "0039" numeric] + ["0041" "005A" upper_case] + ["0061" "007A" lower_case] ) diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index 29552979a..b323804a9 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -238,10 +238,10 @@ Set (..set <blocks>))] - [ascii [//block.basic_latin (list)]] - [ascii/alpha [//block.basic_latin/upper (list //block.basic_latin/lower)]] - [ascii/alpha_num [//block.basic_latin/upper (list //block.basic_latin/lower //block.basic_latin/decimal)]] - [ascii/numeric [//block.basic_latin/decimal (list)]] - [ascii/upper [//block.basic_latin/upper (list)]] - [ascii/lower [//block.basic_latin/lower (list)]] + [ascii [//block.basic_latin (list)]] + [alphabetic [//block.upper_case (list //block.lower_case)]] + [alpha_numeric [//block.upper_case (list //block.lower_case //block.numeric)]] + [numeric [//block.numeric (list)]] + [upper_case [//block.upper_case (list)]] + [lower_case [//block.lower_case (list)]] ) diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux index 5dc32f986..09f72d4bf 100644 --- a/stdlib/source/library/lux/math/random.lux +++ b/stdlib/source/library/lux/math/random.lux @@ -172,13 +172,13 @@ (-> Nat (Random Text)) (..text (..char <set>)))] - [unicode unicode.character] - [ascii unicode.ascii] - [ascii/alpha unicode.ascii/alpha] - [ascii/alpha_num unicode.ascii/alpha_num] - [ascii/numeric unicode.ascii/numeric] - [ascii/upper unicode.ascii/upper] - [ascii/lower unicode.ascii/lower] + [unicode unicode.character] + [ascii unicode.ascii] + [alphabetic unicode.alphabetic] + [alpha_numeric unicode.alpha_numeric] + [numeric unicode.numeric] + [upper_case unicode.upper_case] + [lower_case unicode.lower_case] ) (template [<name> <type> <ctor> <gen>] 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 576f8f24c..2d7a0d116 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 @@ -1,6 +1,6 @@ (.using [library - [lux {"-" i64} + [lux {"-" i64 left right} ["[0]" meta] [abstract ["[0]" monad {"+" do}]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux index 84b644f47..78269e9a6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux @@ -1,7 +1,7 @@ ... https://en.wikipedia.org/wiki/Tree_shaking (.using [library - [lux "*" + [lux {"-" all} [abstract [hash {"+" Hash}] ["[0]" monad {"+" do}]] @@ -47,18 +47,18 @@ (^.template [<tag>] [{<tag> left right} - (all list#composite - (again left) - (again right))]) + (.all list#composite + (again left) + (again right))]) ([synthesis.#Alt] [synthesis.#Seq]) {synthesis.#Bit_Fork when then else} (case else {.#Some else} - (all list#composite - (again then) - (again else)) + (.all list#composite + (again then) + (again else)) {.#None} (again then)) @@ -106,28 +106,28 @@ {synthesis.#Branch value} (case value {synthesis.#Exec this that} - (all list#composite - (references this) - (references that)) + (.all list#composite + (references this) + (references that)) {synthesis.#Let input _ body} - (all list#composite - (references input) - (references body)) + (.all list#composite + (references input) + (references body)) {synthesis.#If test then else} - (all list#composite - (references test) - (references then) - (references else)) + (.all list#composite + (references test) + (references then) + (references else)) {synthesis.#Get _ record} (references record) {synthesis.#Case input path} - (all list#composite - (references input) - (path_references references path))) + (.all list#composite + (references input) + (path_references references path))) {synthesis.#Loop value} (case value diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index 8f3fa2496..4791eec38 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -271,7 +271,9 @@ _ (revised ///runtime.#parameters - (|>> (partial_list "-cp" (..jvm_class_path host_dependencies))) + (|>> (partial_list "-cp" (..jvm_class_path host_dependencies) + "-Xss32m" + "--add-opens" "java.base/java.lang=ALL-UNNAMED")) runtime))) (def: .public (do! console program fs shell resolution) diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux index 0b9ca5b83..c4adf703b 100644 --- a/stdlib/source/program/aedifex/dependency/deployment.lux +++ b/stdlib/source/program/aedifex/dependency/deployment.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux {"-" all} [abstract [codec {"+" Codec}] ["[0]" monad {"+" do}]] diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index ea030b6de..753c7d4a4 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux {"-" all} ["@" target] ["[0]" debug] ["[0]" ffi {"+" import:}] diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index b84e18888..5f2820ba2 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -48,7 +48,7 @@ [r.int {0 #0 "#I64" {0 #1 {0 #0 "#Int" {0 #0}} {0 #0}}} code.int] [r.rev {0 #0 "#I64" {0 #1 {0 #0 "#Rev" {0 #0}} {0 #0}}} code.rev] [r.safe_frac {0 #0 "#Frac" {0 #0}} code.frac] - [(r.ascii/upper_alpha 5) {0 #0 "#Text" {0 #0}} code.text] + [(r.upper_case_alpha 5) {0 #0 "#Text" {0 #0}} code.text] ))))) (def: .public (spec expander state) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 599dae209..77854d953 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -183,9 +183,9 @@ (-> Runner Test) (do [! r.monad] [sample_size (|> r.nat (# ! each (|>> (n.% 10) (n.max 1)))) - sample_lower (r.ascii/lower_alpha sample_size) - sample_upper (r.ascii/upper_alpha sample_size) - sample_alpha (|> (r.ascii/alpha sample_size) + sample_lower (r.lower_case_alpha sample_size) + sample_upper (r.upper_case_alpha sample_size) + sample_alpha (|> (r.alphabetic sample_size) (r.only (|>> (text#= sample_upper) not))) char_idx (|> r.nat (# ! each (n.% sample_size))) .let [sample_lowerS (synthesis.text sample_lower) @@ -303,7 +303,7 @@ (def: (io run) (-> Runner Test) (do r.monad - [message (r.ascii/alpha 5)] + [message (r.alphabetic 5)] (all _.and (_.test "Can log messages." (|> {synthesis.#Extension "lux io log" diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index f9d5e3ec9..df9482058 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -21,7 +21,7 @@ (def: symbol (Random Symbol) - (let [symbol_part (r.ascii/upper_alpha 5)] + (let [symbol_part (r.upper_case_alpha 5)] [(r.and symbol_part symbol_part)])) (def: (definition define) diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index e40230f94..e9faf9834 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -1,26 +1,26 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [monad {"+" do}]] - [control - [io {"+" IO}] - ["[0]" try] - [concurrency - ["[0]" async {"+" Async}]]] - [data - ["[0]" text - ["%" format {"+" format}]]] - [math - ["[0]" random]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}]] + [control + [io {"+" IO}] + ["[0]" try] + [concurrency + ["[0]" async {"+" Async}]]] + [data + ["[0]" text + ["%" format {"+" format}]]] + [math + ["[0]" random]]]] + [\\library + ["[0]" /]]) (def: .public (spec console) (-> (IO (/.Console Async)) Test) (do random.monad - [message (random.ascii/alpha 10)] + [message (random.alphabetic 10)] (in (do async.monad [console (async.future console) ?write (# console write (format message text.new_line)) diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index d4a0e591d..75bf2a571 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -34,8 +34,8 @@ (-> (IO (/.System Async)) Test) (<| (_.for [/.Path]) (do [! random.monad] - [parent (random.ascii/numeric 2) - child (random.ascii/numeric 2)]) + [parent (random.numeric 2) + child (random.numeric 2)]) in (do async.monad [fs (async.future fs)] @@ -157,14 +157,14 @@ (def: (for_system fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] - [parent (random.ascii/numeric 2) - child (random.ascii/numeric 2) + [parent (random.numeric 2) + child (random.numeric 2) sub_dir (random.only (|>> (text#= child) not) - (random.ascii/numeric 2)) + (random.numeric 2)) alternate_child (random.only (predicate.and (|>> (text#= child) not) (|>> (text#= sub_dir) not)) - (random.ascii/numeric 2)) + (random.numeric 2)) expected_file_size (# ! each (|>> (n.% 10) ++) random.nat) content ($binary.random expected_file_size) appendix ($binary.random expected_file_size) @@ -208,9 +208,9 @@ (def: (make_directories&cannot_make_directory fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] - [dir/0 (random.ascii/numeric 2) - dir/1 (random.ascii/numeric 2) - dir/2 (random.ascii/numeric 2)]) + [dir/0 (random.numeric 2) + dir/1 (random.numeric 2) + dir/2 (random.numeric 2)]) in (do [! async.monad] [fs (async.future fs) @@ -255,7 +255,7 @@ (def: (make_file&cannot_make_file fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] - [file/0 (random.ascii/numeric 3)]) + [file/0 (random.numeric 3)]) in (do [! async.monad] [fs (async.future fs) @@ -285,9 +285,9 @@ (def: (exists? fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] - [file (random.ascii/numeric 2) + [file (random.numeric 2) dir (random.only (|>> (text#= file) not) - (random.ascii/numeric 2))]) + (random.numeric 2))]) in (do [! async.monad] [fs (async.future fs) diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 30c061ca3..3b367bdd1 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -70,7 +70,7 @@ (-> (/.Shell Async) Test) (<| (_.for [/.Shell /.Process]) (do [! random.monad] - [message (random.ascii/alpha 10) + [message (random.alphabetic 10) seconds (# ! each (|>> (n.% 5) (n.+ 5)) random.nat)] (in (do [! async.monad] [?echo (# shell execute (..echo! message)) diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 1a0c7cb29..e3a533036 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -30,9 +30,9 @@ (Random /.Artifact) (let [size 4] (all random.and - (random.ascii/lower size) - (random.ascii/lower size) - (random.ascii/lower size)))) + (random.lower_case size) + (random.lower_case size) + (random.lower_case size)))) (def: .public test Test diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 1d32ff734..47c276dc8 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -24,7 +24,7 @@ (Random /.Version) (all random.and $///type.random - (random.ascii/alpha 1) + (random.alphabetic 1) $///time.random )) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 7967e935f..2b32260c5 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -31,7 +31,7 @@ (def: .public random (Random /.Value) (all random.and - (random.ascii/alpha 5) + (random.alphabetic 5) (random.or (random#in []) $///stamp.random) )) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index ca247f3f0..a641ee369 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -102,8 +102,8 @@ Test (do [! random.monad] [[dependency expected_package] ..package - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (is (file.System Async) (file.mock (# file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] @@ -123,8 +123,8 @@ Test (do [! random.monad] [expected ..resolution - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (is (file.System Async) (file.mock (# file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 4d577e737..c02ae8c4f 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -42,9 +42,9 @@ (random#in []) ... #Deploy (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) - (random.ascii/alpha 1)) + (random.alphabetic 1) + (random.alphabetic 1) + (random.alphabetic 1)) ... #Compilation ..compilation ... #Auto @@ -87,7 +87,7 @@ (def: with_profile Test (do random.monad - [expected_profile (random.ascii/alpha 1) + [expected_profile (random.alphabetic 1) expected_command ..command] (_.test "With profile." (|> expected_command diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 1cad922f7..4bc2dec70 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -65,13 +65,13 @@ Test (<| (_.covering /._) (do [! random.monad] - [end_signal (random.ascii/alpha 5) + [end_signal (random.alphabetic 5) .let [/ (# file.default separator) [fs watcher] (watch.mock /)] - program (random.ascii/alpha 5) - target (random.ascii/alpha 5) - source (random.ascii/alpha 5) + program (random.alphabetic 5) + target (random.alphabetic 5) + source (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) @@ -84,11 +84,11 @@ with_target (has ///.#sources (set.of_list text.hash (list source))))] - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) expected_runs (# ! each (|>> (n.% 10) (n.max 2)) random.nat) - dummy_path (# ! each (|>> (format source /)) (random.ascii/alpha 5)) + dummy_path (# ! each (|>> (format source /)) (random.alphabetic 5)) [compiler resolution] $build.resolution] (all _.and (_.cover [/.delay] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 86dc41f93..008908479 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -108,7 +108,7 @@ (def: compiler (Random Dependency) (do random.monad - [lux_version (random.ascii/alpha 5) + [lux_version (random.alphabetic 5) .let [js_compiler [///dependency.#artifact [///artifact.#group /.lux_group ///artifact.#name /.js_lux_name ///artifact.#version lux_version] @@ -140,14 +140,14 @@ Test (<| (_.covering /._) (do [! random.monad] - [last_read (random.ascii/alpha 5) - last_error (random.ascii/alpha 5) + [last_read (random.alphabetic 5) + last_error (random.alphabetic 5) .let [fs (file.mock (# file.default separator)) shell (shell.async (..good_shell []))] - program (random.ascii/alpha 5) - target (random.ascii/alpha 5) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + program (random.alphabetic 5) + target (random.alphabetic 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) @@ -215,9 +215,9 @@ (_.cover' [/.failure] (try.else false verdict))))) (do ! - [expected/0 (random.ascii/alpha 5) - expected/1 (random.ascii/alpha 5) - expected/2 (random.ascii/alpha 5)] + [expected/0 (random.alphabetic 5) + expected/1 (random.alphabetic 5) + expected/2 (random.alphabetic 5)] (`` (all _.and (~~ (template [<error?> <log!>] [(let [console (@version.echo "") diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index cdc5efafd..c64a5e1b7 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -38,7 +38,7 @@ (def: node_name (Random Text) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: (files prefix) (-> Path (Random (List [Path Binary]))) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 7ce8710c9..f414f5d2b 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -76,8 +76,8 @@ (in [artifact expected_pom profile]))) $profile.random) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (file.mock (# file.default separator)) program (program.async (program.mock environment.empty home working_directory)) local (///repository/local.repository program fs) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 5b6c42a9c..101eaa542 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -56,8 +56,8 @@ Test (<| (_.covering /._) (do random.monad - [home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + [home (random.alphabetic 5) + working_directory (random.alphabetic 5) dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index d4244bfcf..d89a7a7a6 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -67,8 +67,8 @@ [identity $artifact.random sample (# ! each (has ///.#identity {.#Some identity}) $profile.random) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [/ (# file.default separator)]] (all _.and (in (do [! async.monad] diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 34bd05c36..862597b79 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -43,10 +43,10 @@ Test (<| (_.covering /._) (do [! random.monad] - [test (random.ascii/alpha 5) - target (random.ascii/alpha 5) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + [test (random.alphabetic 5) + target (random.alphabetic 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 21e90f754..bdc26bd7b 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -19,7 +19,7 @@ (Random /.Dependency) (all random.and @artifact.random - (random.ascii/alpha 1))) + (random.alphabetic 1))) (def: .public test Test diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index c52ff5f21..12b175534 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -148,7 +148,7 @@ (<| (_.covering /._) (do [! random.monad] [address (# ! each (text.suffix uri.separator) - (random.ascii/upper 10))] + (random.upper_case 10))] (all _.and (do [! random.monad] [[dependency expected_artifact package] ..bundle diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 1459a88e5..4a0294d61 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -44,9 +44,9 @@ (def: .public random (Random /.Metadata) (all random.and - (random.ascii/alpha 5) - (random.ascii/alpha 5) - (random.list 5 (random.ascii/alpha 5)) + (random.alphabetic 5) + (random.alphabetic 5) + (random.list 5 (random.alphabetic 5)) (do [! random.monad] [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat) @@ -95,8 +95,8 @@ (text#= (//.remote_project_uri artifact) (/.uri artifact))) (do random.monad - [home (random.ascii/lower 5) - working_directory (random.ascii/lower 5) + [home (random.lower_case 5) + working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (# file.default separator)) repository (///repository/local.repository program fs)]] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index bb862dca2..00cdb05b6 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -107,8 +107,8 @@ (text#= (//.remote_artifact_uri artifact) (/.uri artifact))) (do random.monad - [home (random.ascii/lower 5) - working_directory (random.ascii/lower 5) + [home (random.lower_case 5) + working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (# file.default separator)) repository (///repository/local.repository program fs)]] diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index af642f65b..a87131927 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -35,7 +35,7 @@ (def: name (Random //.Name) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 246492587..dd5b296d8 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -47,29 +47,29 @@ (def: license (Random /.License) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) + (random.alphabetic 1) + (random.alphabetic 1) ..distribution)) (def: scm (Random /.SCM) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: organization (Random /.Organization) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1))) + (random.alphabetic 1) + (random.alphabetic 1))) (def: email (Random /.Email) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: developer (Random /.Developer) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) + (random.alphabetic 1) + (random.alphabetic 1) (random.maybe organization))) (def: contributor @@ -97,10 +97,10 @@ (def: info (Random /.Info) (all random.and - (random.maybe (random.ascii/alpha 1)) - (random.maybe (random.ascii/alpha 2)) + (random.maybe (random.alphabetic 1)) + (random.maybe (random.alphabetic 2)) (random.maybe ..scm) - (random.maybe (random.ascii/alpha 3)) + (random.maybe (random.alphabetic 3)) (..list_of ..license) (random.maybe ..organization) (..list_of ..developer) @@ -109,19 +109,19 @@ (def: name (Random /.Name) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: repository (Random Address) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: source (Random /.Source) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: target (Random /.Target) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: .public random (Random /.Profile) @@ -135,11 +135,11 @@ (..list_of $compiler.random) (..set_of text.hash ..source) ..target - (random.maybe (random.ascii/alpha 1)) - (random.maybe (random.ascii/alpha 2)) - (..dictionary_of text.hash (random.ascii/alpha 3) ..repository) - (..list_of (random.and (random.ascii/alpha 4) - (random.ascii/alpha 5))) + (random.maybe (random.alphabetic 1)) + (random.maybe (random.alphabetic 2)) + (..dictionary_of text.hash (random.alphabetic 3) ..repository) + (..list_of (random.and (random.alphabetic 4) + (random.alphabetic 5))) (random#in //runtime.default_java) (random#in //runtime.default_js) (random#in //runtime.default_python) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index cf3a93e52..c191a5f83 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -28,7 +28,7 @@ (Random [//.Name //.Profile]) (|> @profile.random (random#each (has //.#parents (list))) - (random.and (random.ascii/alpha 1)))) + (random.and (random.alphabetic 1)))) (def: .public random (Random /.Project) @@ -62,7 +62,7 @@ (and (not (text#= super_name name)) (not (text#= dummy_name name)) (not (text#= sub_name name)))) - (random.ascii/alpha 1)) + (random.alphabetic 1)) .let [project (all (# /.monoid composite) (/.project super_name super_profile) (/.project dummy_name dummy_profile) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 5e357ecca..e1b67e424 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -13,8 +13,8 @@ (def: .public random (Random /.Identity) (all random.and - (random.ascii/alpha 10) - (random.ascii/alpha 10) + (random.alphabetic 10) + (random.alphabetic 10) )) (def: .public test diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index c5da9011d..92826c8ff 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -27,16 +27,16 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.ascii/upper 1) - home (random.ascii/lower 10) - working_directory (random.ascii/lower 10) + [/ (random.upper_case 1) + home (random.lower_case 10) + working_directory (random.lower_case 10) .let [fs (file.mock /) program (program.async (program.mock environment.empty home working_directory)) repo (/.repository program fs)] - uri (random.ascii/lower 10) + uri (random.lower_case 10) expected (# ! each (# utf8.codec encoded) - (random.ascii/lower 10))] + (random.lower_case 10))] (all _.and (in (do async.monad [before_upload (# repo download uri) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index a0bcff68d..90a0f89dd 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -13,8 +13,8 @@ (def: .public random (Random /.Origin) (all random.or - (random.ascii/alpha 10) - (random.ascii/alpha 10) + (random.alphabetic 10) + (random.alphabetic 10) )) (def: .public test diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index abf123f4b..05cd293c3 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -84,14 +84,14 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (random.ascii/upper 10) - uri (random.ascii/lower 10) + [address (random.upper_case 10) + uri (random.lower_case 10) - user (random.ascii/lower 10) - password (random.ascii/lower 10) + user (random.lower_case 10) + password (random.lower_case 10) content (# ! each (# utf8.codec encoded) - (random.ascii/lower 10))] + (random.lower_case 10))] (all _.and (_.cover [/.repository /.user_agent /.Address] (let [repo (/.repository (..good_http user password) diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 5166968f3..c982c455a 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -35,7 +35,7 @@ (<| (_.covering /._) (_.for [/.Runtime]) (do random.monad - [path (random.ascii/alpha 5) + [path (random.alphabetic 5) runtime ..random] (`` (all _.and (_.for [/.equivalence] diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0dc505bb0..7d529f04e 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -137,7 +137,7 @@ (def: for_try Test (do random.monad - [expected_error (random.ascii/lower 5) + [expected_error (random.lower_case 5) expected random.nat] (all _.and (_.cover [/.try] @@ -433,13 +433,13 @@ (..sum' n/0 n/1 n/1)))) (_.cover [/.using] (`` (with_expansions [<referral> ("lux in-module" "library/lux" library/lux.refer) - <alias> (static.random code.text (random.ascii/lower 1)) - <definition> (static.random code.local (random.ascii/lower 1)) - <module/0> (static.random code.text (random.ascii/lower 2)) + <alias> (static.random code.text (random.lower_case 1)) + <definition> (static.random code.local (random.lower_case 1)) + <module/0> (static.random code.text (random.lower_case 2)) <module/0>' (template.symbol [<module/0>]) - <module/1> (static.random code.text (random.ascii/lower 3)) + <module/1> (static.random code.text (random.lower_case 3)) <module/1>' (template.symbol [<module/1>]) - <module/2> (static.random code.text (random.ascii/lower 4)) + <module/2> (static.random code.text (random.lower_case 4)) <module/2>' (template.symbol [<module/2>]) <m0/1> (template.text [<module/0> "/" <module/1>]) <//> (template.text [// <module/2>']) @@ -738,7 +738,7 @@ start/b random.nat shift/s random.nat shift/b random.nat - text (random.ascii/lower 1) + text (random.lower_case 1) .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) @@ -818,9 +818,9 @@ (def: for_associative Test (do random.monad - [left (random.ascii/lower 1) - mid (random.ascii/lower 1) - right (random.ascii/lower 1) + [left (random.lower_case 1) + mid (random.lower_case 1) + right (random.lower_case 1) .let [expected (text.interposed "" (list left mid right))]] (_.cover [/.all /.left] (with_expansions [<left_association> (/.left format @@ -881,7 +881,7 @@ Test (do random.monad [left random.nat - right (random.ascii/lower 1) + right (random.lower_case 1) item/0 random.nat item/1 random.nat diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 53afa97a4..988151880 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -38,13 +38,13 @@ (def: local (Random Text) - (random.ascii/lower 1)) + (random.lower_case 1)) (def: global (Random Symbol) (all random.and - (random.ascii/lower 1) - (random.ascii/lower 1) + (random.lower_case 1) + (random.lower_case 1) )) (def: any_symbol diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index 1631c5b59..4c9dafeab 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -33,8 +33,8 @@ (# try.functor each (n.= expected)) (try.else false)))) (do random.monad - [property (random.ascii/alpha 1) - expected (random.ascii/alpha 1)] + [property (random.alphabetic 1) + expected (random.alphabetic 1)] (_.cover [/.Property /.property] (|> /.empty (dictionary.has property expected) @@ -42,7 +42,7 @@ (# try.functor each (text#= expected)) (try.else false)))) (do random.monad - [property (random.ascii/alpha 1)] + [property (random.alphabetic 1)] (_.cover [/.unknown_property] (case (/.result (/.property property) /.empty) {try.#Success _} diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 12bf56c3a..eb09bad2a 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -84,15 +84,15 @@ (and (..should_pass expected (/.range offset limit)) (..should_fail out_of_range (/.range offset limit))))) (do [! random.monad] - [expected (random.char unicode.ascii/upper) - invalid (random.only (|>> (unicode/block.within? unicode/block.basic_latin/upper) not) + [expected (random.char unicode.upper_case) + invalid (random.only (|>> (unicode/block.within? unicode/block.upper_case) not) (random.char unicode.character))] (_.cover [/.upper] (and (..should_pass (text.of_char expected) /.upper) (..should_fail (text.of_char invalid) /.upper)))) (do [! random.monad] - [expected (random.char unicode.ascii/lower) - invalid (random.only (|>> (unicode/block.within? unicode/block.basic_latin/lower) not) + [expected (random.char unicode.lower_case) + invalid (random.only (|>> (unicode/block.within? unicode/block.lower_case) not) (random.char unicode.character))] (_.cover [/.lower] (and (..should_pass (text.of_char expected) /.lower) @@ -116,20 +116,20 @@ (and (..should_pass (# n.hex encoded expected) /.hexadecimal) (..should_fail (text.of_char invalid) /.hexadecimal)))) (do [! random.monad] - [expected (random.char unicode.ascii/alpha) + [expected (random.char unicode.alphabetic) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char)))) (random.char unicode.character))] (_.cover [/.alpha] (and (..should_pass (text.of_char expected) /.alpha) (..should_fail (text.of_char invalid) /.alpha)))) (do [! random.monad] - [expected (random.char unicode.ascii/alpha_num) + [expected (random.char unicode.alpha_numeric) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char) - (unicode/block.within? unicode/block.basic_latin/decimal char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char) + (unicode/block.within? unicode/block.numeric char)))) (random.char unicode.character))] (_.cover [/.alpha_num] (and (..should_pass (text.of_char expected) /.alpha_num) @@ -397,8 +397,8 @@ (!expect (^.multi {try.#Success actual} (text#= expected actual)))))) (do [! random.monad] - [invalid (random.ascii/upper 1) - expected (random.only (|>> (unicode/block.within? unicode/block.basic_latin/upper) + [invalid (random.upper_case 1) + expected (random.only (|>> (unicode/block.within? unicode/block.upper_case) not) (random.char unicode.character)) .let [upper! (/.one_of! "ABCDEFGHIJKLMNOPQRSTUVWXYZ")]] @@ -415,11 +415,11 @@ (!expect (^.multi {try.#Failure error} (exception.match? /.expected_to_fail error))))))) (do [! random.monad] - [upper (random.ascii/upper 1) - lower (random.ascii/lower 1) + [upper (random.upper_case 1) + lower (random.lower_case 1) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char)))) (random.char unicode.character)) .let [upper! (/.one_of! "ABCDEFGHIJKLMNOPQRSTUVWXYZ") lower! (/.one_of! "abcdefghijklmnopqrstuvwxyz")]] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index bbca8a8fe..a64688a8d 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -35,7 +35,7 @@ (def: primitive (Random Type) - (|> (random.ascii/alpha_num 1) + (|> (random.alpha_numeric 1) (# random.monad each (function (_ name) {.#Primitive name (list)})))) @@ -305,8 +305,8 @@ (!expect (^.multi {try.#Success actual} (n.= expected actual)))))) (do [! random.monad] - [expected_name (random.and (random.ascii/alpha_num 1) - (random.ascii/alpha_num 1)) + [expected_name (random.and (random.alpha_numeric 1) + (random.alpha_numeric 1)) expected_type ..primitive] (_.cover [/.named /.not_named] (|> (/.result /.named diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 51292dc61..10f8acc14 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -39,7 +39,7 @@ (template: (!failure <exception> <cases>) [(with_expansions [<<cases>> (template.spliced <cases>)] (do [! random.monad] - [expected (random.ascii/alpha 1)] + [expected (random.alphabetic 1)] (_.cover [<exception>] (`` (and (~~ (template [<parser> <input>] [(|> (/.result <parser> (list <input>)) @@ -50,8 +50,8 @@ (def: random_label (Random Symbol) - (random.and (random.ascii/alpha 1) - (random.ascii/alpha 1))) + (random.and (random.alphabetic 1) + (random.alphabetic 1))) (def: random_tag ..random_label) (def: random_attribute ..random_label) @@ -62,7 +62,7 @@ (_.for [/.Parser]) (all _.and (do [! random.monad] - [expected (random.ascii/alpha 1)] + [expected (random.alphabetic 1)] (_.cover [/.result /.text] (|> (/.result /.text (list {xml.#Text expected})) (!expect (^.multi {try.#Success actual} @@ -71,7 +71,7 @@ [[(//#in expected) {xml.#Text expected}]]) (do [! random.monad] - [expected (# ! each (|>> {xml.#Text}) (random.ascii/alpha 1))] + [expected (# ! each (|>> {xml.#Text}) (random.alphabetic 1))] (_.cover [/.any] (|> (/.result /.any (list expected)) (try#each (xml#= expected)) @@ -97,7 +97,7 @@ (do [! random.monad] [expected_tag ..random_tag expected_attribute ..random_attribute - expected_value (random.ascii/alpha 1)] + expected_value (random.alphabetic 1)] (_.cover [/.attribute] (|> (/.result (<| (/.node expected_tag) (//.after (/.attribute expected_attribute)) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 2e5fb1810..113b166f3 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -35,7 +35,7 @@ (<| (_.covering /._) (_.for [/.PList]) (do [! random.monad] - [.let [gen_key (random.ascii/alpha 10)] + [.let [gen_key (random.alphabetic 10)] size (# ! each (n.% 100) random.nat) sample (..random size gen_key random.nat) @@ -51,7 +51,7 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid - (..random 10 (random.ascii/lower 1) random.nat))) + (..random 10 (random.lower_case 1) random.nat))) (_.cover [/.size] (n.= size (/.size sample))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 1a54f242e..0a193f702 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -33,9 +33,9 @@ (<| (_.covering /._) (_.for [/.Tree]) (do [! random.monad] - [tag_left (random.ascii/alpha_num 1) + [tag_left (random.alpha_numeric 1) tag_right (random.only (|>> (text#= tag_left) not) - (random.ascii/alpha_num 1)) + (random.alpha_numeric 1)) expected_left random.nat expected_right random.nat] (all _.and @@ -81,8 +81,8 @@ (do random.monad [.let [tags_equivalence (list.equivalence text.equivalence) values_equivalence (list.equivalence n.equivalence)] - tags/H (random.ascii/alpha_num 1) - tags/T (random.list 5 (random.ascii/alpha_num 1)) + tags/H (random.alpha_numeric 1) + tags/T (random.list 5 (random.alpha_numeric 1)) values/H random.nat values/T (random.list 5 random.nat)] (_.cover [/.tags /.values] diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 1c33df2b6..84f31a550 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -88,7 +88,7 @@ (try#each (#= expected)) (try.else false)))) (do random.monad - [keys (random.set text.hash 3 (random.ascii/alpha 1)) + [keys (random.set text.hash 3 (random.alphabetic 1)) values (random.set frac.hash 3 random.safe_frac) .let [expected (list.zipped_2 (set.list keys) (list#each (|>> {/.#Number}) (set.list values))) @@ -111,9 +111,9 @@ expected)) )) (do random.monad - [key (random.ascii/alpha 1) + [key (random.alphabetic 1) unknown (random.only (|>> (# text.equivalence = key) not) - (random.ascii/alpha 1)) + (random.alphabetic 1)) expected random.safe_frac] (_.cover [/.has] (<| (try.else false) @@ -136,7 +136,7 @@ cannot_find_unknown_key!)))))) (~~ (template [<type> <field> <tag> <random> <equivalence>] [(do random.monad - [key (random.ascii/alpha 1) + [key (random.alphabetic 1) value <random>] (_.cover [<type> <field>] (|> (/.object (list [key {<tag> value}])) @@ -146,9 +146,9 @@ [/.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] + [/.String /.string_field /.#String (random.alphabetic 1) text.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)] + [/.Object /.object_field /.#Object (random.dictionary text.hash 3 (random.alphabetic 1) ..random) (dictionary.equivalence /.equivalence)] )) (with_expansions [<boolean> (boolean) <number> (number) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 1bffe48ec..a62ce9de4 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -40,8 +40,8 @@ Test (_.for [/.Path] (do [! random.monad] - [expected (random.ascii/lower /.path_size) - invalid (random.ascii/lower (++ /.path_size)) + [expected (random.lower_case /.path_size) + invalid (random.lower_case (++ /.path_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.path_size)] (`` (all _.and @@ -75,8 +75,8 @@ Test (_.for [/.Name] (do [! random.monad] - [expected (random.ascii/lower /.name_size) - invalid (random.ascii/lower (++ /.name_size)) + [expected (random.lower_case /.name_size) + invalid (random.lower_case (++ /.name_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.name_size)] (`` (all _.and @@ -157,10 +157,10 @@ (def: entry Test (do [! random.monad] - [expected_path (random.ascii/lower (-- /.path_size)) + [expected_path (random.lower_case (-- /.path_size)) expected_moment (# ! each (|>> (n.% 1,0,00,00,00,00,000) .int instant.of_millis) random.nat) - chunk (random.ascii/lower chunk_size) + chunk (random.lower_case chunk_size) chunks (# ! each (n.% 100) random.nat) .let [content (|> chunk (list.repeated chunks) @@ -243,7 +243,7 @@ Test (_.for [/.Mode /.mode] (do [! random.monad] - [path (random.ascii/lower 10) + [path (random.lower_case 10) modes (random.list 4 ..random_mode) .let [expected_mode (list#mix /.and /.none modes)]] (`` (all _.and @@ -315,9 +315,9 @@ (def: ownership Test (do [! random.monad] - [path (random.ascii/lower /.path_size) - expected (random.ascii/lower /.name_size) - invalid (random.ascii/lower (++ /.name_size)) + [path (random.lower_case /.path_size) + expected (random.lower_case /.name_size) + invalid (random.lower_case (++ /.name_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.name_size)] (_.for [/.Ownership /.Owner /.ID] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 00bcfb12d..a4ecc3e09 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -147,7 +147,7 @@ ))) (do [! random.monad] [size (# ! each (|>> (n.% 10) ++) random.nat) - characters (random.set /.hash size (random.ascii/alpha 1)) + characters (random.set /.hash size (random.alphabetic 1)) .let [sample (|> characters set.list /.together)] expected (# ! each (n.% size) random.nat)] (_.cover [/.char] @@ -179,18 +179,18 @@ Test (do [! random.monad] [size (# ! each (|>> (n.% 10) (n.+ 2)) random.nat) - characters (random.set /.hash size (random.ascii/alpha 1)) + characters (random.set /.hash size (random.alphabetic 1)) separator (random.only (|>> (set.member? characters) not) - (random.ascii/alpha 1)) + (random.alphabetic 1)) .let [with_no_separator (|> characters set.list /.together)] - static (random.ascii/alpha 1) + static (random.alphabetic 1) .let [dynamic (random.only (|>> (# /.equivalence = static) not) - (random.ascii/alpha 1))] + (random.alphabetic 1))] pre dynamic post dynamic - lower (random.ascii/lower 1) - upper (random.ascii/upper 1)] + lower (random.lower_case 1) + upper (random.upper_case 1)] (all _.and (_.cover [/.together] (n.= (set.size characters) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index dbe4732df..fe1506d88 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -18,7 +18,7 @@ (Random Text) (do [! random.monad] [size (# ! each (|>> (n.% 10) ++) random.nat)] - (random.ascii/alpha size))) + (random.alphabetic size))) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 767a8cf4c..4c4a35e69 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -142,9 +142,9 @@ /.specials ... Specialized blocks - /.basic_latin/decimal - /.basic_latin/upper - /.basic_latin/lower]] + /.numeric + /.upper_case + /.lower_case]] ) <named> (template [<definition> <part>] [((is (-> Any (List /.Block)) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 20f6c2e42..11c1faa88 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -84,11 +84,11 @@ (not (/.member? <set> (++ end))))))] [/.ascii] - [/.ascii/alpha] - [/.ascii/alpha_num] - [/.ascii/lower] - [/.ascii/upper] - [/.ascii/numeric] + [/.alphabetic] + [/.alpha_numeric] + [/.lower_case] + [/.upper_case] + [/.numeric] [/.character] [/.non_character] [/.full] diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 960d314b9..79bc194a8 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -54,7 +54,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.ascii/upper 10) + sample_text (random.upper_case 10) sample_nat random.nat sample_rev random.rev] (in (`` (and (~~ (template [<type> <format> <sample>] @@ -198,7 +198,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.ascii/upper 10)] + sample_text (random.upper_case 10)] (_.cover [/.inspection] (`` (and (~~ (template [<format> <sample>] [(text#= (<format> <sample>) (/.inspection <sample>))] @@ -232,7 +232,7 @@ Test (<| (_.covering /._) (do random.monad - [message (random.ascii/lower 5)] + [message (random.lower_case 5)] (all _.and ..inspection ..representation @@ -241,7 +241,7 @@ (and (exception.match? /.type_hole error) (text.contains? (%.type My_Text) error)))) (do random.monad - [foo (random.ascii/upper 10) + [foo (random.upper_case 10) bar random.nat baz random.bit] (_.cover [/.here] diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 31de211a2..6f8490ef9 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -632,9 +632,9 @@ (def: for_exception Test (do [! random.monad] - [var/0 (random.ascii/lower 1) - var/1 (random.ascii/lower 2) - var/2 (random.ascii/lower 3)] + [var/0 (random.lower_case 1) + var/1 (random.lower_case 2) + var/2 (random.lower_case 3)] (all _.and (_.cover [/.class_names_cannot_contain_periods] (with_expansions [<class> (template.symbol ["java.lang.Float"])] diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index ba0671906..3e5894ff2 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -21,7 +21,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 3166de641..d28f19138 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -24,7 +24,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index b58994cd4..8e08fa744 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -21,7 +21,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index 570c5b98f..c407a9c43 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -32,7 +32,7 @@ (def: expected_char (//.as_char (static.random_int))) (def: expected_float (//.as_float (static.random_frac))) (def: expected_double (//.as_double (static.random_frac))) -(def: expected_string (//.as_string (static.random code.text (random.ascii/lower 2)))) +(def: expected_string (//.as_string (static.random code.text (random.lower_case 2)))) (`` (`` (/.export: Primitives ... Constants @@ -138,7 +138,7 @@ [char //.as_char ..tiny_int] [float //.as_float ..tiny_frac] [double //.as_double ..tiny_frac] - [string //.as_string (random.ascii/lower 1)] + [string //.as_string (random.lower_case 1)] ))] (all _.and (_.cover [/.export:] diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index e6a1aa602..0ba513c1a 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -64,7 +64,7 @@ (Random [Nat Text .Lux]) (do [! random.monad] [seed random.nat - symbol_prefix (random.ascii/upper 1) + symbol_prefix (random.upper_case 1) .let [macro_module (symbol.module (symbol /._)) current_module (symbol.module (symbol .._))]] (in [seed diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index bf3d3f79a..63d6a7ccf 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -29,7 +29,7 @@ (def: random_text (Random Text) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: random_symbol (Random Symbol) diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 15bc35f78..9f136e7d8 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -19,7 +19,7 @@ (def: .public random (Random /.Declaration) - (let [word (random.ascii/alpha 10)] + (let [word (random.alphabetic 10)] (all random.and word (do [! random.monad] diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index a4947439c..24056ae07 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -27,7 +27,7 @@ (def: .public random (Random /.Definition) (all random.and - (random.ascii/alpha 5) + (random.alphabetic 5) (random.or $//check.random $///code.random) random.bit diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index e7f3ff473..f5f8a490d 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -17,7 +17,7 @@ (def: .public random (Random /.Variable) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: .public test Test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 3f69f4e5f..03c6c9b2e 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -46,16 +46,16 @@ (def: compiler_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - configuration_feature (random.ascii/upper 1) - configuration_value (random.ascii/upper 1) + configuration_feature (random.upper_case 1) + configuration_value (random.upper_case 1) .let [configuration (list [configuration_feature configuration_value]) expected_lux [.#info [.#target target .#version version @@ -107,15 +107,15 @@ (def: error_handling Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_error (random.ascii/upper 1) + expected_error (random.upper_case 1) .let [expected_lux [.#info [.#target target .#version version .#mode {.#Build} @@ -193,21 +193,21 @@ (def: module_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) imported_module_name (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - primitive_type (random.ascii/upper 1) + (random.upper_case 1)) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_short (random.ascii/upper 1) + expected_short (random.upper_case 1) dummy_module (random.only (function (_ module) (not (or (text#= expected_current_module module) (text#= imported_module_name module)))) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [imported_module [.#module_hash 0 .#module_aliases (list) .#definitions (list) @@ -304,19 +304,19 @@ (def: random_location (Random Location) (all random.and - (random.ascii/upper 1) + (random.upper_case 1) random.nat random.nat)) (def: context_related (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -375,13 +375,13 @@ (def: definition_related Test (do [! random.monad] - [expected_current_module (random.ascii/upper 1) + [expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -491,13 +491,13 @@ Test (do [! random.monad] [expected_exported? random.bit - expected_current_module (random.ascii/upper 1) + expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -664,20 +664,20 @@ (def: label_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) + [current_module (random.upper_case 1) label_module (random.only (|>> (text#= current_module) not) - (random.ascii/upper 1)) + (random.upper_case 1)) - name_0 (random.ascii/upper 1) + name_0 (random.upper_case 1) name_1 (random.only (|>> (text#= name_0) not) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [random_tag (# ! each (|>> [label_module]) - (random.ascii/upper 1)) + (random.upper_case 1)) random_labels (is (Random [Text (List Text)]) (do ! - [head (random.ascii/lower 5)] - (|> (random.ascii/lower 5) + [head (random.lower_case 5)] + (|> (random.lower_case 5) (random.only (|>> (text#= head) not)) (random.set text.hash 3) (# ! each set.list) @@ -803,8 +803,8 @@ (def: locals_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) - [name_0 name_1 name_2 name_3 name_4] (|> (random.ascii/upper 1) + [current_module (random.upper_case 1) + [name_0 name_1 name_2 name_3 name_4] (|> (random.upper_case 1) (random.set text.hash 5) (# ! each set.list) (random.one (function (_ values) @@ -947,13 +947,13 @@ (_.for [.Meta .Lux]) (all _.and (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -986,7 +986,7 @@ (do random.monad [expected_value random.nat - expected_error (random.ascii/upper 1)] + expected_error (random.upper_case 1)] (_.cover [/.lifted] (and (|> expected_error {try.#Failure} diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index 68fc30537..17d91168b 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -31,8 +31,8 @@ (case amount 0 (random#in /.empty) _ (do [! random.monad] - [feature (random.ascii/upper amount) - value (random.ascii/lower amount)] + [feature (random.upper_case amount) + value (random.lower_case amount)] (# ! each (|>> (partial_list [feature value])) (random (-- amount)))))) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index 6fea463bf..93f24f460 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -19,7 +19,7 @@ (def: .public random (Random Location) (all random.and - (random.ascii/alpha 10) + (random.alphabetic 10) random.nat random.nat )) @@ -36,7 +36,7 @@ (not (# /.equivalence = (/.here) (/.here)))) (do random.monad [location ..random - error (random.ascii/alpha 10)] + error (random.alphabetic 10)] (_.cover [/.format /.with] (let [located_error (/.with location error)] (and (text.contains? (/.format location) diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index 41a702d92..b372e93bd 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -22,8 +22,8 @@ (def: .public (random module_size short_size) (-> Nat Nat (Random Symbol)) - (random.and (random.ascii/alpha module_size) - (random.ascii/alpha short_size))) + (random.and (random.alphabetic module_size) + (random.alphabetic short_size))) (def: .public test Test diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 00e1ac020..58e8296c9 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -36,7 +36,7 @@ Test (<| (_.covering /._) (with_expansions [<current> (/.current) - <fake> (static.random code.text (random.ascii/lower 1))]) + <fake> (static.random code.text (random.lower_case 1))]) (all _.and (_.cover [/.latest] (n.> 0 /.latest)) diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index ecfb45ce1..2279a4526 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -30,7 +30,7 @@ Test (<| (_.covering /._) (do random.monad - [inputs (random.list 5 (random.ascii/upper 5))] + [inputs (random.list 5 (random.upper_case 5))] (_.cover [/.program:] (let [(open "list#[0]") (list.equivalence text.equivalence)] (and (with_expansions [<program> (/.program: all_arguments diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index 71b690527..6fdf9b5dd 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -58,8 +58,8 @@ _ false))) (_.cover [/.text /.random] - (with_expansions [<left> (/.random code.text (random.ascii/alpha_num 1)) - <right> (/.random code.text (random.ascii/alpha_num 1)) + (with_expansions [<left> (/.random code.text (random.alpha_numeric 1)) + <right> (/.random code.text (random.alpha_numeric 1)) <l+r> (/.text (format <left> <right>))] (case (' <l+r>) [_ {.#Text l+r}] @@ -75,8 +75,8 @@ (n.= (list#mix n.+ 0 (list l/*)) (all n.+ l/*))))) (_.cover [/.literal] - (with_expansions [<left> (/.random code.text (random.ascii/alpha_num 1)) - <right> (/.random code.text (random.ascii/alpha_num 1)) + (with_expansions [<left> (/.random code.text (random.alpha_numeric 1)) + <right> (/.random code.text (random.alpha_numeric 1)) <l+r> (/.literal code.text (format <left> <right>))] (case (' <l+r>) [_ {.#Text l+r}] diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux index 709939bfd..81587cd20 100644 --- a/stdlib/source/test/lux/target/js.lux +++ b/stdlib/source/test/lux/target/js.lux @@ -72,7 +72,7 @@ [boolean random.bit number random.frac int ..int_32 - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.null] (|> /.null @@ -226,9 +226,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) size (# ! each (|>> (n.% 10) ++) random.nat) index (# ! each (n.% size) random.nat) @@ -260,9 +260,9 @@ boolean random.bit number random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|boolean ..test|number @@ -324,9 +324,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - foreign (random.ascii/lower 10) + foreign (random.lower_case 10) local (random.only (|>> (text#= foreign) not) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -356,8 +356,8 @@ (do [! random.monad] [number/0 random.safe_frac int/0 ..int_16 - $foreign (# ! each /.var (random.ascii/lower 10)) - field (random.ascii/upper 10)] + $foreign (# ! each /.var (random.lower_case 10)) + field (random.upper_case 10)] (all _.and (_.cover [/.set] (and (expression (|>> (as Frac) (f.= (f.+ number/0 number/0))) @@ -450,7 +450,7 @@ full_inner_iterations (# ! each (|>> (n.% 20) ++) random.nat) expected_inner_iterations (# ! each (n.% full_inner_iterations) random.nat) - @outer (# ! each /.label (random.ascii/upper 5)) + @outer (# ! each /.label (random.upper_case 5)) full_outer_iterations (# ! each (|>> (n.% 10) ++) random.nat) expected_outer_iterations (# ! each (n.% full_outer_iterations) random.nat) @@ -607,7 +607,7 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $ex (# ! each /.var (random.ascii/lower 10))] + $ex (# ! each /.var (random.lower_case 10))] (all _.and (_.cover [/.try] (expression (|>> (as Frac) (f.= expected)) @@ -631,9 +631,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (`` (all _.and (_.cover [/.apply_1] (expression (|>> (as Frac) (f.= number/0)) @@ -663,10 +663,10 @@ (do [! random.monad] [number/0 random.safe_frac iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.var (random.ascii/lower 1)) - $arg/0 (# ! each /.var (random.ascii/lower 2)) - field (random.ascii/lower 3) - $class (# ! each /.var (random.ascii/upper 4))] + $self (# ! each /.var (random.lower_case 1)) + $arg/0 (# ! each /.var (random.lower_case 2)) + field (random.lower_case 3) + $class (# ! each /.var (random.upper_case 4))] (all _.and (_.cover [/.closure /.return] (expression (|>> (as Frac) (f.= number/0)) @@ -707,12 +707,12 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - arg/0 (random.ascii/lower 10) + arg/0 (random.lower_case 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.ascii/lower 10)) + (random.lower_case 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$arg/0 (/.var arg/0) $arg/1 (/.var arg/1) $arg/2 (/.var arg/2)] @@ -768,9 +768,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12)) + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12)) ??? random.bit int ..int_16] (`` (all _.and diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 86f53e099..efbb44c8f 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -103,9 +103,9 @@ (def: class_name (Random Text) (do random.monad - [super_package (random.ascii/lower 10) - package (random.ascii/lower 10) - name (random.ascii/upper 10)] + [super_package (random.lower_case 10) + package (random.lower_case 10) + name (random.upper_case 10)] (in (format super_package /name.external_separator package /name.external_separator name)))) @@ -122,7 +122,7 @@ (-> (-> Any Bit) (Bytecode Any) (Random Bit)) (do random.monad [class_name ..class_name - method_name (random.ascii/upper 10)] + method_name (random.upper_case 10)] (in (case (do try.monad [class (/class.class /version.v6_0 /class.public (/name.internal class_name) @@ -305,7 +305,7 @@ (def: $String::random (as (Random java/lang/String) - (random.ascii/alpha 10))) + (random.alphabetic 10))) (def: $String::literal (-> java/lang/String (Bytecode Any)) @@ -1340,9 +1340,9 @@ (function (_ primitive return substitute test) (do random.monad [class_name ..class_name - primitive_method_name (random.ascii/upper 10) + primitive_method_name (random.upper_case 10) .let [primitive_method_type (/type.method [(list) (list) (the #unboxed primitive) (list)])] - object_method_name (|> (random.ascii/upper 10) + object_method_name (|> (random.upper_case 10) (random.only (|>> (text#= primitive_method_name) not))) expected (the #random primitive) .let [$Self (/type.class class_name (list))]] diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index 3ae103b3d..7d81b41f5 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -50,7 +50,7 @@ [boolean random.bit int random.int float random.frac - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.nil] (|> /.nil @@ -183,8 +183,8 @@ (def: test|string Test (do random.monad - [left (random.ascii/lower 8) - right (random.ascii/lower 8) + [left (random.lower_case 8) + right (random.lower_case 8) .let [expected (format left right)]] (all _.and (_.cover [/.concat] @@ -227,13 +227,13 @@ index (# ! each (n.% size) random.nat) items (random.list size random.safe_frac) - $self (# ! each /.var (random.ascii/lower 10)) - $table (# ! each /.var (random.ascii/lower 11)) - $arg (# ! each /.var (random.ascii/lower 12)) - field (random.ascii/upper 5) + $self (# ! each /.var (random.lower_case 10)) + $table (# ! each /.var (random.lower_case 11)) + $arg (# ! each /.var (random.lower_case 12)) + field (random.upper_case 5) non_field (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) - method (random.ascii/upper 6)] + (random.upper_case 5)) + method (random.upper_case 6)] (all _.and (_.cover [/.table /.the] (and (expression (|>> (as Frac) (f.= expected)) @@ -265,9 +265,9 @@ boolean random.bit int random.int float random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|boolean ..test|int @@ -319,9 +319,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - foreign (random.ascii/lower 10) + foreign (random.lower_case 10) local (random.only (|>> (text#= foreign) not) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -360,10 +360,10 @@ [float/0 random.safe_frac float/1 random.safe_frac int/0 ..int_16 - $foreign (# ! each /.var (random.ascii/lower 10)) - $arg/0 (# ! each /.var (random.ascii/lower 11)) - $arg/1 (# ! each /.var (random.ascii/lower 12)) - field (random.ascii/upper 10)] + $foreign (# ! each /.var (random.lower_case 10)) + $arg/0 (# ! each /.var (random.lower_case 11)) + $arg/1 (# ! each /.var (random.lower_case 12)) + field (random.upper_case 10)] (all _.and (_.cover [/.set] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -414,11 +414,11 @@ full_iterations (# ! each (|>> (n.% 20) ++) random.nat) expected_iterations (# ! each (|>> (n.% full_iterations) .int) random.nat) - $input (# ! each /.var (random.ascii/lower 10)) - $output (# ! each /.var (random.ascii/lower 11)) - $index (# ! each /.var (random.ascii/lower 12)) + $input (# ! each /.var (random.lower_case 10)) + $output (# ! each /.var (random.lower_case 11)) + $index (# ! each /.var (random.lower_case 12)) - @loop (# ! each /.label (random.ascii/lower 13)) + @loop (# ! each /.label (random.lower_case 13)) .let [expected (i.* expected_iterations input) expected_iterations (/.int expected_iterations)]] @@ -560,8 +560,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $verdict (# ! each /.var (random.ascii/lower 10)) - $outcome (# ! each /.var (random.ascii/lower 11))] + $verdict (# ! each /.var (random.lower_case 10)) + $outcome (# ! each /.var (random.lower_case 11))] (all _.and (_.cover [/.pcall/1] (expression (|>> (as Frac) (f.= expected)) @@ -604,10 +604,10 @@ (do [! random.monad] [float/0 random.safe_frac iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.var (random.ascii/lower 1)) - $arg/0 (# ! each /.var (random.ascii/lower 2)) - field (random.ascii/lower 3) - $class (# ! each /.var (random.ascii/upper 4))] + $self (# ! each /.var (random.lower_case 1)) + $arg/0 (# ! each /.var (random.lower_case 2)) + field (random.lower_case 3) + $class (# ! each /.var (random.upper_case 4))] (all _.and (_.cover [/.closure /.return] (expression (|>> (as Frac) (f.= float/0)) @@ -627,9 +627,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (`` (all _.and (_.cover [/.apply] (expression (|>> (as Frac) (f.= (all f.+ float/0 float/1 float/2))) @@ -685,8 +685,8 @@ (do [! random.monad] [float/0 random.safe_frac float/1 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11))] (`` (all _.and (_.cover [/.statement /.then /.print/1] (expression (|>> (as Frac) (f.= float/0)) diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 5e54809a1..60fb46d9d 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -49,7 +49,7 @@ [bool random.bit float random.frac int random.int - string (random.ascii/upper 1)] + string (random.upper_case 1)] (all _.and (_.cover [/.none] (|> /.none @@ -265,9 +265,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -290,11 +290,11 @@ bool random.bit float (random.only (|>> f.not_a_number? not) random.frac) - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10) - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11))] + comment (random.upper_case 10) + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11))] (all _.and ..test|bool ..test|float @@ -337,9 +337,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (all _.and (_.cover [/.lambda] (expression (|>> (as Frac) (f.= float/0)) @@ -448,7 +448,7 @@ [$var/0 (# ! each (|>> %.nat (format "v0_") /.var) random.nat) expected/0 random.safe_frac dummy/0 random.safe_frac - field (# ! each /.string (random.ascii/upper 1))] + field (# ! each /.string (random.upper_case 1))] (all _.and (_.cover [/.item] (`` (and (~~ (template [<seq>] @@ -489,7 +489,7 @@ expected/0 random.safe_frac expected/1 random.safe_frac dummy/0 random.safe_frac - field/0 (# ! each /.string (random.ascii/upper 1))] + field/0 (# ! each /.string (random.upper_case 1))] (all _.and (_.cover [/.set] (|> (..statement @@ -594,7 +594,7 @@ (def: test|exception Test (do [! random.monad] - [expected_error (random.ascii/upper 10) + [expected_error (random.upper_case 10) expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) @@ -816,7 +816,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.ascii/lower 1)) + (random#each /.string (random.lower_case 1)) )) (def: .public test diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux index b3324189d..2774aa58a 100644 --- a/stdlib/source/test/lux/target/ruby.lux +++ b/stdlib/source/test/lux/target/ruby.lux @@ -63,7 +63,7 @@ [bool random.bit float random.frac int random.int - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.nil] (..nil /.nil)) @@ -212,9 +212,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -330,11 +330,11 @@ (def: test|io Test (<| (do [! random.monad] - [left (random.ascii/upper 5) - right (random.ascii/upper 5) - $old (# ! each /.local (random.ascii/upper 1)) - $new (# ! each /.local (random.ascii/upper 2)) - $it (# ! each /.local (random.ascii/upper 3)) + [left (random.upper_case 5) + right (random.upper_case 5) + $old (# ! each /.local (random.upper_case 1)) + $new (# ! each /.local (random.upper_case 2)) + $it (# ! each /.local (random.upper_case 3)) .let [expected (format left right)]]) (all _.and (_.for [/.stdout] @@ -406,9 +406,9 @@ bool random.bit float random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|bool ..test|float @@ -433,8 +433,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $global (# ! each /.global (random.ascii/lower 10)) - pattern (# ! each /.string (random.ascii/lower 11))] + $global (# ! each /.global (random.lower_case 10)) + pattern (# ! each /.string (random.lower_case 11))] (all _.and (_.cover [/.global] (expression (|>> (as Text) (text#= "global-variable")) @@ -487,7 +487,7 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10))] + $foreign (# ! each /.local (random.lower_case 10))] (all _.and (_.cover [/.local] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -604,12 +604,12 @@ (def: test|variadic Test (do [! random.monad] - [$inputs (# ! each /.local (random.ascii/lower 10)) + [$inputs (# ! each /.local (random.lower_case 10)) arity (# ! each (n.% 10) random.nat) vals (|> random.int (# ! each /.int) (random.list arity)) - keys (|> (random.ascii/lower 1) + keys (|> (random.lower_case 1) (random.set text.hash arity) (# ! each (|>> set.list (list#each /.string))))] (all _.and @@ -637,9 +637,9 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10)) + $foreign (# ! each /.local (random.lower_case 10)) - $constant (# ! each /.constant (random.ascii/lower 10))] + $constant (# ! each /.constant (random.lower_case 10))] (all _.and (_.cover [/.defined?/1] (and (expression (|>> (as Bit)) @@ -674,8 +674,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10)) - field (# ! each /.string (random.ascii/upper 10))] + $foreign (# ! each /.local (random.lower_case 10)) + field (# ! each /.string (random.upper_case 10))] (all _.and (<| (_.for [/.Var]) ..test|var) @@ -825,8 +825,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - error (random.ascii/lower 10) - $ex (# ! each /.local (random.ascii/lower 10)) + error (random.lower_case 10) + $ex (# ! each /.local (random.lower_case 10)) expected_tag ..random_tag dummy_tag (random.only (|>> (i.= expected_tag) not) @@ -905,16 +905,16 @@ Test (do [! random.monad] [iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.local (random.ascii/lower 1)) - field (random.ascii/lower 3) - $class (# ! each /.local (random.ascii/upper 4)) + $self (# ! each /.local (random.lower_case 1)) + field (random.lower_case 3) + $class (# ! each /.local (random.upper_case 4)) float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.local (random.ascii/lower 10)) - $arg/1 (# ! each /.local (random.ascii/lower 11)) - $arg/2 (# ! each /.local (random.ascii/lower 12))] + $arg/0 (# ! each /.local (random.lower_case 10)) + $arg/1 (# ! each /.local (random.lower_case 11)) + $arg/2 (# ! each /.local (random.lower_case 12))] (all _.and (_.cover [/.lambda /.return] (and (expression (|>> (as Frac) (f.= float/0)) @@ -958,12 +958,12 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - arg/0 (random.ascii/lower 10) + arg/0 (random.lower_case 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.ascii/lower 10)) + (random.lower_case 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$arg/0 (/.local arg/0) $arg/1 (/.local arg/1) $arg/2 (/.local arg/2)] @@ -992,9 +992,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.local (random.ascii/lower 10)) - $arg/1 (# ! each /.local (random.ascii/lower 11)) - $arg/2 (# ! each /.local (random.ascii/lower 12)) + $arg/0 (# ! each /.local (random.lower_case 10)) + $arg/1 (# ! each /.local (random.lower_case 11)) + $arg/2 (# ! each /.local (random.lower_case 12)) expected (# ! each (|>> %.int (text.replaced "+" "")) random.int)] (all _.and @@ -1035,7 +1035,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.ascii/lower 5)) + (random#each /.string (random.lower_case 5)) ))] (all random.either literal diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 676290e8e..b14540cdb 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -32,9 +32,9 @@ (def: assertion /.Test (do [! random.monad] - [expected_message/0 (random.ascii/lower 5) + [expected_message/0 (random.lower_case 5) expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.ascii/lower 5))] + (random.lower_case 5))] (all /.and (in (do async.monad [[success_tally success_message] (/.assertion expected_message/0 true) @@ -221,11 +221,11 @@ (<| (/.covering /._) (/.for [/.Test]) (do [! random.monad] - [expected_context (random.ascii/lower 5) + [expected_context (random.lower_case 5) expected_message/0 (random.only (|>> (text#= expected_context) not) - (random.ascii/lower 5)) + (random.lower_case 5)) expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.ascii/lower 5))] + (random.lower_case 5))] (all /.and (/.for [/.Assertion] ..assertion) diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 34e221efb..638e28ee6 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -57,7 +57,7 @@ ($codec.spec /.equivalence /.codec ..random)) (do random.monad - [not_a_day (random.ascii/upper 1)] + [not_a_day (random.upper_case 1)] (_.cover [/.not_a_day_of_the_week] (case (# /.codec decoded not_a_day) {try.#Failure error} diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index e52a077fc..cc43a57a8 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -89,7 +89,7 @@ (list#mix n.+ 0) (n.= expected)))) (do random.monad - [not_a_month (random.ascii/upper 1)] + [not_a_month (random.upper_case 1)] (_.cover [/.not_a_month_of_the_year] (case (# /.codec decoded not_a_month) {try.#Failure error} diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index 27302b091..e4f33919f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -86,7 +86,7 @@ random ) random|extension (all random.and - (random.ascii/lower 1) + (random.lower_case 1) (random.list multiplicity random) )]) (all random.or @@ -107,7 +107,7 @@ int random.int rev random.rev frac random.frac - text (random.ascii/lower 1)] + text (random.lower_case 1)] (`` (all _.and (_.cover [/.unit] (case (/.unit) @@ -246,10 +246,10 @@ Test (do random.monad [version/0 random.nat - host/0 (random.ascii/lower 5) + host/0 (random.lower_case 5) version/1 random.nat - host/1 (random.ascii/lower 5) - expected_error (random.ascii/lower 10) + host/1 (random.lower_case 5) + expected_error (random.lower_case 10) location/0 /location.random location/1 /location.random configuration ($configuration.random 5) @@ -329,15 +329,15 @@ Test (do random.monad [version random.nat - host (random.ascii/lower 5) + host (random.lower_case 5) - expected_module (random.ascii/lower 10) - dummy_module (random.ascii/lower 11) + expected_module (random.lower_case 10) + dummy_module (random.lower_case 11) location /location.random - expected_file (random.ascii/lower 12) - expected_code (random.ascii/lower 13) + expected_file (random.lower_case 12) + expected_code (random.lower_case 13) configuration ($configuration.random 5) .let [state (has .#location location diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index 2ce0c57ad..cb50147c5 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -58,14 +58,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: analysis @@ -92,7 +92,7 @@ [.Int random.int code.int] [.Rev random.rev code.rev] [.Frac random.frac code.frac] - [.Text (random.ascii/lower 1) code.text] + [.Text (random.lower_case 1) code.text] )) ))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index 13699b82f..23ba015dd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -38,7 +38,7 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) @@ -55,7 +55,7 @@ random.nat) choice (# ! each (n.% multiplicity) random.nat) - expected_error (random.ascii/upper 5) + expected_error (random.upper_case 5) name ($symbol.random 2 2) mono $code.random diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index ca3c27702..418f5824b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -34,14 +34,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: (new? hash it) @@ -63,10 +63,10 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - name (random.ascii/lower 1) + name (random.lower_case 1) hash random.nat - expected_import (random.ascii/lower 2) - expected_alias (random.ascii/lower 3)] + expected_import (random.lower_case 2) + expected_alias (random.lower_case 3)] (all _.and (_.cover [/.empty] (..new? hash (/.empty hash))) @@ -137,7 +137,7 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - name (random.ascii/lower 1) + name (random.lower_case 1) hash random.nat] (`` (all _.and (~~ (template [<set> <query> <not/0> <not/1>] @@ -202,16 +202,16 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - module_name (random.ascii/lower 1) + module_name (random.lower_case 1) hash random.nat - def_name (random.ascii/lower 2) - alias_name (random.ascii/lower 3) + def_name (random.lower_case 2) + alias_name (random.lower_case 3) public? random.bit def_type ..primitive arity (# ! each (|>> (n.% 10) ++) random.nat) - labels|head (random.ascii/lower 1) - labels|tail (|> (random.ascii/lower 1) + labels|head (random.lower_case 1) + labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) (# ! each set.list)) @@ -274,16 +274,16 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - module_name (random.ascii/lower 1) + module_name (random.lower_case 1) hash random.nat - def_name (random.ascii/lower 2) - foreign_module (random.ascii/lower 3) + def_name (random.lower_case 2) + foreign_module (random.lower_case 3) public? random.bit def_type ..primitive arity (# ! each (|>> (n.% 10) ++) random.nat) - labels|head (random.ascii/lower 1) - labels|tail (|> (random.ascii/lower 1) + labels|head (random.lower_case 1) + labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) (# ! each set.list))] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index 9151db036..01eb25f11 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -40,7 +40,7 @@ expected_int random.int expected_rev random.rev expected_frac random.frac - expected_text (random.ascii/lower 2) + expected_text (random.lower_case 2) expected_lefts random.nat expected_right? random.bit diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index 1d3895914..f6bedb278 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -54,8 +54,8 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - name/0 (random.ascii/lower 1) - name/1 (random.ascii/lower 2) + name/0 (random.lower_case 1) + name/1 (random.lower_case 2) type/0 ($type.random 0) type/1 ($type.random 0)] (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index 3542d79c7..12448028f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -25,7 +25,7 @@ random.int random.rev (random.only (|>> f.not_a_number? not) random.frac) - (random.ascii/lower 5) + (random.lower_case 5) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index 750bade83..ed8f42dde 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -30,14 +30,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: .public test @@ -50,7 +50,7 @@ expected ..primitive dummy (random.only (|>> (type#= expected) not) ..primitive) - module (random.ascii/lower 1)] + module (random.lower_case 1)] (all _.and (_.cover [/.expecting /.inference] (and (|> (/.inference expected) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index e4e903891..9e97fd917 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -904,23 +904,23 @@ int/0 random.int rev/0 random.rev frac/0 random.frac - text/0 (random.ascii/lower 1) - - @any (random.ascii/lower 2) - @bit (random.ascii/lower 3) - @nat (random.ascii/lower 4) - @int (random.ascii/lower 5) - @rev (random.ascii/lower 6) - @frac (random.ascii/lower 7) - @text (random.ascii/lower 8) - - @left (random.ascii/lower 9) - @right (random.ascii/lower 10) - - $abstraction/0 (# ! each code.local (random.ascii/lower 11)) - $parameter/0 (# ! each code.local (random.ascii/lower 12)) - $abstraction/1 (# ! each code.local (random.ascii/lower 13)) - $parameter/1 (# ! each code.local (random.ascii/lower 14))]) + text/0 (random.lower_case 1) + + @any (random.lower_case 2) + @bit (random.lower_case 3) + @nat (random.lower_case 4) + @int (random.lower_case 5) + @rev (random.lower_case 6) + @frac (random.lower_case 7) + @text (random.lower_case 8) + + @left (random.lower_case 9) + @right (random.lower_case 10) + + $abstraction/0 (# ! each code.local (random.lower_case 11)) + $parameter/0 (# ! each code.local (random.lower_case 12)) + $abstraction/1 (# ! each code.local (random.lower_case 13)) + $parameter/1 (# ! each code.local (random.lower_case 14))]) (all _.and (_.cover [/.phase] (and (..can_analyse_unit! lux module/0) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index 42c064bbc..4eb36a953 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -58,14 +58,14 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.ascii/lower 1) - name/0 (# ! each (|>> [module/0]) (random.ascii/lower 2)) + module/0 (random.lower_case 1) + name/0 (# ! each (|>> [module/0]) (random.lower_case 2)) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter - $binding/0 (# ! each code.local (random.ascii/lower 3)) - $binding/1 (# ! each code.local (random.ascii/lower 4)) - $binding/2 (# ! each code.local (random.ascii/lower 5))] + $binding/0 (# ! each code.local (random.lower_case 3)) + $binding/1 (# ! each code.local (random.lower_case 4)) + $binding/2 (# ! each code.local (random.lower_case 5))] (all _.and (_.cover [/.tuple] (let [tuple? (is (-> Type Type Bit) @@ -500,18 +500,18 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.ascii/lower 1) - name/0 (random.ascii/lower 2) + module/0 (random.lower_case 1) + name/0 (random.lower_case 2) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter [output/0 body/0] $//inference.simple_parameter [output/1 body/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) - $binding/0 (# ! each code.local (random.ascii/lower 3)) - $binding/1 (# ! each code.local (random.ascii/lower 4)) - $binding/2 (# ! each code.local (random.ascii/lower 5)) - extension/0 (# ! each code.text (random.ascii/lower 6)) + $binding/0 (# ! each code.local (random.lower_case 3)) + $binding/1 (# ! each code.local (random.lower_case 4)) + $binding/2 (# ! each code.local (random.lower_case 5)) + extension/0 (# ! each code.text (random.lower_case 6)) bit/0 random.bit nat/0 random.nat] (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index 44fdae7eb..4bdb21d48 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -64,14 +64,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//analysis.state (//analysis.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: analysis @@ -98,7 +98,7 @@ [.Int random.int code.int] [.Rev random.rev code.rev] [.Frac (random.only (|>> f.not_a_number? not) random.frac) code.frac] - [.Text (random.ascii/lower 1) code.text] + [.Text (random.lower_case 1) code.text] )) ))) @@ -221,7 +221,7 @@ types/*,terms/* (random.list arity ..simple_parameter) tag (# ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)] - tags (|> (random.ascii/lower 1) + tags (|> (random.lower_case 1) (random.set text.hash arity) (# ! each set.list)) .let [module (product.left name) @@ -437,11 +437,11 @@ arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) slice (# ! each (|>> (n.% (-- arity)) ++) random.nat) [type/0 term/0] ..simple_parameter - slot/0 (random.ascii/lower 1) + slot/0 (random.lower_case 1) types/*,terms/* (random.list arity ..simple_parameter) - slots/0 (|> (random.ascii/lower 1) + slots/0 (|> (random.lower_case 1) (random.set text.hash arity)) - slots/1 (|> (random.ascii/lower 1) + slots/1 (|> (random.lower_case 1) (random.only (|>> (set.member? slots/0) not)) (random.set text.hash arity)) .let [slots/0 (set.list slots/0) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 1e52a34bf..f14599150 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -67,11 +67,11 @@ //extension.#state lux]] input/0 ($type.random 0) input/1 ($type.random 0) - function/0 (random.ascii/lower 1) - function/1 (random.ascii/lower 2) - argument/0 (random.ascii/lower 3) - argument/1 (random.ascii/lower 4) - module/0 (random.ascii/lower 5) + function/0 (random.lower_case 1) + function/1 (random.lower_case 2) + argument/0 (random.lower_case 3) + argument/1 (random.lower_case 4) + module/0 (random.lower_case 5) [output/0 term/0] $//inference.simple_parameter [output/1 term/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) @@ -203,7 +203,7 @@ [input/1 term/1] (random.only (|>> product.left (same? input/0) not) $//inference.simple_parameter) output/0 ($type.random 0) - module/0 (random.ascii/lower 1)] + module/0 (random.lower_case 1)] (all _.and (_.cover [/.apply] (let [reification? (is (-> Type (List Code) Type Bit) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index f67b2431d..66df51d4e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -36,11 +36,11 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - expected_name (random.ascii/lower 1) + expected_name (random.lower_case 1) expected_type ($type.random 0) - expected_module (random.ascii/lower 2) - import (random.ascii/lower 3) - expected_label (random.ascii/lower 4) + expected_module (random.lower_case 2) + import (random.lower_case 3) + expected_label (random.lower_case 4) record? random.bit] (all _.and (_.cover [/.reference] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index 4680a6e00..c096da534 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -80,8 +80,8 @@ (<| (_.covering /._) (do [! random.monad] [version random.nat - host (random.ascii/lower 1) - module (random.ascii/lower 2) + host (random.lower_case 1) + module (random.lower_case 2) configuration ($configuration.random 5) .let [state (/analysis.state (/analysis.info version host configuration))]] (`` (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index c76f452ed..59bafc3d7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -33,7 +33,7 @@ (def: .public random (Random (/.Extension Nat)) (all random.and - (random.ascii/lower 5) + (random.lower_case 5) (random.list 2 random.nat) )) @@ -112,7 +112,7 @@ Test (do [! random.monad] [state random.int - extension (random.ascii/lower 1) + extension (random.lower_case 1) left random.nat right random.nat] (all _.and @@ -150,7 +150,7 @@ (do [! random.monad] [state random.int - extension (random.ascii/lower 1) + extension (random.lower_case 1) left random.nat right random.nat] (all _.and @@ -234,7 +234,7 @@ dummy (random.only (|>> (i.= state) not) random.int) expected random.nat - expected_error (random.ascii/lower 1)] + expected_error (random.lower_case 1)] (all _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) ..random)) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 132d27fb6..e8dad37cf 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -28,7 +28,7 @@ (Random Text) (do [! r.monad] [size (|> r.nat (# ! each (|>> (n.% 20) (n.max 1))))] - (r.ascii/lower_alpha size))) + (r.lower_case_alpha size))) (def: symbol^ (Random Symbol) @@ -47,7 +47,7 @@ (all r.either (do r.monad [size (|> r.nat (r#each (n.% 20)))] - (|> (r.ascii/upper_alpha size) (r#each code.text))) + (|> (r.upper_case_alpha size) (r#each code.text))) (|> symbol^ (r#each code.symbol)) (|> symbol^ (r#each code.tag)))) simple^ (is (Random Code) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 32e833ca7..98beda337 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -23,7 +23,7 @@ random.bit random.i64 random.frac - (random.ascii/lower 1) + (random.lower_case 1) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 5dca59932..d43e6a03b 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -49,8 +49,8 @@ (def: test|entry Test (do random.monad - [module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + [module/0 (random.lower_case 1) + module/1 (random.lower_case 2) signature $/signature.random .let [version (the /signature.#version signature)] fake_version (random.only (|>> (n.= version) not) random.nat) @@ -199,8 +199,8 @@ (<| (_.covering /._) (_.for [/.Archive]) (do random.monad - [module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + [module/0 (random.lower_case 1) + module/1 (random.lower_case 2) signature $/signature.random content/0 random.nat content/1 (random.only (|>> (n.= content/0) not) random.nat) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index 1d45f6113..82722ddcb 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -13,7 +13,7 @@ (def: random_definition (Random /.Definition) (all random.and - (random.ascii/lower 1) + (random.lower_case 1) (random.maybe (all random.and random.nat @@ -27,11 +27,11 @@ (all random.or (random#in []) ..random_definition - (random.ascii/lower 2) - (random.ascii/lower 3) - (random.ascii/lower 4) - (random.ascii/lower 5) - (random.ascii/lower 6) + (random.lower_case 2) + (random.lower_case 3) + (random.lower_case 4) + (random.lower_case 5) + (random.lower_case 6) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 6579f7b5a..6de17ec32 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -30,11 +30,11 @@ (def: .public (random imports) (-> Nat (Random /.Descriptor)) (all random.and - (random.ascii/lower 1) - (random.ascii/lower 1) + (random.lower_case 1) + (random.lower_case 1) random.nat ..random_module_state - (random.set text.hash imports (random.ascii/lower 2)) + (random.set text.hash imports (random.lower_case 2)) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index 15f5f800c..c097d5190 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -53,12 +53,12 @@ (<| (_.covering /._) (_.for [/.Registry]) (do [! random.monad] - [expected_name (random.ascii/lower 5) + [expected_name (random.lower_case 5) mandatory? random.bit expected_dependencies (..random_dependencies 5) expected_amount (# ! each (n.% 10) random.nat) - expected_names (|> (random.ascii/lower 1) + expected_names (|> (random.lower_case 1) (random.set text.hash expected_amount) (# ! each set.list))] (`` (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index 94e9127a0..7981c04c1 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -26,8 +26,8 @@ (Random /.Signature) (all random.and (all random.and - (random.ascii/upper 1) - (random.ascii/lower 1)) + (random.upper_case 1) + (random.lower_case 1)) ////version.random )) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index 6b6191135..f7be805d6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -41,8 +41,8 @@ [.let [/ "/" fs (file.mock /)] context $context.random - module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + module/0 (random.lower_case 1) + module/1 (random.lower_case 2) content/0 random.nat content/1 (random.only (|>> (n.= content/0) not) random.nat) hash random.nat diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux index ae210f1a5..d84c092e3 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -46,11 +46,11 @@ (<| (_.covering /._) (do [! random.monad] [descriptor ($descriptor.random 0) - source_code (random.ascii/upper 1) - name/0 (random.ascii/lower 1) + source_code (random.upper_case 1) + name/0 (random.lower_case 1) module/0 ($module.random random.nat) content/0 ($binary.random 1) - name/1 (random.ascii/lower 2) + name/1 (random.lower_case 2) module/1 (|> ($module.random random.nat) (# ! each (has [module.#descriptor descriptor.#references] (set.of_list text.hash (list name/0))))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 56f8fe6af..b6eca2b43 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -36,11 +36,11 @@ (let [(open "list#[0]") (list.equivalence text.equivalence)]) (do [! random.monad] [amount (# ! each (|>> (n.% 5) ++) random.nat) - sources (random.list amount (random.ascii/lower 1)) - host_dependencies (random.list amount (random.ascii/lower 2)) - libraries (random.list amount (random.ascii/lower 3)) - target (random.ascii/lower 4) - module (random.ascii/lower 5) + sources (random.list amount (random.lower_case 1)) + host_dependencies (random.list amount (random.lower_case 2)) + libraries (random.list amount (random.lower_case 3)) + target (random.lower_case 4) + module (random.lower_case 5) compilers (random.list amount $/compiler.random) configuration ($configuration.random 5) .let [compilation' (all list#composite diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index 4ad6e7f57..f9048293b 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -25,7 +25,7 @@ (do [! random.monad] [definition ($symbol.random 1 1) amount (# ! each (n.% 5) random.nat) - parameters (random.list amount (random.ascii/lower 2))] + parameters (random.list amount (random.lower_case 2))] (in [/.#definition definition /.#parameters parameters]))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 773744465..0641b4bcd 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -25,14 +25,14 @@ (in /.lua) (in /.python) (in /.ruby))] - (# ! each context (random.ascii/lower 1)))) + (# ! each context (random.lower_case 1)))) (def: .public test Test (<| (_.covering /._) (_.for [/.Context /.Extension]) (do [! random.monad] - [target (random.ascii/lower 1)] + [target (random.lower_case 1)] (all _.and (_.cover [/.js /.jvm /.lua /.python /.ruby] (let [contexts (list (/.js target) diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index 9278a2cbf..46f139850 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -40,16 +40,16 @@ (<| (_.covering /._) (do [! random.monad] [.let [/ .module_separator] - source/0 (random.ascii/lower 1) - source/1 (random.ascii/lower 2) - target (random.ascii/lower 3) + source/0 (random.lower_case 1) + source/1 (random.lower_case 2) + target (random.lower_case 3) .let [random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.ascii/lower 4)))] + (# ! each (text.suffix io.lux_extension) (random.lower_case 4)))] file/0' random_file .let [file/0 (format source/0 / file/0')] - dir/0 (random.ascii/lower 5) + dir/0 (random.lower_case 5) file/1' (# ! each (|>> (format dir/0 /)) random_file) .let [file/1 (format source/1 / file/1')] diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index a88cd53ad..a0710729f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -44,15 +44,15 @@ (<| (_.covering /._) (_.for [/.Import]) (do [! random.monad] - [library/0 (random.ascii/lower 1) - library/1 (random.ascii/lower 2) + [library/0 (random.lower_case 1) + library/1 (random.lower_case 2) .let [/ .module_separator random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.ascii/lower 3)))] + (# ! each (text.suffix io.lux_extension) (random.lower_case 3)))] file/0 random_file - dir/0 (random.ascii/lower 4) + dir/0 (random.lower_case 4) file/1 (# ! each (|>> (format dir/0 /)) random_file) .let [random_content (is (Random Binary) diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index b758a7a01..26217bc46 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -49,7 +49,7 @@ (do [! random.monad] [state random.nat expected random.int - expected_error (random.ascii/lower 1)] + expected_error (random.lower_case 1)] (all _.and (_.cover [/.failure] (|> (/.failure expected_error) diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index 01f967571..337baa5ee 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -25,8 +25,8 @@ (def: constant (Random /.Constant) (all random.and - (random.ascii/upper 5) - (random.ascii/lower 5) + (random.upper_case 5) + (random.lower_case 5) )) (def: .public random diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 2c4eca4c4..1577c6a20 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -212,7 +212,7 @@ true))) (do random.monad [left random.nat - right (random.ascii/lower 1) + right (random.lower_case 1) .let [left,right [left right]]] (_.cover [/.as] (|> left,right diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux index 7e3ce6884..8af42ce34 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/abstract.lux @@ -57,7 +57,7 @@ (<| (_.covering /._) (_.for [/.abstract:]) (do random.monad - [expected_foo (random.ascii/lower 5) + [expected_foo (random.lower_case 5) expected_bar random.nat] (all _.and (_.cover [/.abstraction] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 07d647d77..16861e8cb 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -119,7 +119,7 @@ (def: (primitive_type parameters) (-> Nat (Random Type)) (do random.monad - [primitive (random.ascii/upper 3) + [primitive (random.upper_case 3) parameters (random.list parameters (primitive_type (-- parameters)))] (in {.#Primitive primitive parameters}))) @@ -137,7 +137,7 @@ ex random.nat] (all _.and (do random.monad - [expected (random.ascii/upper 10)] + [expected (random.upper_case 10)] (_.cover [/.failure] (case (/.result /.fresh_context (is (/.Check Any) @@ -145,7 +145,7 @@ {try.#Success _} false {try.#Failure actual} (same? expected actual)))) (do random.monad - [expected (random.ascii/upper 10)] + [expected (random.upper_case 10)] (_.cover [/.assertion] (and (case (/.result /.fresh_context (is (/.Check Any) @@ -207,7 +207,7 @@ {try.#Success verdict} verdict {try.#Failure error} false)) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.bind] (case (/.result /.fresh_context (do /.monad @@ -218,7 +218,7 @@ {try.#Success _} true {try.#Failure error} false))) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.bound?] (and (|> (do /.monad [[var_id var_type] /.var @@ -241,7 +241,7 @@ (/.result /.fresh_context) (try.else false))))) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.cannot_rebind_var] (case (/.result /.fresh_context (do /.monad @@ -256,7 +256,7 @@ {try.#Failure error} (exception.match? /.cannot_rebind_var error)))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) var_id random.nat] (_.cover [/.unknown_type_var] (case (/.result /.fresh_context @@ -268,7 +268,7 @@ {try.#Failure error} (exception.match? /.unknown_type_var error)))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.peek] (and (|> (do /.monad @@ -296,7 +296,7 @@ _ false))))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.read] (case (/.result /.fresh_context @@ -310,7 +310,7 @@ _ false))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.unbound_type_var] (case (/.result /.fresh_context @@ -380,7 +380,7 @@ (def: nominal (Random Type) (do random.monad - [name (random.ascii/upper 10)] + [name (random.upper_case 10)] (in {.#Primitive name (list)}))) (def: (non_twins = random) @@ -662,7 +662,7 @@ Test (do [! random.monad] [nominal ..nominal - [name/0 name/1] (..non_twins text#= (random.ascii/upper 10)) + [name/0 name/1] (..non_twins text#= (random.upper_case 10)) [parameter/0 parameter/1] (..non_twins type#= ..nominal) left_name ..symbol right_name ..symbol @@ -690,8 +690,8 @@ (function.constant {.#Ex id})) random.nat) (do random.monad - [module (random.ascii/upper 10) - short (random.ascii/upper 10) + [module (random.upper_case 10) + short (random.upper_case 10) anonymousT dirty_type] (in (function (_ holeT) {.#Named [module short] (anonymousT holeT)}))) @@ -708,7 +708,7 @@ [.#Apply] )) (do [! random.monad] - [name (random.ascii/upper 10) + [name (random.upper_case 10) parameterT dirty_type] (in (function (_ holeT) {.#Primitive name (list (parameterT holeT))}))) @@ -763,7 +763,7 @@ (def: for_subsumption|nominal (Random Bit) (do random.monad - [primitive (random.ascii/upper 10) + [primitive (random.upper_case 10) example ..clean_type] (in (and (/.subsumes? {.#Primitive primitive (list)} {.#Primitive primitive (list)}) @@ -845,8 +845,8 @@ (def: for_subsumption|named (Random Bit) (do random.monad - [module (random.ascii/upper 10) - short (random.ascii/upper 10) + [module (random.upper_case 10) + short (random.upper_case 10) example ..clean_type] (in (and (/.subsumes? {.#Named [module short] example} example) diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 06963e92d..ebae69a0d 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -55,7 +55,7 @@ (_.for [/.async /.mock /.Mock] ($/.spec (io.io (/.async (/.mock ..mock [false ""]))))) (do random.monad - [expected (random.ascii/alpha 10) + [expected (random.alphabetic 10) .let [console (/.mock ..mock [false ""])]] (_.cover [/.write_line] (io.run! diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index b5d9892ad..c4c8689cd 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -242,8 +242,8 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.ascii/upper 1) - file (random.ascii/lower 1)] + [/ (random.upper_case 1) + file (random.lower_case 1)] (all _.and (_.for [/.mock] ($/.spec (io.io (/.mock /)))) diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 6389dec6f..1243694a5 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -67,7 +67,7 @@ (def: exception Test (do [! random.monad] - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [[fs watcher] (/.mock "/")]] (all _.and (in (do async.monad @@ -158,11 +158,11 @@ ..exception (do [! random.monad] - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [/ "/" [fs watcher] (/.mock /)] expected_path (# ! each (|>> (format directory /)) - (random.ascii/alpha 5)) + (random.alphabetic 5)) data ($binary.random 10)] (in (do [! async.monad] [verdict (do (try.with !) @@ -184,7 +184,7 @@ (_.cover' [/.mock /.polling] (try.else false verdict))))) (do random.monad - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [/ "/" [fs watcher] (/.mock /)]] (in (do async.monad diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index c84bc1502..7ed8fa32d 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -66,7 +66,7 @@ on_options random.nat on_trace random.nat num_headers (# ! each (nat.% 10) random.nat) - headers (random.dictionary text.hash num_headers (random.ascii/lower 3) (random.ascii/lower 3)) + headers (random.dictionary text.hash num_headers (random.lower_case 3) (random.lower_case 3)) .let [mock (is (/.Client IO) (implementation (def: (request method url headers data) diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 2075fd410..d9c04e2ba 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -31,12 +31,12 @@ (def: (environment env_size) (-> Nat (Random Environment)) (random.dictionary text.hash env_size - (random.ascii/alpha 5) - (random.ascii/alpha 5))) + (random.alphabetic 5) + (random.alphabetic 5))) (def: path (Random Path) - (random.ascii/alpha 5)) + (random.alphabetic 5)) (def: .public test Test @@ -47,7 +47,7 @@ home ..path directory ..path - unknown (random.ascii/alpha 1)] + unknown (random.alphabetic 1)] (all _.and (_.for [/.mock /.async] ($/.spec (/.async (/.mock environment home directory)))) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 30d19d53c..6de1d8a38 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -90,10 +90,10 @@ (_.cover [/.error] (not (i.= /.normal /.error))) (do random.monad - [command (random.ascii/alpha 5) - oops (random.ascii/alpha 5) - input (random.ascii/alpha 5) - destruction (random.ascii/alpha 5) + [command (random.alphabetic 5) + oops (random.alphabetic 5) + input (random.alphabetic 5) + destruction (random.alphabetic 5) exit random.int .let [shell (/.async (..io_shell command oops input destruction exit))]] (in (do [! async.monad] |