aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/collection/list/property.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data/collection/list/property.lux')
-rw-r--r--stdlib/source/test/lux/data/collection/list/property.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux
index fa8161e16..719a17179 100644
--- a/stdlib/source/test/lux/data/collection/list/property.lux
+++ b/stdlib/source/test/lux/data/collection/list/property.lux
@@ -37,7 +37,7 @@
(_.for [/.List])
(do [! random.monad]
[.let [gen_key (random.alphabetic 10)]
- size (at ! each (n.% 100) random.nat)
+ size (of ! each (n.% 100) random.nat)
sample (..random size gen_key random.nat)
.let [keys (|> sample /.keys (set.of_list text.hash))]
@@ -62,7 +62,7 @@
(_.coverage [/.empty]
(/.empty? /.empty))
(_.coverage [/.keys /.values]
- (at (/.equivalence n.equivalence) =
+ (of (/.equivalence n.equivalence) =
sample
(list.zipped_2 (/.keys sample)
(/.values sample))))
@@ -94,5 +94,5 @@
(|> sample
(/.has extra_key extra_value)
(/.lacks extra_key)
- (at (/.equivalence n.equivalence) = sample)))
+ (of (/.equivalence n.equivalence) = sample)))
))))