Generalizing some type signatures involving Int

[Evan Laforge]

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