Haskell：标准库是否假设 Eq 和 Ord 兼容？

这是一个后续问题Eq 和 Ord 实例不一致？ https://stackoverflow.com/questions/17114899/inconsistent-eq-and-ord-instances.

本质上的问题是：当声明时Eq and Ord类型的实例，必须确保compare x y回报EQ当且仅当x == y回报True？创建打破这一假设的实例是否危险？这似乎是人们可能假设的一种自然法则，但它似乎没有在前奏中明确说明，不像例如单子或函子定律。

基本的回应是：这样做有点危险，因为图书馆可能会认为这条定律成立。

我现在的问题是：执行任何标准库（特别是，Set or Map）做出这个假设？具有不兼容的类型是否危险Eq and Ord，只要我只依赖 GHC 提供的标准库？（如果大问题仍然可以接受，我会问：哪些常用的库遵循这一定律？）

Edit.我的用例与原始问题的用例类似。我有一个带有自定义实例的类型Eq，我用了很多。我想要的唯一理由Ord这样我就可以将它用作 a 的域Map;我不关心具体的顺序，也永远不会在代码中显式地使用它。所以如果我可以使用派生实例Ord，那么我的生活会更轻松，我的代码也会更清晰。

的定义Ord本身在标准前奏 http://www.haskell.org/onlinereport/standard-prelude.html要求已经有一个Eq实例：

class  (Eq a) => Ord a  where
    ...

所以违反同样是错误的

    x == y           =  compare x y == EQ
    x /= y           =  compare x y /= EQ

因为这将违反（来自 Ord 中这些运算符的默认定义）。

    x <= y           =  compare x y /= GT
    x <  y           =  compare x y == LT
    x >= y           =  compare x y /= LT
    x >  y           =  compare x y == GT

编辑：在图书馆中使用

如果标准库不使用，我会感到非常惊讶Ord's == and /=运营商。特定目的运营商（==, /=, <=, <, >=, >）通常比compare，所以我希望看到它们在代码中使用maps or filters.

You can see ==用于钥匙防护Data.Map在 fromAscListWithKey 中 http://www.haskell.org/ghc/docs/latest/html/libraries/containers-0.5.0.0/src/Data-Map-Base.html。此特定功能仅调用Eq类，但如果键也是Ord实例，Ord's compare将用于结果的其他功能Map，这是一个假设Eq's ==是相同的Ord's compare并测试EQ.

作为一名库程序员，如果任何特殊用途运算符表现出色，我不会感到惊讶compare为了特定的目的。毕竟，这就是为什么他们是Eq and Ord类而不是被定义为所有的多态Eq or Ord实例。我可能会强调使用它们，即使compare比较方便。如果我这样做，我可能会定义类似的内容：

compareOp :: (Ord a) => Ordering -> Bool -> a -> a -> Bool
compareOp EQ True  = (==)
compareOp EQ False = (/=)
compareOp LT True  = (<)
compareOp LT False = (>=)
compareOp GT True  = (>)
compareOp GT False = (<=)