Generalizing replicateM?

Ömer Sinan Ağacan omeragacan at gmail.com
Tue Jul 7 17:25:20 UTC 2015


(looking at the patch) Shouldn't we rename them to `filterA`,
`replicateA` etc. and move to Control.Applicative module? (like
`liftM` vs. `liftA`)

2015-07-07 12:58 GMT-04:00 Bart Massey <bart.massey at gmail.com>:
> +1 for the Farkas-Dyck patch. Someone should check the performance of the
> replacement filterM, though: those loops may have been there for a reason
> that is still valid.
>
> On Tue, Jul 7, 2015 at 9:51 AM Edward Kmett <ekmett at gmail.com> wrote:
>>
>> +1 from me.
>>
>> -Edward
>>
>> On Tue, Jul 7, 2015 at 3:56 AM, Fumiaki Kinoshita <fumiexcel at gmail.com>
>> wrote:
>>>
>>> I noticed that traceM is generalized to use Applicative. Then, how about
>>> replicateM/replicateM_?
>>>
>>> I don't quite like confusing names, but is better than needlessly
>>> restrictive.
>>>
>>> _______________________________________________
>>> Libraries mailing list
>>> Libraries at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>>
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>


More information about the Libraries mailing list