Re: Bad default bitraverse

Keith <[email protected]> Thu, 07 Apr 2022 17:02:25 +0000
Newsgroups gmane.comp.lang.haskell.libraries
Message-ID <[email protected]>
--===============8605621720660033176==
Content-Type: multipart/alternative;
 boundary=----9R8E2RTI9ZQZAHTPGM4GFTDNFEI9BC
Content-Transfer-Encoding: 7bit

------9R8E2RTI9ZQZAHTPGM4GFTDNFEI9BC
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

Thanks, and sorry about that=2E

Sent from my phone with K-9 Mail=2E

On 7 April 2022 15:29:28 UTC, Tom Ellis <tom-lists-haskell-cafe-2017@jagua=
rpaw=2Eco=2Euk> wrote:
>For reference: https://github=2Ecom/haskell/core-libraries-committee/issu=
es/47#issuecomment-1055634151
>
>On Thu, Apr 07, 2022 at 11:00:32AM -0400, David Feuer wrote:
>> Yes, this is a known issue and the default is being removed=2E
>>=20
>> On Thu, Apr 7, 2022, 10:54 AM Keith <keith=2Ewygant@gmail=2Ecom> wrote:
>>=20
>> > The default `bitraverse` implementation should be removed=2E
>> >
>> > The default `bitraverse` is
>> > `bitraverse f g =3D bisequenceA =2E bimap f g`=2E
>> >
>> > But `bisequenceA` is an alias of `bisequence`, which in turn is
>> > `bitraverse id id`=2E Neither `bisequence` nor `bisequenceA` is a
>> > Bitraversable method, so they can't have alternative definitions=2E
>> >
>> > Sorry if this has already been mentioned=2E
>_______________________________________________
>Libraries mailing list
>Libraries@haskell=2Eorg
>http://mail=2Ehaskell=2Eorg/cgi-bin/mailman/listinfo/libraries

------9R8E2RTI9ZQZAHTPGM4GFTDNFEI9BC
Content-Type: text/html;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body>Thanks, and sorry about that=2E<div style=3D'white=
-space: pre-wrap'><br>Sent from my phone with K-9 Mail=2E</div><br><br><div=
 class=3D"gmail_quote">On 7 April 2022 15:29:28 UTC, Tom Ellis &lt;tom-list=
s-haskell-cafe-2017@jaguarpaw=2Eco=2Euk&gt; wrote:<blockquote class=3D"gmai=
l_quote" style=3D"margin: 0pt 0pt 0pt 0=2E8ex; border-left: 1px solid rgb(2=
04, 204, 204); padding-left: 1ex;">
<pre dir=3D"auto" class=3D"k9mail">For reference: <a href=3D"https://githu=
b=2Ecom/haskell/core-libraries-committee/issues/47#issuecomment-1055634151"=
>https://github=2Ecom/haskell/core-libraries-committee/issues/47#issuecomme=
nt-1055634151</a><br><br>On Thu, Apr 07, 2022 at 11:00:32AM -0400, David Fe=
uer wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin: 0pt 0pt 1e=
x 0=2E8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">Yes, this is=
 a known issue and the default is being removed=2E<br><br>On Thu, Apr 7, 20=
22, 10:54 AM Keith &lt;keith=2Ewygant@gmail=2Ecom&gt; wrote:<br><br><blockq=
uote class=3D"gmail_quote" style=3D"margin: 0pt 0pt 1ex 0=2E8ex; border-lef=
t: 1px solid #ad7fa8; padding-left: 1ex;">The default `bitraverse` implemen=
tation should be removed=2E<br><br>The default `bitraverse` is<br>`bitraver=
se f g =3D bisequenceA =2E bimap f g`=2E<br><br>But `bisequenceA` is an ali=
as of `bisequence`, which in turn is<br>`bitraverse id id`=2E Neither `bise=
quence` nor `bisequenceA` is a<br>Bitraversable method, so they can't have =
alternative definitions=2E<br><br>Sorry if this has already been mentioned=
=2E<br></blockquote></blockquote><hr>Libraries mailing list<br>Libraries@ha=
skell=2Eorg<br><a href=3D"http://mail=2Ehaskell=2Eorg/cgi-bin/mailman/listi=
nfo/libraries">http://mail=2Ehaskell=2Eorg/cgi-bin/mailman/listinfo/librari=
es</a><br></pre></blockquote></div></body></html>
------9R8E2RTI9ZQZAHTPGM4GFTDNFEI9BC--

--===============8605621720660033176==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTGlicmFyaWVz
IG1haWxpbmcgbGlzdApMaWJyYXJpZXNAaGFza2VsbC5vcmcKaHR0cDovL21haWwuaGFza2VsbC5v
cmcvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2xpYnJhcmllcwo=

--===============8605621720660033176==--