diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/text.lux | 12 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/buffer.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/encoding.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/escape.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/format.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/unicode/block.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/unicode/set.lux | 4 |
7 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 509cb5769..b5d8b740e 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -38,7 +38,7 @@ (def: size Test - (do {! random.monad} + (do [! random.monad] [size (\ ! each (n.% 10) random.nat) sample (random.unicode size)] ($_ _.and @@ -50,7 +50,7 @@ (def: affix Test - (do {! random.monad} + (do [! random.monad] [inner (random.unicode 1) outer (random.only (|>> (\ /.equivalence = inner) not) (random.unicode 1)) @@ -79,7 +79,7 @@ (def: index Test - (do {! random.monad} + (do [! random.monad] [inner (random.unicode 1) outer (random.only (|>> (\ /.equivalence = inner) not) (random.unicode 1)) @@ -145,7 +145,7 @@ (_.cover [/.line_feed] (\ /.equivalence = /.new_line /.line_feed)) ))) - (do {! random.monad} + (do [! random.monad] [size (\ ! each (|>> (n.% 10) ++) random.nat) characters (random.set /.hash size (random.ascii/alpha 1)) .let [sample (|> characters set.list /.together)] @@ -177,7 +177,7 @@ (def: manipulation Test - (do {! random.monad} + (do [! random.monad] [size (\ ! each (|>> (n.% 10) (n.+ 2)) random.nat) characters (random.set /.hash size (random.ascii/alpha 1)) separator (random.only (|>> (set.member? characters) not) @@ -311,7 +311,7 @@ _ #0))) )) - (do {! random.monad} + (do [! random.monad] [sizeP bounded_size sizeL bounded_size .let [... The wider unicode charset includes control characters that diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 28e82be88..ad98c2f75 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -16,7 +16,7 @@ (def: part (Random Text) - (do {! random.monad} + (do [! random.monad] [size (\ ! each (|>> (n.% 10) ++) random.nat)] (random.ascii/alpha size))) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 8ebeb97f6..927375cb3 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -213,7 +213,7 @@ (def: .public random (Random /.Encoding) (let [options (list.size ..all_encodings)] - (do {! random.monad} + (do [! random.monad] [choice (\ ! each (n.% options) random.nat)] (in (maybe.trusted (list.item choice ..all_encodings)))))) diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 18c60e2f3..4f1b8ed75 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -112,7 +112,7 @@ (#try.Failure error) false)) (text\= expected (/.escaped expected)))))) - (do {! random.monad} + (do [! random.monad] [dummy (|> (random.char unicode.character) (\ ! each text.of_char))] (_.cover [/.dangling_escape] @@ -122,7 +122,7 @@ (#try.Failure error) (exception.match? /.dangling_escape error)))) - (do {! random.monad} + (do [! random.monad] [dummy (|> (random.char unicode.character) (random.only (|>> (set.member? ..valid_sigils) not)) (\ ! each text.of_char))] @@ -133,7 +133,7 @@ (#try.Failure error) (exception.match? /.invalid_escape error)))) - (do {! random.monad} + (do [! random.monad] [too_short (|> (random.char unicode.character) (\ ! each (n.% (hex "1000")))) code (|> (random.unicode 4) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index e5b6968e0..e5f13ad69 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -173,7 +173,7 @@ (#.Some value) (text.contains? (/.nat value) (/.maybe /.nat sample))))) - (do {! random.monad} + (do [! random.monad] [modulus (random.one (|>> modulus.modulus try.maybe) random.int) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 4f9f27295..d127651e7 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -24,7 +24,7 @@ (def: .public random (Random /.Block) - (do {! random.monad} + (do [! random.monad] [start (\ ! each (n.% 1,000,000) random.nat) additional (\ ! each (n.% 1,000,000) random.nat)] (in (/.block start additional)))) @@ -169,7 +169,7 @@ Test (<| (_.covering /._) (_.for [/.Block]) - (do {! random.monad} + (do [! random.monad] [.let [top_start (hex "AC00") top_end (hex "D7AF") end_range (n.- top_start top_end)] diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index db18d9b7d..ef5b66720 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -25,7 +25,7 @@ (def: .public random (Random /.Set) - (do {! random.monad} + (do [! random.monad] [left //block.random right //block.random] (in (/.set [left (list right)])))) @@ -34,7 +34,7 @@ Test (<| (_.covering /._) (_.for [/.Set]) - (do {! random.monad} + (do [! random.monad] [block //block.random inside (\ ! each (|>> (n.% (block.size block)) |