data AbsoluteTime Source

AbsoluteTime is TAI, time as measured by a clock.

taiEpoch :: AbsoluteTime Source

The epoch of TAI, which is 1858-11-17 00:00:00 TAI.

addAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime Source

addAbsoluteTime a b = a + b

diffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime Source

diffAbsoluteTime a b = a - b

type LeapSecondTable = Day -> Integer Source

TAI - UTC during this day. No table is provided, as any program compiled with it would become out of date in six months.

utcDayLength :: LeapSecondTable -> Day -> DiffTime Source

utcToTAITime :: LeapSecondTable -> UTCTime -> AbsoluteTime Source

taiToUTCTime :: LeapSecondTable -> AbsoluteTime -> UTCTime Source

parseTAIUTCDATFile :: String -> LeapSecondTable Source

Parse the contents of a tai-utc.dat file. This does not do any kind of validation and will return a bad table for input not in the correct format.