diff options
author | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
commit | 9f6505491e8a5c8a159ce094fe0af6f4fef0c5cf (patch) | |
tree | d497c163e477406a388460eedea80fdd6ee9748a /stdlib/source/documentation/lux/control/writer.lux | |
parent | 3053fd79bc6ae42415298ee056a268dc2c9b690c (diff) |
Re-named "format/lux/data/binary.Writer" to "Format".
Diffstat (limited to 'stdlib/source/documentation/lux/control/writer.lux')
-rw-r--r-- | stdlib/source/documentation/lux/control/writer.lux | 40 |
1 files changed, 18 insertions, 22 deletions
diff --git a/stdlib/source/documentation/lux/control/writer.lux b/stdlib/source/documentation/lux/control/writer.lux index e22842527..b824174ec 100644 --- a/stdlib/source/documentation/lux/control/writer.lux +++ b/stdlib/source/documentation/lux/control/writer.lux @@ -1,7 +1,7 @@ (.require [library [lux (.except local) - ["$" documentation (.only documentation:)] + ["$" documentation] [data [text (.only \n) ["%" \\format (.only format)]]] @@ -10,30 +10,26 @@ [\\library ["[0]" /]]) -(documentation: (/.Writer log value) - "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 /.functor) ($.default /.apply) - ($.default /.monad)] + ($.default /.monad) + + ($.documentation (/.Writer log value) + "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)])] [])) |