diff options
Diffstat (limited to 'stdlib/source/library/lux/control/writer.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/writer.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/control/writer.lux b/stdlib/source/library/lux/control/writer.lux index ee5c15ee8..b4ea701cb 100644 --- a/stdlib/source/library/lux/control/writer.lux +++ b/stdlib/source/library/lux/control/writer.lux @@ -8,17 +8,17 @@ ["." functor (#+ Functor)] ["." monad (#+ Monad do)]]]]) -(type: #export (Writer l a) +(type: .public (Writer l a) {#.doc "Represents a value with an associated 'log' value to record arbitrary information."} {#log l #value a}) -(def: #export (write l) +(def: .public (write l) {#.doc "Set the log to a particular value."} (All [l] (-> l (Writer l Any))) [l []]) -(implementation: #export functor +(implementation: .public functor (All [l] (Functor (Writer l))) @@ -26,7 +26,7 @@ (let [[log datum] fa] [log (f datum)]))) -(implementation: #export (apply monoid) +(implementation: .public (apply monoid) (All [l] (-> (Monoid l) (Apply (Writer l)))) @@ -37,7 +37,7 @@ [log2 a] fa] [(\ monoid compose log1 log2) (f a)]))) -(implementation: #export (monad monoid) +(implementation: .public (monad monoid) (All [l] (-> (Monoid l) (Monad (Writer l)))) @@ -50,7 +50,7 @@ (let [[log1 [log2 a]] mma] [(\ monoid compose log1 log2) a]))) -(implementation: #export (with monoid monad) +(implementation: .public (with monoid monad) {#.doc (doc "Enhances a monad with Writer functionality.")} (All [l M] (-> (Monoid l) (Monad M) (Monad (All [a] (M (Writer l a)))))) @@ -72,7 +72,7 @@ [l2 a] Mla] (in [(\ monoid compose l1 l2) a])))) -(def: #export (lift monoid monad) +(def: .public (lift monoid monad) {#.doc (doc "Wraps a monadic value with Writer machinery.")} (All [l M a] (-> (Monoid l) (Monad M) |