diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
21 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 9889fa0ae..915260f35 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -55,7 +55,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /._))) - (do r.monad + (do {@ r.monad} [#let [gen-size (|> r.nat (:: @ map (|>> (n.% 100) (n.max 8))))] binary-size gen-size random-binary (binary binary-size) diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index c6dc407eb..5ba6f453f 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -35,7 +35,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Array))) - (do r.monad + (do {@ r.monad} [size bounded-size] ($_ _.and ($equivalence.spec (/.equivalence n.equivalence) (r.array size r.nat)) @@ -43,7 +43,7 @@ ($functor.spec ..injection /.equivalence /.functor) ($fold.spec ..injection /.equivalence /.fold) - (do r.monad + (do @ [size bounded-size original (r.array size r.nat)] ($_ _.and @@ -74,7 +74,7 @@ /.to-list /.from-list (:: (/.equivalence n.equivalence) = original))) )) - (do r.monad + (do @ [size bounded-size idx (:: @ map (n.% size) r.nat) array (|> (r.array size r.nat) @@ -99,7 +99,7 @@ (n.= size (n.+ (/.occupied array) (/.vacant array)))))) )) - (do r.monad + (do @ [size bounded-size array (|> (r.array size r.nat) (r.filter (|>> /.to-list (list.any? n.even?))))] diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 77e346116..60b939645 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -23,7 +23,7 @@ (def: #export bits (Random Bits) - (do r.monad + (do {@ r.monad} [size (size 1 1,000) idx (|> r.nat (:: @ map (n.% size)))] (wrap (|> /.empty (/.set idx))))) @@ -33,7 +33,7 @@ (<| (_.context (%.name (name-of /._))) ($_ _.and ($equivalence.spec /.equivalence ..bits) - (do r.monad + (do {@ r.monad} [size (size 1 1,000) idx (|> r.nat (:: @ map (n.% size))) sample bits] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 19b124c40..f0d7c8222 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -40,7 +40,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Dictionary))) - (do r.monad + (do {@ r.monad} [size (|> r.nat (:: @ map (n.% 100))) keys (r.set n.hash size r.nat) values (r.set n.hash size r.nat) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 954e3f15d..faa3dfda3 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -34,7 +34,7 @@ (def: signatures Test - (do r.monad + (do {@ r.monad} [size bounded-size] ($_ _.and ($equivalence.spec (/.equivalence n.equivalence) (r.list size r.nat)) @@ -65,7 +65,7 @@ (def: #export test Test (<| (_.context (%.name (name-of .List))) - (do r.monad + (do {@ r.monad} [size bounded-size #let [(^open "/@.") (/.equivalence n.equivalence) (^open "/@.") /.functor @@ -180,7 +180,7 @@ (/@map product.left enum-sample)) (/@= sample (/@map product.right enum-sample))))) - (do r.monad + (do @ [from (|> r.nat (:: @ map (n.% 10))) to (|> r.nat (:: @ map (n.% 10)))] (_.test "Ranges can be constructed forward and backwards." diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 64e9c5e56..a636e7164 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -23,7 +23,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Queue))) - (do r.monad + (do {@ r.monad} [size (:: @ map (n.% 100) r.nat) sample (r.queue size r.nat) non-member (|> r.nat diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 78e4bc2b8..7f9b42046 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -15,7 +15,7 @@ (def: #export (queue size) (-> Nat (Random (Queue Nat))) - (do r.monad + (do {@ r.monad} [inputs (r.list size r.nat)] (monad.fold @ (function (_ head tail) (do @ @@ -27,7 +27,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Queue))) - (do r.monad + (do {@ r.monad} [size (|> r.nat (:: @ map (n.% 100))) sample (..queue size) non-member-priority r.nat diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index c6f462825..1c7a5878a 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -27,7 +27,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /._))) - (do r.monad + (do {@ r.monad} [size (|> r.nat (:: @ map (|>> (n.% 100) (n.max 10))))] ($_ _.and ($equivalence.spec (/.equivalence n.equivalence) (r.row size r.nat)) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 6e4f59930..4b204d37a 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -21,7 +21,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Sequence))) - (do r.monad + (do {@ r.monad} [size (|> r.nat (:: @ map (|>> (n.% 100) (n.max 2)))) offset (|> r.nat (:: @ map (n.% 100))) factor (|> r.nat (:: @ map (|>> (n.% 100) (n.max 2)))) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 30ff8f6db..45f73fd27 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -46,7 +46,7 @@ ($_ _.and ($equivalence.spec /.equivalence (..set n.order r.nat size)) )) - (do r.monad + (do {@ r.monad} [sizeL gen-nat sizeR gen-nat listL (|> (r.set n.hash sizeL gen-nat) (:: @ map //.to-list)) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index f42bc4f4d..862c5a973 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -48,7 +48,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Tree))) - (do r.monad + (do {@ r.monad} [size (:: @ map (|>> (n.% 100) (n.+ 1)) r.nat)] ($_ _.and ($equivalence.spec (/.equivalence n.equivalence) (..tree size r.nat)) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 9ed7da62e..74fda6cc1 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -23,7 +23,7 @@ (def: #export test Test (<| (_.context (%.name (name-of /.Zipper))) - (do r.monad + (do {@ r.monad} [size (:: @ map (|>> (n.% 90) (n.+ 10)) r.nat) sample (//.tree size r.nat) mid-val r.nat diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 686edae01..ded118074 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -47,7 +47,7 @@ (def: #export json (Random JSON) (r.rec (function (_ recur) - (do r.monad + (do {@ r.monad} [size (:: @ map (n.% 2) r.nat)] ($_ r.or (:: @ wrap []) diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index a3dc6b0e0..47c16f72d 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -35,7 +35,7 @@ (def: char (Random Nat) - (do r.monad + (do {@ r.monad} [idx (|> r.nat (:: @ map (n.% (text.size char-range))))] (wrap (maybe.assume (text.nth idx char-range))))) @@ -73,7 +73,7 @@ ($equivalence.spec /.equivalence ..xml) ($codec.spec /.equivalence /.codec ..xml) - (do r.monad + (do {@ r.monad} [text (..text 1 10) num-children (|> r.nat (:: @ map (n.% 5))) children (r.list num-children (..text 1 10)) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index 6190ab19a..57eed0237 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -31,7 +31,7 @@ (def: #export test Test (<| (_.context (%.name (name-of .Name))) - (do r.monad + (do {@ r.monad} [## First Name sizeM1 (|> r.nat (:: @ map (n.% 100))) sizeS1 (|> r.nat (:: @ map (|>> (n.% 100) (n.max 1)))) diff --git a/stdlib/source/test/lux/data/number/complex.lux b/stdlib/source/test/lux/data/number/complex.lux index 5890ce0d4..c7131575d 100644 --- a/stdlib/source/test/lux/data/number/complex.lux +++ b/stdlib/source/test/lux/data/number/complex.lux @@ -34,7 +34,7 @@ (def: dimension (Random Frac) - (do r.monad + (do {@ r.monad} [factor (|> r.nat (:: @ map (|>> (n.% 1000) (n.max 1)))) measure (|> r.safe-frac (r.filter (f.> +0.0)))] (wrap (f.* (|> factor .int int.frac) @@ -159,7 +159,7 @@ (def: trigonometry Test - (do r.monad + (do {@ r.monad} [angle (|> ..complex (:: @ map (|>> (update@ #/.real (f.% +1.0)) (update@ #/.imaginary (f.% +1.0)))))] ($_ _.and @@ -183,7 +183,7 @@ (def: root Test - (do r.monad + (do {@ r.monad} [sample ..complex degree (|> r.nat (:: @ map (|>> (n.max 1) (n.% 5))))] (_.test "Can calculate the N roots for any complex number." diff --git a/stdlib/source/test/lux/data/number/i16.lux b/stdlib/source/test/lux/data/number/i16.lux index d44ce68f0..c90b17dc3 100644 --- a/stdlib/source/test/lux/data/number/i16.lux +++ b/stdlib/source/test/lux/data/number/i16.lux @@ -28,7 +28,7 @@ (def: #export test Test (<| (_.context (name.module (name-of /._))) - (do r.monad + (do {@ r.monad} [expected (:: @ map (|>> (//i64.and ..mask) (: I64)) r.i64)] ($_ _.and ($equivalence.spec /.equivalence ..i16) diff --git a/stdlib/source/test/lux/data/number/i32.lux b/stdlib/source/test/lux/data/number/i32.lux index ae7e0ae41..eb643c9d3 100644 --- a/stdlib/source/test/lux/data/number/i32.lux +++ b/stdlib/source/test/lux/data/number/i32.lux @@ -28,7 +28,7 @@ (def: #export test Test (<| (_.context (name.module (name-of /._))) - (do r.monad + (do {@ r.monad} [expected (:: @ map (|>> (//i64.and ..mask) (: I64)) r.i64)] ($_ _.and ($equivalence.spec /.equivalence ..i32) diff --git a/stdlib/source/test/lux/data/number/i64.lux b/stdlib/source/test/lux/data/number/i64.lux index 838746854..4305bf461 100644 --- a/stdlib/source/test/lux/data/number/i64.lux +++ b/stdlib/source/test/lux/data/number/i64.lux @@ -22,7 +22,7 @@ (def: #export test Test (<| (_.context (name.module (name-of /._))) - (do r.monad + (do {@ r.monad} [pattern r.nat idx (:: @ map (//nat.% /.width) r.nat)] ($_ _.and diff --git a/stdlib/source/test/lux/data/number/i8.lux b/stdlib/source/test/lux/data/number/i8.lux index dc4b799fe..7cd4a5149 100644 --- a/stdlib/source/test/lux/data/number/i8.lux +++ b/stdlib/source/test/lux/data/number/i8.lux @@ -28,7 +28,7 @@ (def: #export test Test (<| (_.context (name.module (name-of /._))) - (do r.monad + (do {@ r.monad} [expected (:: @ map (|>> (//i64.and ..mask) (: I64)) r.i64)] ($_ _.and ($equivalence.spec /.equivalence ..i8) diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index b3cd2e735..c10d7a67e 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -32,7 +32,7 @@ ($equivalence.spec /.equivalence (r.ascii 2)) ($order.spec /.order (r.ascii 2)) - (do r.monad + (do {@ r.monad} [size (:: @ map (n.% 10) r.nat) sample (r.unicode size)] ($_ _.and @@ -41,7 +41,7 @@ (_.test "Text with size 0 is considered 'empty'." (or (not (n.= 0 size)) (/.empty? sample))))) - (do r.monad + (do {@ r.monad} [size bounded-size idx (:: @ map (n.% size) r.nat) sample (r.unicode size)] @@ -110,7 +110,7 @@ _ #0))) )) - (do r.monad + (do {@ r.monad} [sizeP bounded-size sizeL bounded-size #let [## The wider unicode charset includes control characters that |