如何修改Haskell中的any函数以更像all函数？

可以通过反转原谅运算符（!）和函数应用的顺序来修改“any”函数，这 equivalent to applying the original function to the negated input list. 下面是代码示例：

all' :: (a -> Bool) -> [a] -> Bool
all' p xs = foldr (&&) True (map p xs)

any' :: (a -> Bool) -> [a] -> Bool
any' p xs = foldr (||) False (map (not . p) xs)

在此示例中，我们定义了一个名为“any'”的新函数，使用了“map”将输入列表中所有元素进行否定，然后将结果传递给“foldr”函数，以进行布尔运算符“||”（或）的累积运算。