diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/tree/finger.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/tree/finger.lux | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index ff6e1b62f..85d7cd123 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -45,21 +45,21 @@ true)) (_.coverage [/.tag] (and (text#= tag_left - (/.tag (at ..builder leaf tag_left expected_left))) + (/.tag (of ..builder leaf tag_left expected_left))) (text#= (text#composite tag_left tag_right) - (/.tag (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right)))))) + (/.tag (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right)))))) (_.coverage [/.root] - (and (when (/.root (at ..builder leaf tag_left expected_left)) + (and (when (/.root (of ..builder leaf tag_left expected_left)) {.#Left actual} (n.= expected_left actual) {.#Right _} false) - (when (/.root (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right))) + (when (/.root (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right))) {.#Left _} false @@ -74,11 +74,11 @@ false)))) (_.coverage [/.value] (and (n.= expected_left - (/.value (at ..builder leaf tag_left expected_left))) + (/.value (of ..builder leaf tag_left expected_left))) (n.= expected_left - (/.value (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right)))))) + (/.value (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right)))))) (do random.monad [.let [tags_equivalence (list.equivalence text.equivalence) values_equivalence (list.equivalence n.equivalence)] @@ -88,37 +88,37 @@ values/T (random.list 5 random.nat)] (_.coverage [/.tags /.values] (let [tree (list#mix (function (_ [tag value] tree) - (at builder branch tree (at builder leaf tag value))) - (at builder leaf tags/H values/H) + (of builder branch tree (of builder leaf tag value))) + (of builder leaf tags/H values/H) (list.zipped_2 tags/T values/T))] - (and (at tags_equivalence = (list.partial tags/H tags/T) (/.tags tree)) - (at values_equivalence = (list.partial values/H values/T) (/.values tree)))))) + (and (of tags_equivalence = (list.partial tags/H tags/T) (/.tags tree)) + (of values_equivalence = (list.partial values/H values/T) (/.values tree)))))) (_.coverage [/.one] (let [can_find_correct_one! - (|> (at ..builder leaf tag_left expected_left) + (|> (of ..builder leaf tag_left expected_left) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false)) cannot_find_incorrect_one! - (|> (at ..builder leaf tag_right expected_right) + (|> (of ..builder leaf tag_right expected_right) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false) not) can_find_left! - (|> (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right)) + (|> (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right)) (/.one (text.contains? tag_left)) (maybe#each (n.= expected_left)) (maybe.else false)) can_find_right! - (|> (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right)) + (|> (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right)) (/.one (text.contains? tag_right)) (maybe#each (n.= expected_right)) (maybe.else false))] @@ -129,23 +129,23 @@ (_.coverage [/.exists?] (let [can_find_correct_one! (/.exists? (text.contains? tag_left) - (at ..builder leaf tag_left expected_left)) + (of ..builder leaf tag_left expected_left)) cannot_find_incorrect_one! (not (/.exists? (text.contains? tag_left) - (at ..builder leaf tag_right expected_right))) + (of ..builder leaf tag_right expected_right))) can_find_left! (/.exists? (text.contains? tag_left) - (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right))) + (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right))) can_find_right! (/.exists? (text.contains? tag_right) - (at ..builder branch - (at ..builder leaf tag_left expected_left) - (at ..builder leaf tag_right expected_right)))] + (of ..builder branch + (of ..builder leaf tag_left expected_left) + (of ..builder leaf tag_right expected_right)))] (and can_find_correct_one! cannot_find_incorrect_one! can_find_left! |