Perché non 'ZonedTime' hanno un 'eq' o 'Ord' esempio

Question

Nel pacchetto time abbiamo il tipo ZonedTime che rappresenta un LocalTime un prodotto di localDay :: Day e localTimeOfDay :: TimeOfDay. LocalTime ha istanze per Eq e Ord, ma non lo è ZonedTime. Mi sembra che gli ZonedTime debbano essere paragonati a un fotogramma di riferimento assoluto ancora, almeno fino a LocalTime s.

Perché lo ZonedTime ha anche istanze Eq e Ord?

Vale la pena notare che il time riscrittura thyme in realtà non ha Eq e Ord casi, anche se io preferisco non utilizzare i tipi di tempo non standard a meno che non necessario.

Answer 1

Posso solo ipotizzare che il motivo sia che non è del tutto chiaro in che modo devono essere confrontati i tempi che hanno zone diverse collegate, ed è abbastanza facile convertirli in UTCTime usando zonedTimeToUTC e confrontare i risultati se questo è ciò che è inteso.

Answer 2

Forse questo è dovuto all'ora legale? Ad esempio, a volte l'ora del Regno Unito = ora francese, ma in altri periodi dell'anno c'è una differenza di 1 ora ...