如何在不声明新数据的情况下更改类型（String，Int）元组的 Ord 实例？

我正在尝试对类型列表进行排序[(String, Int)]。默认情况下，它按字符串排序，然后按整数排序（如果字符串相等）。我希望它是相反的——首先比较整数，然后如果相等则比较字符串。另外，我不想切换到[(Int, String)].

我找到了一种通过定义实例来实现此目的的方法，但它仅适用于我自己的数据类型，我不想使用它。

您可以排序sortBy :: (a -> a -> Ordering) -> [a] -> [a] https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-List.html#v:sortBy:

import Data.List(sortBy)
import Data.Ord(comparing)
import Data.Tuple(swap)

orderSwap :: (Ord a, Ord b) => [(a, b)] -> [(a, b)]
orderSwap = sortBy (comparing swap)

or with sortOn :: Ord b => (a -> b) -> [a] -> [a] https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-List.html#v:sortOn:

import Data.List(sortOn)
import Data.Ord(comparing)
import Data.Tuple(swap)

orderSwap :: (Ord a, Ord b) => [(a, b)] -> [(a, b)]
orderSwap = sortOn swap

或者我们可以只执行两次交换并对中间结果进行排序：

import Data.Tuple(swap)

orderSwap :: (Ord a, Ord b) => [(a, b)] -> [(a, b)]
orderSwap = map swap . sort . map swap

这当然不是“标准顺序”。如果您想要定义一种与由已定义的实例派生的顺序不同的固有顺序，则应该定义您自己的类型。

例如：

newtype MyType = MyType (String, Int) deriving Eq

instance Ord MyType where
    compare (MyType a) (MyType b) = comparing swap a b