| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Thyme.Clock.TAI
- data AbsoluteTime
- taiEpoch :: AbsoluteTime
- type LeapSecondTable = Either UTCTime AbsoluteTime -> DiffTime
- utcDayLength :: LeapSecondTable -> Day -> DiffTime
- absoluteTime :: LeapSecondTable -> Iso' UTCTime AbsoluteTime
- parseTAIUTCDAT :: ByteString -> LeapSecondTable
Documentation
data AbsoluteTime Source #
Instances
| Bounded AbsoluteTime Source # | |
| Enum AbsoluteTime Source # | |
| Eq AbsoluteTime Source # | |
| Data AbsoluteTime Source # | |
| Ord AbsoluteTime Source # | |
| Show AbsoluteTime Source # | |
| Ix AbsoluteTime Source # | |
| Generic AbsoluteTime Source # | |
| NFData AbsoluteTime Source # | |
| Unbox AbsoluteTime Source # | |
| Random AbsoluteTime Source # | |
| CoArbitrary AbsoluteTime Source # | |
| Arbitrary AbsoluteTime Source # | |
| AffineSpace AbsoluteTime Source # | |
| ParseTime AbsoluteTime Source # | |
| FormatTime AbsoluteTime Source # | |
| Vector Vector AbsoluteTime Source # | |
| MVector MVector AbsoluteTime Source # | |
| Thyme AbsoluteTime AbsoluteTime Source # | |
| type Rep AbsoluteTime Source # | |
| data Vector AbsoluteTime Source # | |
| type Diff AbsoluteTime Source # | |
| data MVector s AbsoluteTime Source # | |
taiEpoch :: AbsoluteTime Source #
The epoch of TAI, which is 1858-11-17 00:00:00 TAI.
type LeapSecondTable = Either UTCTime AbsoluteTime -> DiffTime Source #
utcDayLength :: LeapSecondTable -> Day -> DiffTime Source #
absoluteTime :: LeapSecondTable -> Iso' UTCTime AbsoluteTime Source #
parseTAIUTCDAT :: ByteString -> LeapSecondTable Source #
tai-utc.dat from http://maia.usno.navy.mil/ser7/tai-utc.dat