Haskell - 内置元组，Ord 定义为仅按第一个元素进行比较？

Question

我对 Haskell 比较陌生，所以希望这不是一个愚蠢的问题。我正在寻找一种常见/众所周知的类型，它本质上是一个元组，但定义了 Ord 以便它只比较第一个元素。

我自己可以这样定义:

data RankedItem a = RankedItem Double a deriving (Show)

instance Eq (RankedItem a) where
  (RankedItem lkey _) == (RankedItem rkey _) = lkey == rkey

instance Ord (RankedItem a) where
  (RankedItem lkey _) `compare` (RankedItem rkey _) = compare lkey rkey

是否有实现此目的的内置类型或常用的第三方容器？

Answer 1

是的，存在这样的类型。这是 Arg type defined in Data.Semigroup .它的 Eq 和 Ord 实例仅根据第一个元素进行比较，它还有各种其他实例(如 Functor)根据第二个元素进行操作.