Haskell Mustererkennung auf Inhalt Liste

Question

Ich habe eine Liste von Elementen:

data Foo = A Int | B Int | C Int 

myList :: [Foo] 
myList = [A 1, B 2, C 3] 

Ich möchte eine Funktion, die den Wert eines bestimmten Konstruktor wird, falls vorhanden:

-- returns value of the first A constructor, if exists: 
getA :: [Foo] -> Maybe Int 

-- returns value of the first B constructor, if exists: 
getB :: [Foo] -> Maybe Int 

Jede elegante Lösung ? Und was ist mit einer getX Funktion, die in der Lage ist, den Wert eines bestimmten Konstruktors in der Liste zu erhalten?

Answer 1

wird diese Arbeit

getA theList = listToMaybe [x | A x <- theList] 
getB theList = listToMaybe [x | B x <- theList] 

Sie Data.Maybe importieren müssen.

Verallgemeinern wäre möglich, aber knifflig .... Welchen Typ möchten Sie diese Funktion überhaupt haben? ([a]->somethingToRepresentAConstructor->Int).

Answer 2

Und was ist mit einer getX-Funktion, die in der Lage ist, den Wert eines angegebenen Konstruktors in die Liste aufzunehmen?

In Bezug auf die Generalisierung könnte der somethingToRepresentAConstructor ein String sein?

Sie können ein bisschen mehr verallgemeinern und

firstJust :: (a -> Maybe b) -> [a] -> Maybe b 
firstJust f xs = case filter isJust (map f xs) of 
        x : _ -> x 
        [] -> Nothing 

getA = firstJust f 
    where f (A x) = Just x 
     f _ = Nothing 

getB = firstJust f 
    where f (B x) = Just x 
     f _ = Nothing