Belirli bir kurgunun ilk oluşumunu bir listeden almanın deyimsel yolu

Question

Aşağıdaki örnekte açık bir özyineleme olmaksızın bir yapıcının ilk oluşumunu bir listede bulmanın iyi bir yolu var mı?

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

Basitçe

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

Zeyilname: daha da iyisi, gelecek geçirmez boş kayıt kalıbı kullanarak (Şeref hammar): Ancak

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

Not bu sadece bu yüzden düzgünce dışarı çalışır müteahhitleri eşleştirmek için. Genel özellikleri için find daha güzel:

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

Answer 2

seni bulmak kullanabilirsiniz.

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

Answer 3

Sen Data.List.find kullanabilirsiniz:

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