为什么'ZonedTime'没有'Eq'或'Ord'实例

Question

在time包装我们有型ZonedTime,其代表了LocalTime一个产品localDay :: Day和localTimeOfDay :: TimeOfDay.LocalTime有实例为Eq和Ord,但ZonedTime不会.在我看来,ZonedTime应该从绝对参考框架进行比较,至少与LocalTimes可能相比.

为什么不ZonedTime有Eq和Ord实例呢？

值得注意的是,time重写thyme实际上确实有Eq和Ord实例,但我不想使用非标准时间类型,除非需要.

Answer 1

我只能推测,原因是不清楚应该如何比较具有不同区域的时间,并且很容易将它们转换为UTCTime使用zonedTimeToUTC并比较结果,如果这是预期的.