diff options
Diffstat (limited to 'stdlib/source/lux/control/writer.lux')
| -rw-r--r-- | stdlib/source/lux/control/writer.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/control/writer.lux b/stdlib/source/lux/control/writer.lux index 9c4b2850a..92ab8f751 100644 --- a/stdlib/source/lux/control/writer.lux +++ b/stdlib/source/lux/control/writer.lux @@ -17,7 +17,7 @@ (All [l] (-> l (Writer l Any))) [l []]) -(structure: #export functor +(implementation: #export functor (All [l] (Functor (Writer l))) @@ -25,7 +25,7 @@ (let [[log datum] fa] [log (f datum)]))) -(structure: #export (apply monoid) +(implementation: #export (apply monoid) (All [l] (-> (Monoid l) (Apply (Writer l)))) @@ -36,7 +36,7 @@ [log2 a] fa] [(\ monoid compose log1 log2) (f a)]))) -(structure: #export (monad monoid) +(implementation: #export (monad monoid) (All [l] (-> (Monoid l) (Monad (Writer l)))) @@ -49,7 +49,7 @@ (let [[log1 [log2 a]] mma] [(\ monoid compose log1 log2) a]))) -(structure: #export (with monoid monad) +(implementation: #export (with monoid monad) (All [l M] (-> (Monoid l) (Monad M) (Monad (All [a] (M (Writer l a)))))) (def: &functor |