Outsourced the syntax for labelled type definitions to macros.

1 files changed, 55 insertions, 0 deletions

diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux
new file mode 100644
index 000000000..310073287
--- /dev/null
+++ b/stdlib/source/documentation/lux/data/collection/tree.lux
@@ -0,0 +1,55 @@
+(.module:
+  [library
+   [lux (#- list)
+    ["$" documentation (#+ documentation:)]
+    [control
+     ["<>" parser
+      ["<.>" code]]]
+    [data
+     ["." text (#+ \n)
+      ["%" format (#+ format)]]]
+    [macro
+     ["." template]]]]
+  [\\library
+   ["." /]]
+  ["." / #_
+   ["#." finger]
+   ["#." zipper]])
+
+(documentation: /.Tree
+  "A generic tree data-structure.")
+
+(documentation: /.flat
+  "All the leaf values of the tree, in order."
+  [(flat tree)])
+
+(documentation: /.leaf
+  ""
+  [(leaf value)])
+
+(documentation: /.branch
+  ""
+  [(branch value children)])
+
+(documentation: /.tree
+  "Tree literals."
+  [(: (Tree Nat)
+      (tree 12
+            {34 {}
+             56 {}
+             78 {90 {}}}))])
+
+(.def: .public documentation
+  (.List $.Module)
+  ($.module /._
+            ""
+            [..Tree
+             ..flat
+             ..leaf
+             ..branch
+             ..tree
+             ($.default /.equivalence)
+             ($.default /.functor)
+             ($.default /.mix)]
+            [/finger.documentation
+             /zipper.documentation]))