Data.Thyme.Clock.TAI

Documentation

data AbsoluteTime

Instances

Bounded AbsoluteTime

Enum AbsoluteTime

Eq AbsoluteTime

Data AbsoluteTime

Ord AbsoluteTime

Show AbsoluteTime

Ix AbsoluteTime

Typeable AbsoluteTime

Arbitrary AbsoluteTime

NFData AbsoluteTime

Random AbsoluteTime

AffineSpace AbsoluteTime

FormatTime AbsoluteTime

ParseTime AbsoluteTime

Thyme AbsoluteTime AbsoluteTime

taiEpoch :: AbsoluteTime

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

type LeapSecondTable = Either UTCTime AbsoluteTime -> DiffTime

utcDayLength :: LeapSecondTable -> Day -> DiffTime

absoluteTime :: LeapSecondTable -> Iso' UTCTime AbsoluteTime

parseTAIUTCDAT :: ByteString -> LeapSecondTable

tai-utc.dat from http://maia.usno.navy.mil/ser7/tai-utc.dat