Data.Thyme.Clock.TAI

Documentation

data AbsoluteTime

Instances

Bounded AbsoluteTime

Enum AbsoluteTime

Eq AbsoluteTime

Data AbsoluteTime

Ord AbsoluteTime

Show AbsoluteTime

Ix AbsoluteTime

Generic AbsoluteTime

Arbitrary AbsoluteTime

CoArbitrary AbsoluteTime

NFData AbsoluteTime

Unbox AbsoluteTime

Random AbsoluteTime

AffineSpace AbsoluteTime

ParseTime AbsoluteTime

FormatTime AbsoluteTime

Typeable * AbsoluteTime

Vector Vector AbsoluteTime

MVector MVector AbsoluteTime

Thyme AbsoluteTime AbsoluteTime

type Rep AbsoluteTime

data Vector AbsoluteTime = V_AbsoluteTime (Vector DiffTime)

type Diff AbsoluteTime = DiffTime

data MVector s0 AbsoluteTime = MV_AbsoluteTime (MVector s DiffTime)

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