aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
authorEduardo Julian2018-05-01 22:13:07 -0400
committerEduardo Julian2018-05-01 22:13:07 -0400
commit9906f649d26adfed5126065082fb4a7d5e4696bb (patch)
tree1a0fa34a6fdb90479cc679580384321c58830a68 /stdlib/test
parentbdf674249b993b1135d59420033a92ba39278fea (diff)
- Re-organized "lux/data/coll/tree/*" modules.
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/data/coll/tree/rose/zipper.lux (renamed from stdlib/test/test/lux/data/coll/tree/zipper.lux)32
-rw-r--r--stdlib/test/tests.lux6
2 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/test/test/lux/data/coll/tree/zipper.lux b/stdlib/test/test/lux/data/coll/tree/rose/zipper.lux
index 7b182a918..ff52e706d 100644
--- a/stdlib/test/test/lux/data/coll/tree/zipper.lux
+++ b/stdlib/test/test/lux/data/coll/tree/rose/zipper.lux
@@ -3,9 +3,9 @@
(lux [io]
(control [monad #+ do Monad]
pipe)
- (data (coll [list "L/" Fold<List> Functor<List>]
- (tree ["&" zipper]
- [rose]))
+ (data (coll [list "list/" Fold<List> Functor<List>]
+ (tree [rose]
+ (rose ["&" zipper])))
[text]
text/format
[number]
@@ -37,7 +37,7 @@
pre-val r.nat
post-val r.nat
#let [(^open "tree/") (rose.Eq<Tree> number.Eq<Nat>)
- (^open "L/") (list.Eq<List> number.Eq<Nat>)]]
+ (^open "list/") (list.Eq<List> number.Eq<Nat>)]]
($_ seq
(test "Trees can be converted to/from zippers."
(|> sample
@@ -98,20 +98,20 @@
(|> sample &.zip (&.set new-val) &.value (n/= new-val)))
(test "Zipper traversal follows the outline of the tree depth-first."
- (L/= (rose.flatten sample)
- (loop [zipper (&.zip sample)]
- (if (&.end? zipper)
- (list (&.value zipper))
- (#.Cons (&.value zipper)
- (recur (&.next zipper)))))))
+ (list/= (rose.flatten sample)
+ (loop [zipper (&.zip sample)]
+ (if (&.end? zipper)
+ (list (&.value zipper))
+ (#.Cons (&.value zipper)
+ (recur (&.next zipper)))))))
(test "Backwards zipper traversal yield reverse tree flatten."
- (L/= (list.reverse (rose.flatten sample))
- (loop [zipper (to-end (&.zip sample))]
- (if (&.root? zipper)
- (list (&.value zipper))
- (#.Cons (&.value zipper)
- (recur (&.prev zipper)))))))
+ (list/= (list.reverse (rose.flatten sample))
+ (loop [zipper (to-end (&.zip sample))]
+ (if (&.root? zipper)
+ (list (&.value zipper))
+ (#.Cons (&.value zipper)
+ (recur (&.prev zipper)))))))
(test "Can remove nodes (except root nodes)."
(let [zipper (&.zip sample)]
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index a25d419bc..71317af18 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -53,8 +53,8 @@
["_." set/ordered]
["_." queue]
(queue ["_." priority])
- (tree ["tree_." rose]
- ["tree_." zipper]))
+ (tree ["_." rose]
+ (rose ["_." zipper])))
(text ["_." format]
["_." lexer]
["_." regex]))
@@ -90,7 +90,7 @@
(format [context]
[html]
[css])
- (coll (tree ["tree_." parser])))
+ (coll (tree ["_." rose/parser])))
[macro]
(macro (poly [json]))
(type [unit]