Re: suggestions for improving MonadWriter

On 27.01.13 10:37 PM, Roman Cheplyaka wrote:

* Petr P [2013-01-27 21:30:31+0100]

...

(1) Remove the "Monoid w" constraint from the definition.

Agree.

Same. +1

...

(2) Add

-- | @contained m@ executes the action @m@ in a contained environment and -- returns its value and its output. The current output is not modified. contained :: m a -> m (a, w)

to MonadWriter.

No opinion on this one.

Same. -0.1 -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/