Some bug fixes.

1 files changed, 39 insertions, 0 deletions

diff --git a/stdlib/source/documentation/lux/control/writer.lux b/stdlib/source/documentation/lux/control/writer.lux
new file mode 100644
index 000000000..99cbe0463
--- /dev/null
+++ b/stdlib/source/documentation/lux/control/writer.lux
@@ -0,0 +1,39 @@
+(.module:
+  [library
+   [lux (#- local)
+    ["$" documentation (#+ documentation:)]
+    [data
+     [text (#+ \n)
+      ["%" format (#+ format)]]]
+    [macro
+     ["." template]]]]
+  [\\library
+   ["." /]])
+
+(documentation: /.Writer
+  "Represents a value with an associated 'log' to record arbitrary information.")
+
+(documentation: /.write
+  "Write a value to the log."
+  [(write message)])
+
+(documentation: /.with
+  "Enhances a monad with Writer functionality."
+  [(with monoid monad)])
+
+(documentation: /.lifted
+  "Wraps a monadic value with Writer machinery."
+  [(lifted monoid monad)])
+
+(.def: .public documentation
+  (.List $.Module)
+  ($.module /._
+            ""
+            [..Writer
+             ..write
+             ..with
+             ..lifted
+             ($.default /.functor)
+             ($.default /.apply)
+             ($.default /.monad)]
+            []))