diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/tree')
-rw-r--r-- | stdlib/source/test/lux/data/collection/tree/finger.lux | 64 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/tree/zipper.lux | 2 |
2 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index a9e3d68e6..a2a57629a 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -44,21 +44,21 @@ true)) (_.coverage [/.tag] (and (text#= tag_left - (/.tag (# ..builder leaf tag_left expected_left))) + (/.tag (at ..builder leaf tag_left expected_left))) (text#= (text#composite tag_left tag_right) - (/.tag (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right)))))) + (/.tag (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right)))))) (_.coverage [/.root] - (and (case (/.root (# ..builder leaf tag_left expected_left)) + (and (case (/.root (at ..builder leaf tag_left expected_left)) {.#Left actual} (n.= expected_left actual) {.#Right _} false) - (case (/.root (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right))) + (case (/.root (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right))) {.#Left _} false @@ -73,11 +73,11 @@ false)))) (_.coverage [/.value] (and (n.= expected_left - (/.value (# ..builder leaf tag_left expected_left))) + (/.value (at ..builder leaf tag_left expected_left))) (n.= expected_left - (/.value (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right)))))) + (/.value (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right)))))) (do random.monad [.let [tags_equivalence (list.equivalence text.equivalence) values_equivalence (list.equivalence n.equivalence)] @@ -87,37 +87,37 @@ values/T (random.list 5 random.nat)] (_.coverage [/.tags /.values] (let [tree (list#mix (function (_ [tag value] tree) - (# builder branch tree (# builder leaf tag value))) - (# builder leaf tags/H values/H) + (at builder branch tree (at builder leaf tag value))) + (at builder leaf tags/H values/H) (list.zipped_2 tags/T values/T))] - (and (# tags_equivalence = (partial_list tags/H tags/T) (/.tags tree)) - (# values_equivalence = (partial_list values/H values/T) (/.values tree)))))) + (and (at tags_equivalence = (partial_list tags/H tags/T) (/.tags tree)) + (at values_equivalence = (partial_list values/H values/T) (/.values tree)))))) (_.coverage [/.one] (let [can_find_correct_one! - (|> (# ..builder leaf tag_left expected_left) + (|> (at ..builder leaf tag_left expected_left) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false)) cannot_find_incorrect_one! - (|> (# ..builder leaf tag_right expected_right) + (|> (at ..builder leaf tag_right expected_right) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false) not) can_find_left! - (|> (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right)) + (|> (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right)) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false)) can_find_right! - (|> (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right)) + (|> (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right)) (/.one (text.contains? tag_right)) (maybe#each (n.= expected_right)) (maybe.else false))] @@ -128,23 +128,23 @@ (_.coverage [/.exists?] (let [can_find_correct_one! (/.exists? (text.contains? tag_left) - (# ..builder leaf tag_left expected_left)) + (at ..builder leaf tag_left expected_left)) cannot_find_incorrect_one! (not (/.exists? (text.contains? tag_left) - (# ..builder leaf tag_right expected_right))) + (at ..builder leaf tag_right expected_right))) can_find_left! (/.exists? (text.contains? tag_left) - (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right))) + (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right))) can_find_right! (/.exists? (text.contains? tag_right) - (# ..builder branch - (# ..builder leaf tag_left expected_left) - (# ..builder leaf tag_right expected_right)))] + (at ..builder branch + (at ..builder leaf tag_left expected_left) + (at ..builder leaf tag_right expected_right)))] (and can_find_correct_one! cannot_find_incorrect_one! can_find_left! diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 4a2bbac26..eb4a1c553 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -163,7 +163,7 @@ (open "list#[0]") (list.equivalence n.equivalence)]] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (# ! each (|>> product.right /.zipper) (//.tree random.nat)))) + ($equivalence.spec (/.equivalence n.equivalence) (at ! each (|>> product.right /.zipper) (//.tree random.nat)))) (_.for [/.functor] ($functor.spec (|>> tree.leaf /.zipper) /.equivalence /.functor)) (_.for [/.comonad] |