<div dir="ltr">Sorry, I meant fromJust.</div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, May 21, 2016 at 8:58 AM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">No one wants to remove fromMaybe. In fact, it could serve as a template for total fromLeft and fromRight:</p>
<p dir="ltr">fromLeft :: b -> (a -> b) -> Either a x -> b<br>
fromRight :: b -> (a -> b) -> Either x a -> b</p><div class="HOEnZb"><div class="h5">
<div class="gmail_quote">On May 21, 2016 8:55 AM, "Edward Kmett" <<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>> wrote:<br type="attribution"><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I'm personally -1 on this. <div><br></div><div>A large portion of the community is vehemently against adding new partial functions, and they have to share base with the rest of us. I'd say more people want to remove fromMaybe, head, tail, etc. than want to double down on the pattern at this time.<font color="#888888"><div><br></div><div>-Edward</div></font></div></div><div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 20, 2016 at 4:08 PM, Anton Felix Lorenzen <span dir="ltr"><<a href="mailto:anfelor@posteo.de" target="_blank">anfelor@posteo.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">When working with Either,<br>
I am often missing two simple functions:<br>
fromRight :: Either a b -> b<br>
fromLeft :: Either a b -> a<br>
<br>
It has been implemented a couple of times:<br>
<a href="http://hayoo.fh-wedel.de/?query=fromRight" rel="noreferrer" target="_blank">http://hayoo.fh-wedel.de/?query=fromRight</a><br>
<br>
But I don't want to depend on yet another library<br>
for such a basic function.<br>
<br>
Could it be added?<br>
<br>
Anton<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>
</div><br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div>
</div></div></blockquote></div><br></div>