Re: Generalize indexing function
Tom Ellis <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <20210411103553.GB649@cloudinit-builder> |
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