<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><blockquote type="cite" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">- `pure`: Polymorphic, works for any `Functor`.</span><br class=""></blockquote><div class=""><br class=""></div>It is OK to have polymorphic folds and length, so what is wrong with pure? <div class=""><br class=""></div><div class="">Adding singleton to Data.List is a breaking change, when Data.Map.singleton was exported unqualified. </div><div class="">And there is no singleton in Data.List.NonEmpty as well. </div><div class=""><br class=""></div><div class="">-1 from me.</div><div class=""><br class=""></div><div class="">Best regards,</div><div class="">Andrew<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 12 Aug 2019, at 19:36, Brent Yorgey <<a href="mailto:byorgey@gmail.com" class="">byorgey@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class="">At the risk of completely derailing the conversation, I have always called this the "robot monkey operator". I fail to see what is so ninja-like about it.<div dir="auto" class=""><br class=""></div><div dir="auto" class="">Anyway, I think I am +1 on adding Data.List.singleton.</div><div dir="auto" class=""><br class=""></div><div dir="auto" class="">-Brent</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 12, 2019, 12:35 PM Zemyla <<a href="mailto:zemyla@gmail.com" class="">zemyla@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I also like the ninja-robot operator, because it's visually<br class="">
interesting and easy to search for.<br class="">
<br class="">
Also, if you're importing several libraries which already use<br class="">
"singleton", then you have to use "List.singleton" every time, which<br class="">
is far uglier to me.<br class="">
<br class="">
On Mon, Aug 12, 2019 at 12:03 PM Herbert Valerio Riedel<br class="">
<<a href="mailto:hvriedel@gmail.com" target="_blank" rel="noreferrer" class="">hvriedel@gmail.com</a>> wrote:<br class="">
><br class="">
> > - `(:[])`: Subjectively ugly.<br class="">
><br class="">
> I consider "subjectively ugly" to be a non-technical and thus really<br class="">
> weak argument to dismiss the list-idiomatic ninja-robot-operator (:[])<br class="">
> which also happens to be shorter than the proposed alias for it. I for<br class="">
> one don't see a significant benefit for adding a redundant synonym to<br class="">
> `Data.List` and are thus -1 on this.<br class="">
><br class="">
> > singleton :: a -> [a]<br class="">
> > singleton x = [x]<br class="">
> _______________________________________________<br class="">
> Libraries mailing list<br class="">
> <a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer" class="">Libraries@haskell.org</a><br class="">
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="">
_______________________________________________<br class="">
Libraries mailing list<br class="">
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer" class="">Libraries@haskell.org</a><br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="">
</blockquote></div>
_______________________________________________<br class="">Libraries mailing list<br class=""><a href="mailto:Libraries@haskell.org" class="">Libraries@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries<br class=""></div></blockquote></div><br class=""></div></body></html>