Generalize indexing function
Keith
keith.wygant at gmail.com
Sun Apr 11 15:28:13 UTC 2021
`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 <tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk> 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
>Libraries at haskell.org
>http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20210411/8be6848f/attachment.html>
More information about the Libraries
mailing list