在time
包中,我们有ZonedTime
代表和LocalTime
乘积的类型。有和的实例,但没有。在我看来,仍然应该从绝对参考系中比较 s —— 至少尽可能多地比较s 。localDay :: Day
localTimeOfDay :: TimeOfDay
LocalTime
Eq
Ord
ZonedTime
ZonedTime
LocalTime
为什么也没有ZonedTime
和Eq
实例Ord
?
值得注意的是,time
重写thyme
实际上确实有Eq
和Ord
实例,尽管除非需要,否则我不希望使用非标准时间类型。