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