<div dir="ltr">You allude to the possibility of a name change at the end of the email. Progress on that is being tracked on this issue: <a href="https://github.com/ekmett/semigroupoids/issues/26">https://github.com/ekmett/semigroupoids/issues/26</a>. It seems like there is reasonable agreement that renaming Foldable1 (and several other classes from semigroupoids) would be good.<div><br></div>I'm in favor of moving this into base under the name Semifoldable (after it has been renamed in semigroupoids). Longer term, I think there's some interested stuff that could be done with fixing foldr1 and foldl1, which currently suffer a sad existence as partial functions.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 7, 2018 at 3:12 PM, Daniel Cartwright <span dir="ltr"><<a href="mailto:chessai1996@gmail.com" target="_blank">chessai1996@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">For those of you unfamiliar with 'Foldable1', it is a typeclass for nonempty foldable structures, that centres around Semigroup instead of Monoid.<div>I have made a differential on Phabricator for the change here: <a href="https://phabricator.haskell.org/D4812" target="_blank">https://phabricator.haskell.<wbr>org/D4812</a></div><div><br></div><div>Some discussion at the following links also:</div><div><br></div><div><p style="margin:0px 0px 12px;padding:0px;border:0px;color:rgb(0,0,0);font-family:"Segoe UI","Segoe UI Emoji","Segoe UI Symbol",Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;text-align:left;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><a href="https://ghc.haskell.org/trac/ghc/ticket/13573" class="m_-7807017104066012582gmail-remarkup-link" rel="noreferrer" style="text-decoration:none;color:rgb(19,108,178);margin-top:0px" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/ticket/13573</a></p><p style="margin:0px 0px 12px;padding:0px;border:0px;color:rgb(0,0,0);font-family:"Segoe UI","Segoe UI Emoji","Segoe UI Symbol",Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;text-align:left;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><a href="https://www.reddit.com/r/haskell/comments/8p531d/ann_safefoldable_safe_wrappers_for_nullpartial/" class="m_-7807017104066012582gmail-remarkup-link" rel="noreferrer" style="text-decoration:none;color:rgb(19,108,178);margin-top:0px" target="_blank">https://www.reddit.com/r/<wbr>haskell/comments/8p531d/ann_<wbr>safefoldable_safe_wrappers_<wbr>for_nullpartial/</a></p><p style="margin:0px;padding:0px;border:0px;color:rgb(0,0,0);font-family:"Segoe UI","Segoe UI Emoji","Segoe UI Symbol",Lato,"Helvetica Neue",Helvetica,Arial,sans-serif;text-align:left;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><a href="https://github.com/ekmett/semigroupoids/issues/49" class="m_-7807017104066012582gmail-remarkup-link" rel="noreferrer" style="text-decoration:none;color:rgb(19,108,178);margin-top:0px" target="_blank">https://github.com/ekmett/<wbr>semigroupoids/issues/49</a></p><br></div><div>Note: foldl1 and foldr1 are currently typeclass methods of 'Foldable' and not 'Foldable1', and even though I think they should be, they probably (and shouldn't) be removed in this change, though I hope that eventually they can be moved to Foldable1.</div><div><br></div><div>Foldable1 is also unfortunately named due to the suffix '1' being connotated with the conventions surrounded Data.Functor.Classes (Show1, Eq1, etc.). If this naming is seen as sufficiently unfortunate/confusing because of that, then perhaps the name should be changed to something like 'SemiFoldable'. The name change would most likely have to be made in 'semigroupoids' first if that is the case.</div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">-Andrew Thaddeus Martin</div>
</div>