sbp 2.1.2 → 2.1.3
raw patch · 3 files changed
+9/−21 lines, 3 files
Files
- sbp.cabal +1/−1
- src/SwiftNav/SBP/Gnss.hs +4/−8
- src/SwiftNav/SBP/Observation.hs +4/−12
sbp.cabal view
@@ -1,5 +1,5 @@ name: sbp-version: 2.1.2+version: 2.1.3 synopsis: SwiftNav's SBP Library homepage: https://github.com/swift-nav/libsbp license: LGPL-3
@@ -30,8 +30,6 @@ -- | GnssSignal16. -- -- Signal identifier containing constellation, band, and satellite identifier--- - 0 GPS L1CA - 1 GPS L2CM - 2 SBAS L1CA - 3 GLO L1CA--- - 4 GLO L2CA - 5 GPS L1P - 6 GPS L2P data GnssSignal16 = GnssSignal16 { _gnssSignal16_sat :: Word8 -- ^ Constellation-specific satellite identifier@@ -105,11 +103,9 @@ -- | GPSTimeNano. ----- A wire-appropriate GPS time, defined as the number of milliseconds since--- beginning of the week on the Saturday/Sunday A wire-appropriate receiver--- clock time, defined as the time since the beginning of the week on the--- Saturday/Sunday transition. In most cases, observations are epoch aligned--- so ns field will be 0.+-- A wire-appropriate receiver clock time, defined as the time since the+-- beginning of the week on the Saturday/Sunday transition. In most cases,+-- observations are epoch aligned so ns field will be 0. data GpsTimeNano = GpsTimeNano { _gpsTimeNano_tow :: Word32 -- ^ Milliseconds since start of GPS week@@ -139,7 +135,7 @@ -- -- Carrier phase measurement in cycles represented as a 40-bit fixed point -- number with Q32.8 layout, i.e. 32-bits of whole cycles and 8-bits of--- fractional cycles. This phase has the same sign as the pseudorange.+-- fractional cycles. This phase has the same sign as the pseudorange. data CarrierPhase = CarrierPhase { _carrierPhase_i :: Int32 -- ^ Carrier phase whole cycles
@@ -56,7 +56,7 @@ -- -- Doppler measurement in Hz represented as a 24-bit fixed point number with -- Q16.8 layout, i.e. 16-bits of whole doppler and 8-bits of fractional--- doppler. This doppler is defined as positive for approaching satellites.+-- doppler. This doppler is defined as positive for approaching satellites. data Doppler = Doppler { _doppler_i :: Int16 -- ^ Doppler whole Hz@@ -94,9 +94,9 @@ , _packedObsContent_lock :: Word8 -- ^ Lock timer. This value gives an indication of the time for which a -- signal has maintained continuous phase lock. Whenever a signal has lost- -- and regained lock, this value is reset to zero. It is encoded according+ -- and regained lock, this value is reset to zero. It is encoded according -- to DF402 from the RTCM 10403.2 Amendment 2 specification. Valid values- -- range from 0 to 15 and the most significant nibble is reserved for+ -- range from 0 to 15 and the most significant nibble is reserved for -- future use. , _packedObsContent_flags :: Word8 -- ^ Measurement status flags. A bit field of flags providing the status of@@ -139,15 +139,7 @@ -- phase observation here is represented as a 40-bit fixed point number with -- Q32.8 layout (i.e. 32-bits of whole cycles and 8-bits of fractional cycles). -- The observations are be interoperable with 3rd party receivers and conform--- with typical RTCMv3 GNSS observations. The lock field represents the--- range of time for which a particular signal has maintained carrier phase--- lock. The minimum and maximum possible lock times for each value of the--- field can be described by the following piecewise function. Given the lock--- value, l, the minimum lock time is given by 2 ^ (l + 4) ms and the maximum--- lock time is given by 2 ^ (l + 5) ms provided n is not 0. If n is 0 the--- lower range is given to be 0 ms. Conversely, given a lock time (t) in--- milliseconds, the field value is given by floor(log_2(t) - 4) when t is--- greater than 32 ms or 0 if (t) is less than 32 ms.+-- with typical RTCMv3 GNSS observations. data MsgObs = MsgObs { _msgObs_header :: ObservationHeader -- ^ Header of a GPS observation message