Re: Generalize indexing function
Keith <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <[email protected]> |
Sorry to spam, just realized that destroys the Map and (->) instances. -- Keith Sent from my phone with K-9 Mail. On April 11, 2021 10:35:53 AM UTC, Tom Ellis <[email protected]> wrote: >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 >[email protected] >http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries _______________________________________________ Libraries mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries