aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-04-08 21:32:38 -0400
committerEduardo Julian2022-04-08 21:32:38 -0400
commit120ebb44dbb1a20fc150e5e58099f90be2e61d49 (patch)
tree32bcc24d1a48989faf4207bbce423c483b9ce1ba /stdlib/source/test
parent0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (diff)
Better names for random text/character generators.
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux2
-rw-r--r--stdlib/source/test/aedifex/cache.lux8
-rw-r--r--stdlib/source/test/aedifex/cli.lux8
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux14
-rw-r--r--stdlib/source/test/aedifex/command/build.lux20
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux2
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux4
-rw-r--r--stdlib/source/test/aedifex/command/install.lux4
-rw-r--r--stdlib/source/test/aedifex/command/test.lux8
-rw-r--r--stdlib/source/test/aedifex/dependency.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux10
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/parser.lux2
-rw-r--r--stdlib/source/test/aedifex/profile.lux40
-rw-r--r--stdlib/source/test/aedifex/project.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux10
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux10
-rw-r--r--stdlib/source/test/aedifex/runtime.lux2
-rw-r--r--stdlib/source/test/lux.lux22
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux34
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux8
-rw-r--r--stdlib/source/test/lux/data/format/json.lux12
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux20
-rw-r--r--stdlib/source/test/lux/data/text.lux14
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux2
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux6
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux10
-rw-r--r--stdlib/source/test/lux/debug.lux8
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux6
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/test/lux/ffi.py.lux2
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux4
-rw-r--r--stdlib/source/test/lux/macro.lux2
-rw-r--r--stdlib/source/test/lux/macro/code.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux2
-rw-r--r--stdlib/source/test/lux/meta.lux100
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux4
-rw-r--r--stdlib/source/test/lux/meta/location.lux4
-rw-r--r--stdlib/source/test/lux/meta/symbol.lux4
-rw-r--r--stdlib/source/test/lux/meta/version.lux2
-rw-r--r--stdlib/source/test/lux/program.lux2
-rw-r--r--stdlib/source/test/lux/static.lux8
-rw-r--r--stdlib/source/test/lux/target/js.lux48
-rw-r--r--stdlib/source/test/lux/target/jvm.lux14
-rw-r--r--stdlib/source/test/lux/target/lua.lux64
-rw-r--r--stdlib/source/test/lux/target/python.lux28
-rw-r--r--stdlib/source/test/lux/target/ruby.lux68
-rw-r--r--stdlib/source/test/lux/test.lux10
-rw-r--r--stdlib/source/test/lux/time/day.lux2
-rw-r--r--stdlib/source/test/lux/time/month.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux20
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux32
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux34
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux22
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/context.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/export.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/import.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/phase.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/reference.lux4
-rw-r--r--stdlib/source/test/lux/type.lux2
-rw-r--r--stdlib/source/test/lux/type/abstract.lux2
-rw-r--r--stdlib/source/test/lux/type/check.lux36
-rw-r--r--stdlib/source/test/lux/world/console.lux2
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux8
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux2
-rw-r--r--stdlib/source/test/lux/world/program.lux8
-rw-r--r--stdlib/source/test/lux/world/shell.lux8
104 files changed, 536 insertions, 536 deletions
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]