Proposal: Add isLeft/isRight to Data.Either
Edward Z. Yang
ezyang at MIT.EDU
Fri Nov 30 21:56:15 CET 2012
+1
Excerpts from Simon Hengel's message of Fri Nov 30 12:38:59 -0800 2012:
> Hi,
> I propose to add isLeft/isRight to Data.Either, with the obvious
> definitions:
>
> isLeft :: Either a b -> Bool
> isLeft (Left _) = True
> isLeft (Right _) = False
>
> isRight :: Either a b -> Bool
> isRight (Left _) = False
> isRight (Right _) = True
>
> There has been a discussion on that before [1]. While I agree that
> fromLeft/fromRight are moot, I don't see issues with isLeft/isRight.
>
> Personally I care mostly about isLeft, but for orthogonality I propose
> to add both isLeft and isRight.
>
> Here is a (possibly incomplete) list of packages that come with their
> own definition of isLeft:
>
> snap-core, multifocal, PriorityChansConverger, tamarin-prover-utils,
> Agda, PCLT, cmdtheline, scyther-proof, xmlhtml, hspec-expectations,
> Glob, language-glsl, Craft3e, hledger-lib, narc, nemesis,
> type-settheory, PCLT-DB, RJson, bio, errors, rss2irc, heist
>
> Discussion period: 2 Weeks
>
> Cheers,
> Simon
>
> [1] http://www.haskell.org/pipermail/libraries/2006-October/006098.html
>
More information about the Libraries
mailing list