Cách thành ngữ để lấy lần xuất hiện đầu tiên của một hàm tạo cụ thể từ danh sách

Question

Có cách nào hay để tìm sự xuất hiện đầu tiên của một hàm tạo trong danh sách, mà không có đệ quy rõ ràng trong ví dụ dưới đây?

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

Đơn giản chỉ cần

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

Phụ Lục: thậm chí tốt hơn, tương lai khả năng chống sử dụng một mô hình kỷ lục rỗng (thanh danh Hammar): Tuy nhiên

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

Lưu ý rằng đây chỉ hoạt động ra để gọn gàng cho các nhà xây dựng phù hợp. Đối với tài sản chung, find là đẹp hơn:

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

Answer 2

Bạn có thể sử dụng tìm:

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

Answer 3

Bạn có thể sử dụng Data.List.find.

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