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

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.functor)
             ($.default /.apply)
             ($.default /.monad)

             ($.definition (/.Writer log value)
               "Represents a value with an associated 'log' to record arbitrary information.")

             ($.definition /.write
               "Write a value to the log."
               [(write message)])

             ($.definition /.with
               "Enhances a monad with Writer functionality."
               [(with monoid monad)])

             ($.definition /.lifted
               "Wraps a monadic value with Writer machinery."
               [(lifted monoid monad)])]
            []))