Indentation of If-Then-Else

Bulat Ziganshin bulat.ziganshin at
Tue Oct 24 13:07:49 EDT 2006

Hello Taral,

Tuesday, October 24, 2006, 8:52:47 PM, you wrote:

>> if' :: Bool -> a -> a -> a
>> if' True  x _ = x
>> if' False _ y = y

> I support the inclusion of if' because it is the Bool catamorphism,
> but I would structure its arguments as (a -> a -> Bool -> a) because
> that facilitates use of the currying.

i has such function in my program. it just like 'either' and 'maybe'
functions, so i named it 'bool'. of course, it's used for partial
applications only

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at

More information about the Haskell-prime mailing list