haskell - 「ZonedTime」に「Eq」または「Ord」インスタンスがないのはなぜですか

Question

timeパッケージには、との積ZonedTimeを表す型があります。には と のインスタンスがありますが、ありません。s は、少なくとも s と同じくらい絶対基準フレームから比較する必要があるように私には思えます。LocalTimelocalDay :: DaylocalTimeOfDay :: TimeOfDayLocalTimeEqOrdZonedTimeZonedTimeLocalTime

インスタンスもZonedTime持たないEqのはなぜですか？Ord

必要でない限り、非標準の時間型を使用したくないのですが、time書き換えthymeには実際にEqandインスタンスがあることに注意してください。Ord

Answer 1

その理由は、異なるゾーンが接続されている時間を比較する方法が完全に明確ではないためであり、それが意図されている場合は、それらをUTCTime使用zonedTimeToUTCして結果を比較するのは簡単であるためだと推測できます。

Answer 2

おそらくこれは、サマータイムのおかげでしょうか？たとえば、英国時間 = フランス時間の場合もありますが、他の時期は 1 時間の時差があります。