Case
From HaskellWiki
(Difference between revisions)
(→Using functions: reshuffle some code lines, c/e) 

(4 intermediate revisions by 2 users not shown) 
Latest revision as of 18:31, 15 March 2012
Contents 
[edit] 1 Question
Can I have acase
[edit] 2 Answer
There are several approaches to this problem.
[edit] 2.1 Using functions
[edit] 2.1.1 select
We can do this nicely with a function implemented in Haskell:
select :: a > [(Bool, a)] > a select def = maybe def snd . List.find fst  = fromMaybe def . lookup True  = maybe def id . lookup True select exDefault [(cond1, ex1), (cond2, ex2), (cond3, ex3)]
Unfortunately this function is not in the Prelude. It is however in the utilityht package.
[edit] 2.1.2 nested 'if'
Alternative implementations are
{ a purely functional implementation of ifthenelse } if' :: Bool > a > a > a if' True x _ = x if' False _ y = y select'' = foldr (uncurry if')
select''
select
if
if'
zipWith3
zipWith3 if'
See ifthenelse.
Alternatively you can unrollfoldr
if' cond1 ex1 $ if' cond2 ex2 $ if' cond3 ex3 $ exDefault
[edit] 2.1.3 infix operator
If you useif'
?
then because of partial application it will work nicely together with '$' for the else clause.
infixl 1 ? (?) :: Bool > a > a > a (?) = if' cond1 ? ex1 $ cond2 ? ex2 $ cond3 ? ex3 $ exDefault
[edit] 2.2 Using syntactic sugar
[edit] 2.2.1 Guards
You can make use of some syntactic sugar of Haskell, namely of guards.
case () of _  cond1 > ex1  cond2 > ex2  cond3 > ex3  otherwise > exDefault
Alternatively, one could simply factor out a function(/value) and use guards in the argument patterns.
[edit] 2.2.2 List comprehensions
An alternative sugarful approach is to use list comprehensions.
head $ [ ex1  cond1 ] ++ [ ex2  cond2 ] ++ [ ex3  cond3 ] ++ [ exDefault ]