11 Apr
2021
11 Apr
'21
3:28 p.m.
`xs !! () == fromList xs !! ()` seems to be a type error?
-- Keith
Sent from my phone with K-9 Mail.
On April 11, 2021 10:35:53 AM UTC, Tom Ellis
On Sun, Apr 11, 2021 at 12:03:04PM +0200, Henning Thielemann wrote:
On Sun, 11 Apr 2021, Akhra Gannon wrote:
It's distributive under IsList. fromList (xs !! n) == (fromList xs) !! n
fromList (xs !! n) ?
I think, xs!!n is a single element.
Presumably `xs !! n == fromList xs !! n` _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries