Idiomatyczny sposób wywołania pierwszego wystąpienia określonego konstruktora z listy

Question

Czy istnieje dobry sposób na znalezienie pierwszego wystąpienia konstruktora na liście, bez wyraźnej rekursji w poniższym przykładzie?

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

Wystarczy

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

Uzupełnienie: nawet lepiej, przyszłość impregnowane za pomocą pustego rekordu wzorca (sława hammar):

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

Uwaga jednak, że to działa tylko na zewnątrz tak zgrabnie dla pasujących konstruktorów. Dla właściwości ogólnych, find jest ładniejszy:

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

Answer 2

Można użyć znaleźć:

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

Answer 3

Można użyć Data.List.find.

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