12 Sep
2013
12 Sep
'13
5:31 a.m.
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