リストから特定のコンストラクタの最初の発生を取得するための慣用的方法

Question

以下のサンプルで明示的に再帰することなく、リスト内のコンストラクタの最初のオカレンスを見つける良い方法はありますか？

data Elem = A Int | B Char deriving Show 

getA :: [Elem] -> Maybe Elem 
getA [] = Nothing 
getA (e:es) = 
    case e of 
     A a -> Just (A a) 
     _ -> getA es 

Answer 1

単に

import Data.Maybe (listToMaybe) 
getA xs = listToMaybe [e | e@(A _) <- xs] 

補遺：より良い、将来防音空のレコードパターンを使って（名声のHAMMAR）：しかし

getA xs = listToMaybe [e | e@(A{}) <- xs] 

注、これが唯一のようにきれいに出て働くことコンストラクタをマッチングする。一般的な性質のために、findはよりよいです：

data Elem = A Int | B Char deriving Show 
getA elements = find (\x->case x of (A _) -> True; _ -> False) elements 

Answer 2

あなたが見つけるを使用することができます。

getA = find isA 
    where isA (A {}) = True 
     isA _ = False 

Answer 3

あなたはData.List.findを使用することができます。

get prop xs = listToMaybe [e | e <- xs, prop e] 
get prop xs = listToMaybe (filter prop xs) 
get prop xs = find prop xs