在time
包中,我们的类型为ZonedTime
,代表LocalTime
localDay :: Day
和localTimeOfDay :: TimeOfDay
的产品。 LocalTime
包含Eq
和Ord
的实例,但ZonedTime
没有。在我看来,ZonedTime
应该从一个绝对参考框架进行比较,至少与LocalTime
s一样多。
为什么ZonedTime
还没有Eq
和Ord
个实例?
值得注意的是,time
重写thyme
实际上确实有Eq
和Ord
个实例,但我不想使用非标准时间类型,除非需要
答案 0 :(得分:6)
我只能推测原因是不清楚应该如何比较附加不同区域的时间,并且很容易使用UTCTime
将它们转换为zonedTimeToUTC
并进行比较结果,如果这是预期的。
答案 1 :(得分:0)
也许这是因为夏令时?比如,有时英国时间=法国时间,但在一年中的其他时间有1小时的差异......