Data.RTCM3.SBP

RTCMv3 to SBP Conversions.

Documentation

l1CSidCode :: Word8

SBP L1 GNSS signal value

See: https://github.com/swift-nav/libswiftnav/blob/master/include/libswiftnav/signal.h#L65

l2CMSidCode :: Word8

SBP L2CM GNSS signal value

See: https://github.com/swift-nav/libswiftnav/blob/master/include/libswiftnav/signal.h#L65

l2PSidCode :: Word8

sbpCMinM :: Double

q32Width :: Double

Q32.8 carrier phase representation width

toWn :: Word16 -> Word16

Convert from MJD to GPS week number

See DF051 of the RTCM3 spec

mjdEpoch :: Word16

MJD GPS Epoch - First day in GPS week 0. See DF051 of the RTCM3 spec

updateGpsTimeNano :: Word32 -> GpsTimeNano -> GpsTimeNano

If incoming TOW is less than stored TOW, rollover WN.

convert :: MonadStore e m => RTCM3Msg -> m [SBPMsg]

Convert an RTCM message into possibly multiple SBP messages.

newStore :: IO Store

validateIodcIode :: Word16 -> Word8 -> Word8

Validate IODE/IODC flags. The IODC and IODE flags (least significant bits) should be equal. IODC is Word16 while IODE is Word8, so we shift IODC to drop the most significant bits. We return a 1 if valid, 0 if invalid.

gpsUriToUra :: Double -> Double

Convert between RTCM/GPS URA ("User Range Accuracy") index to a number in meters. See section 2.5.3, "User Range Accuracy", in the GPS signal specification. Indices 1, 3, and 5 are hard-coded according to spec, and 15 is hard-coded according to SBP/Piksi convention.