<html><head></head><body>Sorry about bikeshedding. However, 'semifoldable' would be super confusing.<br><br>If somebody saw 'semifoldMap' in the wild what would they think? Probably not that it can fold _more_ things than 'foldMap'.<br><br>'NonemptyFoldable', 'Semigroup.Foldable', 'SemigroupFoldable', and 'Foldable1', with 'sfoldMap', 'sgFoldMap', 'nonemptyFoldMap', or 'Semigroup.foldMap' may be long or meaningless to most, but at least they aren't actively misleading.<br><br>–Keith<br><br><div class="gmail_quote">On October 18, 2019 2:13:51 PM UTC, Oleg Grenrus <oleg.grenrus@iki.fi> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre class="k9mail">Relating to Foldable1/NonEmptyFoldable, based in another discussion (in <br>my foldable1 to base proposal), it looks like it might be called <br>Semifoldable<br><br>See <a href="https://mail.haskell.org/pipermail/libraries/2019-October/030030.html">https://mail.haskell.org/pipermail/libraries/2019-October/030030.html</a><br><br>Yet, Semiset is different thing (based on wikipedia: <br><a href="https://en.wikipedia.org/wiki/Semiset).">https://en.wikipedia.org/wiki/Semiset).</a> NonEmptySet is a good name, it <br>doesn't need explanation. If someone feels that it's too long, they can <br>introduce `type NESet = NonEmptySet` alias in their development.<br><br>- Oleg<br><br>On 20.9.2019 4.56, Ruben Astudillo wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">On 19-09-19 22:17, Alexandre Esteves wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #ad7fa8; padding-left: 1ex;">I do like the sound of `instance Foldable1 Set1` more than I do<br>`instance NonEmptyFoldable NonEmptySet`<br><<a href="https://hackage.haskell.org/package/semigroupoids-5.3.3/docs/Data-Semigroup-Foldable.html#t:Foldable1">https://hackage.haskell.org/package/semigroupoids-5.3.3/docs/Data-Semigroup-Foldable.html#t:Foldable1</a>><br></blockquote> I prefer it too, I just wish (future) documentation included a little<br> explanation on why the suffix 1 was put.<br><br></blockquote><hr>Libraries mailing list<br>Libraries@haskell.org<br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></pre></blockquote></div><br>-- <br>Sent from my phone with K-9 Mail.</body></html>