13 Nov
2018
13 Nov
'18
9:50 p.m.
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
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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries