如何使自定义数据类型可排序？

Question

我有一个 Haskell 自定义数据类型，我想将其用作Data.Map 、 Data.Graph和其他查找表中的键。

data State = State
  { playerIdx :: Int
  , piles :: [Int]
  } deriving Show

我如何使它可订购？ 以下似乎不起作用：

data State = State
  { playerIdx :: Int
  , piles :: [Int]
  } deriving (Show, Ord)

Answer 1

如果您将某物设为Ord的实例，则它也必须是Eq的实例，因此您应该同时导出Eq和Ord ：

data State = State
  { playerIdx :: Int
  , piles :: [Int]
  } deriving (Eq, Ord, Show)