diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/queue.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/queue.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index a67697de2..460c64618 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -28,7 +28,7 @@ (<| (_.covering /._) (_.for [/.Queue]) (do [! random.monad] - [size (# ! each (n.% 100) random.nat) + [size (at ! each (n.% 100) random.nat) members (random.set n.hash size random.nat) non_member (random.only (|>> (set.member? members) not) random.nat) @@ -42,7 +42,7 @@ (_.coverage [/.of_list /.list] (|> members /.of_list /.list - (# (list.equivalence n.equivalence) = members))) + (at (list.equivalence n.equivalence) = members))) (_.coverage [/.size] (n.= size (/.size sample))) (_.coverage [/.empty?] @@ -53,9 +53,9 @@ all_empty_queues_look_the_same! (bit#= (/.empty? sample) - (# (/.equivalence n.equivalence) = - sample - /.empty))] + (at (/.equivalence n.equivalence) = + sample + /.empty))] (and empty_is_empty! all_empty_queues_look_the_same!))) (_.coverage [/.front] @@ -87,9 +87,9 @@ (/.member? n.equivalence pushed non_member) has_expected_order! - (# (list.equivalence n.equivalence) = - (list#composite (/.list sample) (list non_member)) - (/.list pushed))] + (at (list.equivalence n.equivalence) = + (list#composite (/.list sample) (list non_member)) + (/.list pushed))] (and size_increases! new_member_is_identified! has_expected_order!))) @@ -106,9 +106,9 @@ (not (/.member? n.equivalence popped target)) has_expected_order! - (# (list.equivalence n.equivalence) = - expected - (/.list popped))] + (at (list.equivalence n.equivalence) = + expected + (/.list popped))] (and size_decreases! popped_member_is_not_identified! has_expected_order!)) |