| |||||||||||||||||
| |||||||||||||||||
| Description | |||||||||||||||||
| TAI and leap-second tables for converting to UTC: most people won't need this module. | |||||||||||||||||
| Synopsis | |||||||||||||||||
| |||||||||||||||||
| Documentation | |||||||||||||||||
| data AbsoluteTime | |||||||||||||||||
| |||||||||||||||||
| taiEpoch :: AbsoluteTime | |||||||||||||||||
| The epoch of TAI, which is 1858-11-17 00:00:00 TAI. | |||||||||||||||||
| addAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime | |||||||||||||||||
| addAbsoluteTime a b = a + b | |||||||||||||||||
| diffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime | |||||||||||||||||
| diffAbsoluteTime a b = a - b | |||||||||||||||||
| type LeapSecondTable = Day -> Integer | |||||||||||||||||
| 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 | |||||||||||||||||
| utcToTAITime :: LeapSecondTable -> UTCTime -> AbsoluteTime | |||||||||||||||||
| taiToUTCTime :: LeapSecondTable -> AbsoluteTime -> UTCTime | |||||||||||||||||
| parseTAIUTCDATFile :: String -> LeapSecondTable | |||||||||||||||||
| 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. | |||||||||||||||||
| Produced by Haddock version 0.8 |