diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/writer.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/control/writer.lux b/stdlib/source/lux/control/writer.lux index 10da747c9..d8785af46 100644 --- a/stdlib/source/lux/control/writer.lux +++ b/stdlib/source/lux/control/writer.lux @@ -21,12 +21,12 @@ (def: functor Functor<Writer>) (def: (wrap x) - [(:: mon unit) x]) + [(:: mon identity) x]) (def: (apply ff fa) (let [[log1 f] ff [log2 a] fa] - [(:: mon append log1 log2) (f a)]))) + [(:: mon compose log1 log2) (f a)]))) (struct: #export (Monad<Writer> mon) (All [l] (-> (Monoid l) (Monad (Writer l)))) @@ -34,7 +34,7 @@ (def: (join mma) (let [[log1 [log2 a]] mma] - [(:: mon append log1 log2) a]))) + [(:: mon compose log1 log2) a]))) (def: #export (log l) {#;doc "Set the log to a particular value."} @@ -49,11 +49,11 @@ [[l1 Mla] (: (($ +1) (Writer ($ +0) (($ +1) (Writer ($ +0) ($ +2))))) MlMla) [l2 a] Mla] - (wrap [(:: Monoid<l> append l1 l2) a])))) + (wrap [(:: Monoid<l> compose l1 l2) a])))) (def: #export (lift Monoid<l> Monad<M>) (All [l M a] (-> (Monoid l) (Monad M) (-> (M a) (M (Writer l a))))) (function [ma] (do Monad<M> [a ma] - (wrap [(:: Monoid<l> unit) a])))) + (wrap [(:: Monoid<l> identity) a])))) |