haskell - 在 Haskell 中，有没有办法在带有参数的构造函数上执行 "elem"？

Question

考虑以下:

data A = A1 | A2 Integer
x = [A1, A2 999]
elem A1 x == True

有没有办法进行以下测试？

elem (A2 _) x == True

Answer 1

不，但您可以使用 any 来重新表述。

hasA2 :: [A] -> Bool
hasA2 = any $ \x -> case x of { A2 _ -> True ; _ -> False }