Im Paket time haben wir den Typ ZonedTime , der ein LocalTime ein Produkt von% darstellt. co_de% und localDay :: Day . localTimeOfDay :: TimeOfDay hat Instanzen für LocalTime und Eq , aber Ord nicht. Es scheint mir, dass ZonedTime s immer noch von einem absoluten Referenzrahmen verglichen werden sollte - zumindest so viel wie ZonedTime s sein könnte.
Warum hat LocalTime nicht auch ZonedTime und Eq Instanzen?
Es ist erwähnenswert, dass die Ord Neuschreiben time tatsächlich thyme und Eq Instanzen hat obwohl ich es vorziehen würde, nicht standardmäßige Zeittypen zu verwenden, wenn sie nicht benötigt werden.
Ich kann nur spekulieren, dass der Grund darin liegt, dass nicht ganz klar ist, wie oft Zonen mit unterschiedlichen Zonen verglichen werden sollen. Es ist einfach, sie in UTCTime mit zonedTimeToUTC zu konvertieren und die Ergebnisse zu vergleichen was ist beabsichtigt.
Vielleicht liegt das an der Sommerzeit? Wie, manchmal britische Zeit = französische Zeit, aber zu anderen Zeiten des Jahres gibt es einen Unterschied von 1 Stunde ...