diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/set.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/set.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 16d7294d8..d4cff2607 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -23,7 +23,7 @@ (def gen_nat (Random Nat) - (at random.monad each (n.% 100) + (of random.monad each (n.% 100) random.nat)) (def .public test @@ -37,7 +37,7 @@ ($equivalence.spec /.equivalence (random.set n.hash size random.nat))) (_.for [/.hash] (|> random.nat - (at random.monad each (|>> list (/.of_list n.hash))) + (of random.monad each (|>> list (/.of_list n.hash))) ($hash.spec /.hash))) (_.for [/.monoid] ($monoid.spec /.equivalence (/.monoid n.hash) (random.set n.hash size random.nat))) @@ -53,7 +53,7 @@ (_.coverage [/.empty] (/.empty? (/.empty n.hash))) (do ! - [hash (at ! each (function (_ constant) + [hash (of ! each (function (_ constant) (is (Hash Nat) (implementation (def equivalence n.equivalence) |