sbp 1.2.6 → 1.2.7
raw patch · 4 files changed
+21/−21 lines, 4 files
Files
- sbp.cabal +1/−1
- src/SwiftNav/SBP/Gnss.hs +13/−13
- src/SwiftNav/SBP/Observation.hs +6/−6
- src/SwiftNav/SBP/Tracking.hs +1/−1
sbp.cabal view
@@ -1,5 +1,5 @@ name: sbp-version: 1.2.6+version: 1.2.7 synopsis: SwiftNav's SBP Library homepage: https://github.com/swift-nav/libsbp license: LGPL-3
@@ -58,25 +58,25 @@ -- -- A wire-appropriate GPS time, defined as the number of milliseconds since -- beginning of the week on the Saturday/Sunday transition.-data GPSTime = GPSTime- { _gPSTime_tow :: Word32+data GpsTime = GpsTime+ { _gpsTime_tow :: Word32 -- ^ Milliseconds since start of GPS week- , _gPSTime_wn :: Word16+ , _gpsTime_wn :: Word16 -- ^ GPS week number } deriving ( Show, Read, Eq ) -instance Binary GPSTime where+instance Binary GpsTime where get = do- _gPSTime_tow <- getWord32le- _gPSTime_wn <- getWord16le- return GPSTime {..}+ _gpsTime_tow <- getWord32le+ _gpsTime_wn <- getWord16le+ return GpsTime {..} - put GPSTime {..} = do- putWord32le _gPSTime_tow- putWord16le _gPSTime_wn-$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gPSTime_" . stripPrefix "_gPSTime_"}- ''GPSTime)-$(makeLenses ''GPSTime)+ put GpsTime {..} = do+ putWord32le _gpsTime_tow+ putWord16le _gpsTime_wn+$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gpsTime_" . stripPrefix "_gpsTime_"}+ ''GpsTime)+$(makeLenses ''GpsTime) -- | CarrierPhase. --
@@ -32,7 +32,7 @@ -- -- Header of a GPS observation message. data ObservationHeader = ObservationHeader- { _observationHeader_t :: GPSTime+ { _observationHeader_t :: GpsTime -- ^ GPS time of this observation , _observationHeader_n_obs :: Word8 -- ^ Total number of observations. First nibble is the size of the sequence@@ -201,7 +201,7 @@ data EphemerisCommonContent = EphemerisCommonContent { _ephemerisCommonContent_sid :: GnssSignal -- ^ GNSS signal identifier- , _ephemerisCommonContent_toe :: GPSTime+ , _ephemerisCommonContent_toe :: GpsTime -- ^ Time of Ephemerides , _ephemerisCommonContent_ura :: Double -- ^ User Range Accuracy@@ -289,7 +289,7 @@ -- ^ Polynomial clock correction coefficient (clock drift) , _msgEphemerisGps_af2 :: Double -- ^ Polynomial clock correction coefficient (rate of clock drift)- , _msgEphemerisGps_toc :: GPSTime+ , _msgEphemerisGps_toc :: GpsTime -- ^ Clock reference , _msgEphemerisGps_iode :: Word8 -- ^ Issue of ephemeris data@@ -1166,7 +1166,7 @@ -- utilize the ionospheric model for computation of the ionospheric delay. -- Please see ICD-GPS-200 (Chapter 20.3.3.5.1.7) for more details. data MsgIono = MsgIono- { _msgIono_t_nmct :: GPSTime+ { _msgIono_t_nmct :: GpsTime -- ^ Navigation Message Correction Table Valitidy Time , _msgIono_a0 :: Double , _msgIono_a1 :: Double@@ -1215,7 +1215,7 @@ -- -- Please see ICD-GPS-200 (Chapter 20.3.3.5.1.4) for more details. data MsgSvConfigurationGps = MsgSvConfigurationGps- { _msgSvConfigurationGps_t_nmct :: GPSTime+ { _msgSvConfigurationGps_t_nmct :: GpsTime -- ^ Navigation Message Correction Table Valitidy Time , _msgSvConfigurationGps_l2c_mask :: Word32 -- ^ L2C capability mask, SV32 bit being MSB, SV1 bit being LSB@@ -1244,7 +1244,7 @@ -- -- Please see ICD-GPS-200 (30.3.3.3.1.1) for more details. data MsgGroupDelay = MsgGroupDelay- { _msgGroupDelay_t_op :: GPSTime+ { _msgGroupDelay_t_op :: GpsTime -- ^ Data Predict Time of Week , _msgGroupDelay_prn :: Word8 -- ^ Satellite number
@@ -38,7 +38,7 @@ data MsgTrackingStateDetailed = MsgTrackingStateDetailed { _msgTrackingStateDetailed_recv_time :: Word64 -- ^ Receiver clock time.- , _msgTrackingStateDetailed_tot :: GPSTime+ , _msgTrackingStateDetailed_tot :: GpsTime -- ^ Time of transmission of signal from satellite. , _msgTrackingStateDetailed_P :: Word32 -- ^ Pseudorange observation.