Moduletime-1.16.0.1GHC2021

Data.Time.Clock.TAI

TAI and leap-second maps for converting to UTC: most people won't need this module.

Absolute Time

5 declarations

newtypenewtype AbsoluteTime

AbsoluteTime is TAI, time as measured by a clock.

Instances6Eq, Data, Ord, Show, NFData, Lift

Eq AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.Internal.AbsoluteTime
Data AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.Internal.AbsoluteTime
Ord AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.Internal.AbsoluteTime
Show AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.TAI · orphan
NFData AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.Internal.AbsoluteTime
Lift AbsoluteTimeDefined in time-1.16.0.1 · Data.Time.Clock.Internal.AbsoluteTime

valuetaiEpoch :: AbsoluteTime

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

valueaddAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime

addAbsoluteTime a b = a + b

valuediffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime

diffAbsoluteTime a b = a - b

valuetaiNominalDayStart :: Day -> AbsoluteTime

5 declarations

typetype LeapSecondMap = Day -> Maybe Int

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

valueutcDayLength :: LeapSecondMap -> Day -> Maybe DiffTime

valueutcToTAITime :: LeapSecondMap -> UTCTime -> Maybe AbsoluteTime

valuetaiToUTCTime :: LeapSecondMap -> AbsoluteTime -> Maybe UTCTime

valuetaiClock :: Maybe (DiffTime, IO AbsoluteTime)

TAI clock, if it exists. Note that it is unlikely to be set correctly, without due care and attention.

1 instance