From e6afba3e17f03ed0652d18a26d0f3c053a49e7a5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 19 Sep 2017 19:17:37 -0400
Subject: - Tree parsing.

---
 stdlib/test/test/lux/data/coll/tree/zipper.lux | 73 +++++++++++++-------------
 stdlib/test/tests.lux                          | 11 ++--
 2 files changed, 42 insertions(+), 42 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/data/coll/tree/zipper.lux b/stdlib/test/test/lux/data/coll/tree/zipper.lux
index b7936b140..9154459b9 100644
--- a/stdlib/test/test/lux/data/coll/tree/zipper.lux
+++ b/stdlib/test/test/lux/data/coll/tree/zipper.lux
@@ -3,23 +3,23 @@
   (lux [io]
        (control [monad #+ do Monad]
                 pipe)
-       (data (coll [list "List/" Fold<List> Functor<List>]
+       (data (coll [list "L/" Fold<List> Functor<List>]
                    (tree ["&" zipper]
                          [rose]))
-             [text "Text/" Monoid<Text>]
+             [text]
              text/format
              [number])
-       ["R" math/random])
+       ["r" math/random])
   lux/test)
 
 (def: gen-tree
-  (R;Random (rose;Tree Nat))
-  (R;rec (function [gen-tree]
-           (do R;Monad<Random>
+  (r;Random (rose;Tree Nat))
+  (r;rec (function [gen-tree]
+           (do r;Monad<Random>
              ## Each branch can have, at most, 1 child.
-             [size (|> R;nat (:: @ map (n.% +2)))]
-             (R;seq R;nat
-                    (R;list size gen-tree))))))
+             [size (|> r;nat (:: @ map (n.% +2)))]
+             (r;seq r;nat
+                    (r;list size gen-tree))))))
 
 (def: (to-end zipper)
   (All [a] (-> (&;Zipper a) (&;Zipper a)))
@@ -28,35 +28,34 @@
       zipper
       (recur (&;next zipper)))))
 
-(context: "Zippers"
+(context: "Zippers."
   [sample gen-tree
-   new-val R;nat
-   pre-val R;nat
-   post-val R;nat
-   #let [(^open "Tree/") (rose;Eq<Tree> number;Eq<Nat>)
-         (^open "List/") (list;Eq<List> number;Eq<Nat>)]]
+   new-val r;nat
+   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>)]]
   ($_ seq
       (test "Trees can be converted to/from zippers."
             (|> sample
-                &;from-tree &;to-tree
-                (Tree/= sample)))
+                &;zip &;unzip
+                (tree/= sample)))
 
       (test "Creating a zipper gives you a root node."
-            (|> sample &;from-tree &;root?))
+            (|> sample &;zip &;root?))
       
       (test "Can move down inside branches. Can move up from lower nodes."
-            (let [zipper (&;from-tree sample)]
+            (let [zipper (&;zip sample)]
               (if (&;branch? zipper)
                 (let [child (|> zipper &;down)]
-                  (and (not (Tree/= sample (&;to-tree child)))
-                       (|> child &;parent (default (undefined)) (is zipper))
+                  (and (not (tree/= sample (&;unzip child)))
                        (|> child &;up (is zipper) not)
                        (|> child &;root (is zipper) not)))
                 (and (&;leaf? zipper)
                      (|> zipper (&;prepend-child new-val) &;branch?)))))
 
       (test "Can prepend and append children."
-            (let [zipper (&;from-tree sample)]
+            (let [zipper (&;zip sample)]
               (if (&;branch? zipper)
                 (let [mid-val (|> zipper &;down &;value)
                       zipper (|> zipper
@@ -71,7 +70,7 @@
                 true)))
 
       (test "Can insert children around a node (unless it's root)."
-            (let [zipper (&;from-tree sample)]
+            (let [zipper (&;zip sample)]
               (if (&;branch? zipper)
                 (let [mid-val (|> zipper &;down &;value)
                       zipper (|> zipper
@@ -93,26 +92,26 @@
                                                                  #;None     true))))))
       
       (test "Can set and update the value of a node."
-            (|> sample &;from-tree (&;set new-val) &;value (n.= new-val)))
+            (|> sample &;zip (&;set new-val) &;value (n.= new-val)))
 
       (test "Zipper traversal follows the outline of the tree depth-first."
-            (List/= (rose;flatten sample)
-                    (loop [zipper (&;from-tree sample)]
-                      (if (&;end? zipper)
-                        (list (&;value zipper))
-                        (#;Cons (&;value zipper)
-                                (recur (&;next zipper)))))))
+            (L/= (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."
-            (List/= (list;reverse (rose;flatten sample))
-                    (loop [zipper (to-end (&;from-tree sample))]
-                      (if (&;root? zipper)
-                        (list (&;value zipper))
-                        (#;Cons (&;value zipper)
-                                (recur (&;prev zipper)))))))
+            (L/= (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 (&;from-tree sample)]
+            (let [zipper (&;zip sample)]
               (if (&;branch? zipper)
                 (and (|> zipper &;down &;root? not)
                      (|> zipper &;down &;remove (case> #;None false
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 598c488fd..62683aea5 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -52,10 +52,10 @@
                          ["_;" seq]
                          ["_;" priority-queue]
                          ["_;" stream]
-                         (tree ["_;" rose]
-                               ["_;" zipper])
-                         (ordered ["_o;" dict]
-                                  ["_o;" set]))
+                         (tree ["tree_;" rose]
+                               ["tree_;" zipper])
+                         (ordered ["ordered_;" dict]
+                                  ["ordered_;" set]))
                    (text ["_;" format]
                          ["_;" lexer]
                          ["_;" regex]))
@@ -85,7 +85,8 @@
              [tainted]
              (format [context]
                      [html]
-                     [css]))
+                     [css])
+             (coll (tree ["tree_;" parser])))
        [macro]
        (math [random])
        (type [unit])
-- 
cgit v1.2.3