(.require
 [library
  [lux (.except)
   ["$" documentation]
   [data
    ["[0]" text (.only \n)
     ["%" \\format (.only format)]]]]]
 [\\library
  ["[0]" /]])

(def .public documentation
  (.List $.Documentation)
  (list ($.module /._
                  "")

        ($.definition /.equivalence)
        ($.definition /.zipper)
        ($.definition /.tree)
        ($.definition /.value)
        ($.definition /.leaf?)
        ($.definition /.branch?)
        ($.definition /.start?)
        ($.definition /.down)
        ($.definition /.up)
        ($.definition /.right)
        ($.definition /.rightmost)
        ($.definition /.left)
        ($.definition /.leftmost)
        ($.definition /.next)
        ($.definition /.previous)
        ($.definition /.end)
        ($.definition /.start)
        ($.definition /.end?)
        ($.definition /.remove)
        ($.definition /.insert_left)
        ($.definition /.insert_right)
        ($.definition /.functor)
        ($.definition /.comonad)

        ($.definition (/.Zipper it)
          "Tree zippers, for easy navigation and editing of trees.")

        ($.definition /.set
          ""
          [(set value zipper)])

        ($.definition /.update
          ""
          [(update transform zipper)])

        ($.definition /.interpose
          ""
          [(interpose value zipper)])

        ($.definition /.adopt
          ""
          [(adopt value zipper)])
        ))
