suggestions for improving MonadWriter

Andreas Abel andreas.abel at ifi.lmu.de
Mon Jan 28 08:44:38 CET 2013


On 27.01.13 10:37 PM, Roman Cheplyaka wrote:
> * Petr P <petr.mvd at gmail.com> [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 at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/



More information about the Libraries mailing list