john7rv

リストの並び方のパターンを指定することで
リストの探索に使えます

３個の整数のリストから10で始まるものにTrueを返す

l1 = [10,20,30]
seri :: [Int] -> Bool
seri [10,_,_] = True
seri _ = False

文字列の探索

sample1 = "ab"
sers :: [Char] -> Bool
sers ['a',_] = True
sers _ = False

実行例

main = do
  print $ seri l1
  print $ sers sample1
>True
>True

cons演算子を使うと任意の長さのリストもパターンで表現できます

serss :: [Int] -> Bool
serss (1 : _) = True
serss _ = False