haskellのif文で条件を増やしたい

Question

下記のhaskellコードの条件式で

if(ys==[]){
 if(x%2==0){
   retunr y;
 }else{
   return[];
 }
}

のように条件を増やす方法を教えてください。

|ys==[]の下に | xmod2==0 =y |otherwise =[]を入れたらエラー吐かれました

splitr::Int->[Int]->[Int]
splitr x (y:ys)
    |ys==[]  =[]--ここの条件を増やしたい
--        | x`mod`2==0 =y
--        |otherwise =[]
    |x`mod`2==0 = 
        --trace (show x++":"++show ys) $ --デバッグ
        y : splitr (x+1) ys
    |otherwise  =  splitr (x+1) ys

Answer 1

ガードの入れ子といったようなことはできないため if 式を使います。

splitr :: Int -> [Int] -> [Int]
splitr x (y:ys)
    | ys == [] =
        if x `mod` 2 == 0
            then y
            else []
    | x `mod` 2 == 0 =
        y : splitr (x+1) ys
    | otherwise = splitr (x+1) ys

もしくはガードの条件を工夫して同じ意味にできます。

splitr :: Int -> [Int] -> [Int]
splitr x (y:ys)
    | ys == [] && x `mod` 2 == 0 = y
    | ys == []                   = []
    | x `mod` 2 == 0             = y : splitr (x+1) ys
    | otherwise                  = splitr (x+1) ys

ただ、y は [Int] 型でないため型エラーになると思います。

Comments

[退会済みユーザー]

ありがとうございます

Answer 2

2分岐なら普通にifでよいのでは。(3分岐以上ならcaseで)

splitr::Int->[Int]->[Int]
splitr x (y:ys)
    |ys==[] = if x`mod`2==0 then [y] else []
    |x`mod`2==0 = 
        --trace (show x++":"++show ys) $ --デバッグ
        y : splitr (x+1) ys
    |otherwise  =  splitr (x+1) ys

もしくは、ys==[]ということは(y:ys)は[y]なのだから、パターンマッチで分けてもよいのでは。
(マッチするものが複数ある場合は、上にあるものが優先される)

splitr::Int->[Int]->[Int]
splitr x [y]
    | x`mod`2==0 =[y]
    |otherwise =[]
splitr x (y:ys)
    |x`mod`2==0 = 
        --trace (show x++":"++show ys) $ --デバッグ
        y : splitr (x+1) ys
    |otherwise  =  splitr (x+1) ys

Comments

[退会済みユーザー]

ありがとうございます