diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/set/multi.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/multi.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 0cabf93c6..6a05d80c9 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -21,11 +21,11 @@ [\\library ["[0]" /]]) -(def: count +(def count (Random Nat) (at random.monad each (|>> (n.% 10) ++) random.nat)) -(def: .public (random size hash count element) +(def .public (random size hash count element) (All (_ a) (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a)))) (do [! random.monad] [elements (random.set hash size element) @@ -36,7 +36,7 @@ (list.zipped_2 element_counts (set.list elements)))))) -(def: signature +(def signature Test (do [! random.monad] [diversity (at ! each (n.% 10) random.nat)] @@ -50,7 +50,7 @@ ($hash.spec /.hash))) ))) -(def: composition +(def composition Test (do [! random.monad] [diversity (at ! each (n.% 10) random.nat) @@ -108,7 +108,7 @@ common_changes!))) )))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Set]) |