Bjorn Buckwalter wrote:
Dear all,
I've implemented 'ParseTime' and 'Read' instances for 'AbsoluteTime'. Before submitting a patch I want to confirm with you that they belong in 'Data.Time.Format.Parse' as opposed to 'Data.Time.Clock.TAI'. Is this correct?
I'm not sure if it matters, since it is instances rather than new exported symbols, and anyone using those instances must have both AbsoluteTime and ParseTime in scope already.
I'm doing work on additional time coordinates of interest to e.g. astrodynamicists. In particular Terrestrial Time (TT = TAI + 32.184 seconds, previously known as Terrestrial Dynamical Time or TDT) and perhaps Geocentric Coordinate Time (TCG) and others. Would you be interested in receiving patches with these rather esoteric time coordinates? If not I'll release them in a new "time-astro" package.
Are you going to create a new type for TT? TT is isomorphic to TAI in the category of measurements. I've generally tried to avoid separate types for isomorphic measurements. That's why it's called AbsoluteTime rather than TAITime... -- Ashley Yakeley