Bad default bitraverse
Keith <[email protected]> Thu, 07 Apr 2022 14:53:50 +0000
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <[email protected]> |
--===============8931975513309165968== Content-Type: multipart/alternative; boundary=----ARV7YLIHZIE6SJ6MC6YSE53EJHE65Y Content-Transfer-Encoding: 7bit ------ARV7YLIHZIE6SJ6MC6YSE53EJHE65Y Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable The default `bitraverse` implementation should be removed=2E The default `bitraverse` is=20 `bitraverse f g =3D bisequenceA =2E bimap f g`=2E But `bisequenceA` is an alias of `bisequence`, which in turn is `bitravers= e id id`=2E Neither `bisequence` nor `bisequenceA` is a Bitraversable metho= d, so they can't have alternative definitions=2E Sorry if this has already been mentioned=2E Sent from my phone with K-9 Mail=2E ------ARV7YLIHZIE6SJ6MC6YSE53EJHE65Y Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE html><html><body>The default `bitraverse` implementation should b= e removed=2E<br><br>The default `bitraverse` is <br>`bitraverse f g =3D bis= equenceA =2E bimap f g`=2E<br><br>But `bisequenceA` is an alias of `biseque= nce`, which in turn is `bitraverse id id`=2E Neither `bisequence` nor `bise= quenceA` is a Bitraversable method, so they can't have alternative definiti= ons=2E<br><br>Sorry if this has already been mentioned=2E<div style=3D'whit= e-space: pre-wrap'><br>Sent from my phone with K-9 Mail=2E</div></body></ht= ml> ------ARV7YLIHZIE6SJ6MC6YSE53EJHE65Y-- --===============8931975513309165968== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTGlicmFyaWVz IG1haWxpbmcgbGlzdApMaWJyYXJpZXNAaGFza2VsbC5vcmcKaHR0cDovL21haWwuaGFza2VsbC5v cmcvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2xpYnJhcmllcwo= --===============8931975513309165968==--