Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Synopsis
- data AbsoluteTime
- taiEpoch :: AbsoluteTime
- addAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime
- diffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime
- taiNominalDayStart :: Day -> AbsoluteTime
- type LeapSecondMap' = LeapSecondMap
- utcDayLength :: LeapSecondMap -> Day -> Maybe DiffTime
- utcToTAITime :: LeapSecondMap -> UTCTime -> Maybe AbsoluteTime
- taiToUTCTime :: LeapSecondMap -> AbsoluteTime -> Maybe UTCTime
- taiClock :: Maybe (DiffTime, IO AbsoluteTime)
TAI arithmetic
data AbsoluteTime #
AbsoluteTime is TAI, time as measured by a clock.
Instances
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
taiNominalDayStart :: Day -> AbsoluteTime #
leap-second map type
type LeapSecondMap' = LeapSecondMap Source #
This type is either LeapSecondMap
or LeapSecondTable
, depending
on the version of time
(changed in time-1.7.0
).
conversion between UTC and TAI with map
utcDayLength :: LeapSecondMap -> Day -> Maybe DiffTime #
utcToTAITime :: LeapSecondMap -> UTCTime -> Maybe AbsoluteTime #
taiToUTCTime :: LeapSecondMap -> AbsoluteTime -> Maybe UTCTime #