Generalizing some type signatures involving Int

[Vanessa McHale]

I want more than this, actually. genericLength doesn't work over any
Foldable.

On 11/13/18 8:50 PM, Evan Laforge wrote:
> You can already get these as Data.List.genericLength and
> Data.List.genericReplicate
>
> As for changing the prelude ones, this would probably cause a lot of
> busywork.  Where I work we compile with -Werror and -Wtype-defaults,
> so a lot of places might have to get type annotations.
> On Tue, Nov 13, 2018 at 5:19 PM Vanessa McHale <vanessa.mchale at iohk.io> wrote:
>> Would it be possible to generalize replicate and length to have type
>> signatures
>>
>> replicate :: Integral a => a -> b -> [b]
>>
>> and
>>
>> length :: (Integral a, Foldable t) => t b -> a
>>
>> ?
>>
>> There have been a few instances where such a thing would have been
>> useful to me.
>>
>> Cheers
>>
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20181113/e0303fbf/attachment.sig>