gnss-converters-0.3.24: GNSS Converters.

CopyrightCopyright (C) 2016 Swift Navigation Inc.
LicenseLGPL-3
MaintainerSwift Navigation <dev@swiftnav.com>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Data.RTCM3.SBP.Time

Description

SBP GPS Time helpers.

Synopsis

Documentation

gpsLeapMillis :: Integer Source #

Number of GPS leap milliseconds.

hourMillis :: Integer Source #

Hour milliseconds

dayMillis :: Integer Source #

Day milliseconds

weekMillis :: Integer Source #

Number of milliseconds in a week.

toWn :: UTCTime -> Word16 Source #

Produce GPS week number from a GPS UTC time.

toStartDate :: (Integer, Int, Int) -> (Integer, Int, Int) Source #

Find the start of the GPS week, which is Sunday.

toTow :: UTCTime -> Word32 Source #

Produce GPS time of week from a GPS UTC time.

currentGpsTime :: MonadIO m => m GpsTime Source #

Get current GPS time.

rolloverTowGpsTime :: Word32 -> GpsTime -> GpsTime Source #

Update GPS time based on GPS time of week, handling week rollover.

rolloverEpochGpsTime :: Word32 -> GpsTime -> GpsTime Source #

Update GPS time based on GLONASS epoch, handling week rollover.