I wouldn't mind something like this being available... but only if prefixed with the word "unsafe" or "partial" or other such scary words. -- Dan Burton On Fri, May 20, 2016 at 1:34 PM, David Feuer wrote:

-1. I don't want to encourage this sort of bad coding practice practice either. Keeping it inconvenient is fine by me. On May 20, 2016 4:08 PM, "Anton Felix Lorenzen" wrote:

...

When working with Either, I am often missing two simple functions: fromRight :: Either a b -> b fromLeft :: Either a b -> a

It has been implemented a couple of times: http://hayoo.fh-wedel.de/?query=fromRight

But I don't want to depend on yet another library for such a basic function.

Could it be added?

Anton _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

js :: a -> (Void, a) js x = (undefined, x) left :: (Void, Either a b) -> a left (_, Left x) = x There we go... now it looks truly terrifying: left.js $(myValue) (Apologies to Kosyrev for the double-send. Especially since that version was broken.) On Fri, May 20, 2016 at 2:36 PM, Kosyrev Serge <_deepfire@feelingofgreen.ru> wrote:

Dan Burton writes:

...

I wouldn't mind something like this being available... but only if prefixed with the word "unsafe" or "partial" or other such scary words.

Heh, `unsafePerformLeft` / `unsafePerformRight` ? : -)

-- с уважениeм / respectfully, Косырев Сергей _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

There's also (\(Right x)->x), which is pretty short and will give you a warning about the missing case. (I could go either way on adding fromLeft/Right though) Tom

El 20 may 2016, a las 19:22, Francesco Ariis escribió:

...

On Fri, May 20, 2016 at 10:08:40PM +0200, Anton Felix Lorenzen wrote: When working with Either, I am often missing two simple functions: fromRight :: Either a b -> b fromLeft :: Either a b -> a

Sometimes my lazy inner-self is guilty of longing for `fromRight` when typing:

λ> either undefined id xyz

but then again, importing Data.Either wouldn't make thing any shorter :P

λ> :m +Da<tab>.Ei<tab> λ> fromRight zyx

I can see fromRight being useful in one-off script; anything bigger than a few lines is asking for trouble!

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

I would add (as I probably did last time something like this came up) that it's difficult to get excited about all these functions named by a systematic grammar, when we know _today_ how to just implement that grammar as a library of composable pieces. And it has been implemented in lens (and possibly other libraries that are subsets of lens). Then you can have `is`, `over` (like map), `from` (take your pick on whether it's partial or with-default), `foldOf`, `traverseOf`, ..., and `_Left`, `_Right`, `_Just`, `_Nothing` (not all of these correspond to lens; just you could define them). These building blocks make all these functions definable, with almost exactly the names they'd be given as one-off functions in several modules. But of course, they also compose in more interesting ways, too. You can have `from (_Left . _Just)`, but we will never be adding a `fromLeftAndJust` function to base. I don't really expect (or hope for) base to start pulling in big chunks of lens. And maybe it makes sense for all of these to be in base just for uniformity. But it also seems like people could just be using something better. -- Dan On Sat, May 21, 2016 at 8:55 AM, Edward Kmett wrote:

I'm personally -1 on this.

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.

-Edward

On Fri, May 20, 2016 at 4:08 PM, Anton Felix Lorenzen wrote:

...

When working with Either, I am often missing two simple functions: fromRight :: Either a b -> b fromLeft :: Either a b -> a

It has been implemented a couple of times: http://hayoo.fh-wedel.de/?query=fromRight

But I don't want to depend on yet another library for such a basic function.

Could it be added?

Anton _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries