24 Oct
2006
24 Oct
'06
1:07 p.m.
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@gmail.com