diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/array.lux | 8 |
1 files changed, 4 insertions, 4 deletions
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?))))] |