Proposal: Add "writer" Monad instance (, ) o to Control.Monad.Instances

Felipe Lessa felipe.lessa at gmail.com
Thu Sep 23 12:19:23 EDT 2010


On Thu, Sep 23, 2010 at 12:58 PM, Jake McArthur <jake.mcarthur at gmail.com> wrote:
>> where the return definition relies on the Applicative instance of ((,) o).
>> Written out explicitly,
>>
>>        return a = (mempty,a)

I didn't realize we had an applicative instance for ((,) a).  That
being the case, +1 for this proposal.

I would just like to change ((,) o) to ((,) a) to be consistent with
the Applicative instance [1].

[1] http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Control-Applicative.html#t%3AApplicative

Cheers! =)

-- 
Felipe.


More information about the Libraries mailing list