Generalize indexing function

Akhra Gannon tanuki at gmail.com
Sun Apr 11 10:11:55 UTC 2021


Yeah, I mis-composed that. Pretty sure there's a formulation around
take/head that works but I'm clearly not in a headspace to find it!

On Sun, Apr 11, 2021, 3:03 AM Henning Thielemann <
lemming at henning-thielemann.de> 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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20210411/c00311ff/attachment.html>


More information about the Libraries mailing list