Proposal: Add bool to Data.Bool

Oliver Charles ollie at
Thu Sep 12 11:31:55 CEST 2013

On 09/10/2013 11:02 PM, Oliver Charles wrote:
> Hello,
> I would like to propose that the following is added to Data.Bool in base:
> bool :: a -> a -> Bool -> a
> bool f _ False = f
> bool _ t True  = t

OK, I think this has got enough support from the community to be deemed
worth having, with this exact name and type signature. cond has also
been suggested, but I'm going to leave that as it wasn't part of my
original proposal and seems less critical.

Unless people really think I should consider 'cond' too, I will start
learning how to contribute this patch to base and doing the rest of the
necessary work.

Thanks for all the feedback!
- ocharles

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the Libraries mailing list