将元组与元组列表进行比较

Question

我必须将元组与元组列表进行比较，如果整数小于列表中的任何元组，则返回 True。 就像如果我有superM ("Tomato",10,5) [("Potato",5,6),("Orange",11,6)]将返回 True 因为单独元组中的整数 ("Tomate", 10,5) 比列表中的元组 ("Orange",11,6) 小，但是如果我有superM ("Melon",10,6) [("Potato",5,6),("Orange",11,6)]将返回 False。

我试试这个

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM (s,a,b) ((_,c,d):xs)
  | a < c && b < d = True
  |otherwise =  superM (s,a,b) xs  

但是当它假设返回 False 时不起作用，我不知道为什么？

注意：字符串与此问题无关，我必须忽略它。

Answer 1

您没有为空列表定义 basecase。 所以如果没有元素匹配，最终列表将被耗尽，然后空列表将不匹配。 因此，您可以为空列表添加规则：

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM _ [] = False
superM (s,a,b) ((_,c,d):xs)
  | a < c && b < d = True
  |otherwise =  superM (s,a,b) xs

我们可以利用逻辑或摆脱守卫：

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM _ [] = False
superM (s,a,b) ((_,c,d):xs) = a < c && b < d || superM (s,a,b) xs

但我们也可以使用any :: Foldable f => (a -> Bool) -> fa -> Bool函数来让它与任何Foldable工作：

superM :: (Foldable f, Ord x, Ord y) => (a, x, y) -> f (b, x, y) -> Bool
superM (_, a, b) = any p
    where p (_, c, d) = a < c && b < d