aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/collection/tree
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux24
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux40
3 files changed, 36 insertions, 36 deletions
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index a263b2451..ea58f8f72 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -47,15 +47,15 @@
(do random.monad
[[size sample] (..tree random.nat)]
- (_.cover [/.flatten]
+ (_.cover [/.flat]
(n.= size
- (list.size (/.flatten sample)))))
+ (list.size (/.flat sample)))))
(do random.monad
[expected random.nat]
(_.cover [/.leaf]
(\ (list.equivalence n.equivalence) =
(list expected)
- (/.flatten (/.leaf expected)))))
+ (/.flat (/.leaf expected)))))
(do {! random.monad}
[value random.nat
num_children (\ ! map (n.% 3) random.nat)
@@ -63,7 +63,7 @@
(_.cover [/.branch]
(\ (list.equivalence n.equivalence) =
(list& value children)
- (/.flatten (/.branch value (list\map /.leaf children))))))
+ (/.flat (/.branch value (list\map /.leaf children))))))
(do random.monad
[expected/0 random.nat
expected/1 random.nat
@@ -74,18 +74,18 @@
(_.cover [/.tree]
(and (\ (list.equivalence n.equivalence) =
(list expected/0)
- (/.flatten (/.tree expected/0)))
+ (/.flat (/.tree expected/0)))
(\ (list.equivalence n.equivalence) =
(list expected/0 expected/1 expected/2)
- (/.flatten (/.tree expected/0
- {expected/1 {}
- expected/2 {}})))
+ (/.flat (/.tree expected/0
+ {expected/1 {}
+ expected/2 {}})))
(\ (list.equivalence n.equivalence) =
(list expected/0 expected/1 expected/2
expected/3 expected/4 expected/5)
- (/.flatten (/.tree expected/0
- {expected/1 {}
- expected/2 {expected/3 {}
- expected/4 {expected/5 {}}}})))
+ (/.flat (/.tree expected/0
+ {expected/1 {}
+ expected/2 {expected/3 {}
+ expected/4 {expected/5 {}}}})))
)))
)))
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index d14c4d27f..496c25865 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -96,13 +96,13 @@
(|> (\ ..builder leaf tag_left expected_left)
(/.one (text.contains? tag_left))
(maybe\map (n.= expected_left))
- (maybe.default false))
+ (maybe.else false))
cannot_find_incorrect_one!
(|> (\ ..builder leaf tag_right expected_right)
(/.one (text.contains? tag_left))
(maybe\map (n.= expected_left))
- (maybe.default false)
+ (maybe.else false)
not)
can_find_left!
@@ -111,7 +111,7 @@
(\ ..builder leaf tag_right expected_right))
(/.one (text.contains? tag_left))
(maybe\map (n.= expected_left))
- (maybe.default false))
+ (maybe.else false))
can_find_right!
(|> (\ ..builder branch
@@ -119,7 +119,7 @@
(\ ..builder leaf tag_right expected_right))
(/.one (text.contains? tag_right))
(maybe\map (n.= expected_right))
- (maybe.default false))]
+ (maybe.else false))]
(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 df7333db5..749a8c59b 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -37,7 +37,7 @@
(do> maybe.monad
[/.down]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.up]
(|> (tree.branch expected (list (tree.leaf dummy)))
/.zipper
@@ -45,7 +45,7 @@
[/.down]
[/.up]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.right]
(|> (tree.branch dummy (list (tree.leaf dummy) (tree.leaf expected)))
/.zipper
@@ -53,7 +53,7 @@
[/.down]
[/.right]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.rightmost]
(|> (tree.branch dummy
(list (tree.leaf dummy)
@@ -65,7 +65,7 @@
[/.down]
[/.rightmost]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.left]
(|> (tree.branch dummy (list (tree.leaf expected) (tree.leaf dummy)))
/.zipper
@@ -74,7 +74,7 @@
[/.right]
[/.left]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.leftmost]
(|> (tree.branch dummy
(list (tree.leaf expected)
@@ -87,7 +87,7 @@
[/.rightmost]
[/.leftmost]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.next]
(and (|> (tree.branch dummy
(list (tree.leaf expected)
@@ -96,7 +96,7 @@
(do> maybe.monad
[/.next]
[/.value (n.= expected) in])
- (maybe.default false))
+ (maybe.else false))
(|> (tree.branch dummy
(list (tree.leaf dummy)
(tree.leaf expected)))
@@ -105,7 +105,7 @@
[/.next]
[/.next]
[/.value (n.= expected) in])
- (maybe.default false))))
+ (maybe.else false))))
(_.cover [/.end]
(|> (tree.branch dummy
(list (tree.leaf dummy)
@@ -116,7 +116,7 @@
(do> maybe.monad
[/.end]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.start]
(|> (tree.branch expected
(list (tree.leaf dummy)
@@ -128,7 +128,7 @@
[/.end]
[/.start]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.previous]
(and (|> (tree.branch expected
(list (tree.leaf dummy)
@@ -138,7 +138,7 @@
[/.next]
[/.previous]
[/.value (n.= expected) in])
- (maybe.default false))
+ (maybe.else false))
(|> (tree.branch dummy
(list (tree.leaf expected)
(tree.leaf dummy)))
@@ -148,7 +148,7 @@
[/.next]
[/.previous]
[/.value (n.= expected) in])
- (maybe.default false))))
+ (maybe.else false))))
)))
(def: #export test
@@ -198,7 +198,7 @@
/.zipper
/.end
(maybe\map /.end?)
- (maybe.default false))))
+ (maybe.else false))))
(_.cover [/.interpose]
(let [cursor (|> (tree.branch dummy (list (tree.leaf dummy)))
/.zipper
@@ -208,13 +208,13 @@
(do> maybe.monad
[/.down]
[/.value (n.= expected) in])
- (maybe.default false))
+ (maybe.else false))
(|> cursor
(do> maybe.monad
[/.down]
[/.down]
[/.value (n.= dummy) in])
- (maybe.default false)))))
+ (maybe.else false)))))
(_.cover [/.adopt]
(let [cursor (|> (tree.branch dummy (list (tree.leaf dummy)))
/.zipper
@@ -224,13 +224,13 @@
(do> maybe.monad
[/.down]
[/.value (n.= expected) in])
- (maybe.default false))
+ (maybe.else false))
(|> cursor
(do> maybe.monad
[/.down]
[/.right]
[/.value (n.= dummy) in])
- (maybe.default false)))))
+ (maybe.else false)))))
(_.cover [/.insert_left]
(|> (tree.branch dummy (list (tree.leaf dummy)))
/.zipper
@@ -239,7 +239,7 @@
[(/.insert_left expected)]
[/.left]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.insert_right]
(|> (tree.branch dummy (list (tree.leaf dummy)))
/.zipper
@@ -248,7 +248,7 @@
[(/.insert_right expected)]
[/.right]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
(_.cover [/.remove]
(|> (tree.branch dummy (list (tree.leaf dummy)))
/.zipper
@@ -257,5 +257,5 @@
[(/.insert_left expected)]
[/.remove]
[/.value (n.= expected) in])
- (maybe.default false)))
+ (maybe.else false)))
))))
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 01:04:30 +0000