| |||||||||||||||||
| |||||||||||||||||
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 |