diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/collection/queue.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 99511bab5..2a99ba497 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -27,9 +27,10 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.Queue]) + (_.for [/.Queue + /.#front /.#rear]) (do [! random.monad] - [size (at ! each (n.% 100) random.nat) + [size (of ! each (n.% 100) random.nat) members (random.set n.hash size random.nat) non_member (random.only (|>> (set.member? members) not) random.nat) @@ -43,7 +44,7 @@ (_.coverage [/.of_list /.list] (|> members /.of_list /.list - (at (list.equivalence n.equivalence) = members))) + (of (list.equivalence n.equivalence) = members))) (_.coverage [/.size] (n.= size (/.size sample))) (_.coverage [/.empty?] @@ -54,7 +55,7 @@ all_empty_queues_look_the_same! (bit#= (/.empty? sample) - (at (/.equivalence n.equivalence) = + (of (/.equivalence n.equivalence) = sample /.empty))] (and empty_is_empty! @@ -88,7 +89,7 @@ (/.member? n.equivalence pushed non_member) has_expected_order! - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list#composite (/.list sample) (list non_member)) (/.list pushed))] (and size_increases! @@ -107,7 +108,7 @@ (not (/.member? n.equivalence popped target)) has_expected_order! - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = expected (/.list popped))] (and size_decreases! |