Copyright	Copyright (C) 2015-2018 Swift Navigation Inc.
License	LGPL-3
Maintainer	Swift Navigation <dev@swiftnav.com>
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

SwiftNav.SBP.Gnss

Description

Various structs shared between modules

Synopsis

data GnssSignal = GnssSignal {
- _gnssSignal_sat :: !Word8
- _gnssSignal_code :: !Word8
}
data GnssSignalDep = GnssSignalDep {
- _gnssSignalDep_sat :: !Word16
- _gnssSignalDep_code :: !Word8
- _gnssSignalDep_reserved :: !Word8
}
gnssSignal_code :: Lens' GnssSignal Word8
gnssSignal_sat :: Lens' GnssSignal Word8
data GpsTimeDep = GpsTimeDep {
- _gpsTimeDep_tow :: !Word32
- _gpsTimeDep_wn :: !Word16
}
gnssSignalDep_code :: Lens' GnssSignalDep Word8
gnssSignalDep_reserved :: Lens' GnssSignalDep Word8
gnssSignalDep_sat :: Lens' GnssSignalDep Word16
data GpsTimeSec = GpsTimeSec {
- _gpsTimeSec_tow :: !Word32
- _gpsTimeSec_wn :: !Word16
}
gpsTimeDep_tow :: Lens' GpsTimeDep Word32
gpsTimeDep_wn :: Lens' GpsTimeDep Word16
data GpsTime = GpsTime {
- _gpsTime_tow :: !Word32
- _gpsTime_ns_residual :: !Int32
- _gpsTime_wn :: !Word16
}
gpsTimeSec_tow :: Lens' GpsTimeSec Word32
gpsTimeSec_wn :: Lens' GpsTimeSec Word16
data CarrierPhase = CarrierPhase {
- _carrierPhase_i :: !Int32
- _carrierPhase_f :: !Word8
}
gpsTime_ns_residual :: Lens' GpsTime Int32
gpsTime_tow :: Lens' GpsTime Word32
gpsTime_wn :: Lens' GpsTime Word16
carrierPhase_f :: Lens' CarrierPhase Word8
carrierPhase_i :: Lens' CarrierPhase Int32

Documentation

data GnssSignal Source #

GnssSignal.

Signal identifier containing constellation, band, and satellite identifier

Constructors

GnssSignal
Fields _gnssSignal_sat :: !Word8 Constellation-specific satellite identifier. This field for Glonass can either be (100+FCN) where FCN is in [-7,+6] or the Slot ID in [1,28] _gnssSignal_code :: !Word8 Signal constellation, band and code

Instances

Eq GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: GnssSignal -> GnssSignal -> Bool # (/=) :: GnssSignal -> GnssSignal -> Bool #
Read GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS GnssSignal # readList :: ReadS [GnssSignal] # readPrec :: ReadPrec GnssSignal # readListPrec :: ReadPrec [GnssSignal] #
Show GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> GnssSignal -> ShowS # show :: GnssSignal -> String # showList :: [GnssSignal] -> ShowS #
ToJSON GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: GnssSignal -> Value # toEncoding :: GnssSignal -> Encoding # toJSONList :: [GnssSignal] -> Value # toEncodingList :: [GnssSignal] -> Encoding #
FromJSON GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser GnssSignal # parseJSONList :: Value -> Parser [GnssSignal] #
Binary GnssSignal Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: GnssSignal -> Put # get :: Get GnssSignal # putList :: [GnssSignal] -> Put #

data GnssSignalDep Source #

GnssSignalDep.

Deprecated.

Constructors

GnssSignalDep
Fields _gnssSignalDep_sat :: !Word16 Constellation-specific satellite identifier. Note: unlike GnssSignal, GPS satellites are encoded as (PRN - 1). Other constellations do not have this offset. _gnssSignalDep_code :: !Word8 Signal constellation, band and code _gnssSignalDep_reserved :: !Word8 Reserved

Instances

Eq GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: GnssSignalDep -> GnssSignalDep -> Bool # (/=) :: GnssSignalDep -> GnssSignalDep -> Bool #
Read GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS GnssSignalDep # readList :: ReadS [GnssSignalDep] # readPrec :: ReadPrec GnssSignalDep # readListPrec :: ReadPrec [GnssSignalDep] #
Show GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> GnssSignalDep -> ShowS # show :: GnssSignalDep -> String # showList :: [GnssSignalDep] -> ShowS #
ToJSON GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: GnssSignalDep -> Value # toEncoding :: GnssSignalDep -> Encoding # toJSONList :: [GnssSignalDep] -> Value # toEncodingList :: [GnssSignalDep] -> Encoding #
FromJSON GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser GnssSignalDep # parseJSONList :: Value -> Parser [GnssSignalDep] #
Binary GnssSignalDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: GnssSignalDep -> Put # get :: Get GnssSignalDep # putList :: [GnssSignalDep] -> Put #

gnssSignal_code :: Lens' GnssSignal Word8 Source #

gnssSignal_sat :: Lens' GnssSignal Word8 Source #

data GpsTimeDep Source #

GPSTimeDep.

A wire-appropriate GPS time, defined as the number of milliseconds since beginning of the week on the Saturday/Sunday transition.

Constructors

GpsTimeDep
Fields _gpsTimeDep_tow :: !Word32 Milliseconds since start of GPS week _gpsTimeDep_wn :: !Word16 GPS week number

Instances

Eq GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: GpsTimeDep -> GpsTimeDep -> Bool # (/=) :: GpsTimeDep -> GpsTimeDep -> Bool #
Read GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS GpsTimeDep # readList :: ReadS [GpsTimeDep] # readPrec :: ReadPrec GpsTimeDep # readListPrec :: ReadPrec [GpsTimeDep] #
Show GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> GpsTimeDep -> ShowS # show :: GpsTimeDep -> String # showList :: [GpsTimeDep] -> ShowS #
ToJSON GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: GpsTimeDep -> Value # toEncoding :: GpsTimeDep -> Encoding # toJSONList :: [GpsTimeDep] -> Value # toEncodingList :: [GpsTimeDep] -> Encoding #
FromJSON GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser GpsTimeDep # parseJSONList :: Value -> Parser [GpsTimeDep] #
Binary GpsTimeDep Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: GpsTimeDep -> Put # get :: Get GpsTimeDep # putList :: [GpsTimeDep] -> Put #

gnssSignalDep_code :: Lens' GnssSignalDep Word8 Source #

gnssSignalDep_reserved :: Lens' GnssSignalDep Word8 Source #

gnssSignalDep_sat :: Lens' GnssSignalDep Word16 Source #

data GpsTimeSec Source #

GPSTimeSec.

A GPS time, defined as the number of seconds since beginning of the week on the Saturday/Sunday transition.

Constructors

GpsTimeSec
Fields _gpsTimeSec_tow :: !Word32 Seconds since start of GPS week _gpsTimeSec_wn :: !Word16 GPS week number

Instances

Eq GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: GpsTimeSec -> GpsTimeSec -> Bool # (/=) :: GpsTimeSec -> GpsTimeSec -> Bool #
Read GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS GpsTimeSec # readList :: ReadS [GpsTimeSec] # readPrec :: ReadPrec GpsTimeSec # readListPrec :: ReadPrec [GpsTimeSec] #
Show GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> GpsTimeSec -> ShowS # show :: GpsTimeSec -> String # showList :: [GpsTimeSec] -> ShowS #
ToJSON GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: GpsTimeSec -> Value # toEncoding :: GpsTimeSec -> Encoding # toJSONList :: [GpsTimeSec] -> Value # toEncodingList :: [GpsTimeSec] -> Encoding #
FromJSON GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser GpsTimeSec # parseJSONList :: Value -> Parser [GpsTimeSec] #
Binary GpsTimeSec Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: GpsTimeSec -> Put # get :: Get GpsTimeSec # putList :: [GpsTimeSec] -> Put #

gpsTimeDep_tow :: Lens' GpsTimeDep Word32 Source #

gpsTimeDep_wn :: Lens' GpsTimeDep Word16 Source #

data GpsTime Source #

GPSTime.

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.

Constructors

GpsTime
Fields _gpsTime_tow :: !Word32 Milliseconds since start of GPS week _gpsTime_ns_residual :: !Int32 Nanosecond residual of millisecond-rounded TOW (ranges from -500000 to 500000) _gpsTime_wn :: !Word16 GPS week number

Instances

Eq GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: GpsTime -> GpsTime -> Bool # (/=) :: GpsTime -> GpsTime -> Bool #
Read GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS GpsTime # readList :: ReadS [GpsTime] # readPrec :: ReadPrec GpsTime # readListPrec :: ReadPrec [GpsTime] #
Show GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> GpsTime -> ShowS # show :: GpsTime -> String # showList :: [GpsTime] -> ShowS #
ToJSON GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: GpsTime -> Value # toEncoding :: GpsTime -> Encoding # toJSONList :: [GpsTime] -> Value # toEncodingList :: [GpsTime] -> Encoding #
FromJSON GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser GpsTime # parseJSONList :: Value -> Parser [GpsTime] #
Binary GpsTime Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: GpsTime -> Put # get :: Get GpsTime # putList :: [GpsTime] -> Put #

gpsTimeSec_tow :: Lens' GpsTimeSec Word32 Source #

gpsTimeSec_wn :: Lens' GpsTimeSec Word16 Source #

data CarrierPhase Source #

CarrierPhase.

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.

Constructors

CarrierPhase
Fields _carrierPhase_i :: !Int32 Carrier phase whole cycles _carrierPhase_f :: !Word8 Carrier phase fractional part

Instances

Eq CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods (==) :: CarrierPhase -> CarrierPhase -> Bool # (/=) :: CarrierPhase -> CarrierPhase -> Bool #
Read CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods readsPrec :: Int -> ReadS CarrierPhase # readList :: ReadS [CarrierPhase] # readPrec :: ReadPrec CarrierPhase # readListPrec :: ReadPrec [CarrierPhase] #
Show CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods showsPrec :: Int -> CarrierPhase -> ShowS # show :: CarrierPhase -> String # showList :: [CarrierPhase] -> ShowS #
ToJSON CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods toJSON :: CarrierPhase -> Value # toEncoding :: CarrierPhase -> Encoding # toJSONList :: [CarrierPhase] -> Value # toEncodingList :: [CarrierPhase] -> Encoding #
FromJSON CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods parseJSON :: Value -> Parser CarrierPhase # parseJSONList :: Value -> Parser [CarrierPhase] #
Binary CarrierPhase Source #
Instance details Defined in SwiftNav.SBP.Gnss Methods put :: CarrierPhase -> Put # get :: Get CarrierPhase # putList :: [CarrierPhase] -> Put #

gpsTime_ns_residual :: Lens' GpsTime Int32 Source #

gpsTime_tow :: Lens' GpsTime Word32 Source #

gpsTime_wn :: Lens' GpsTime Word16 Source #

carrierPhase_f :: Lens' CarrierPhase Word8 Source #

carrierPhase_i :: Lens' CarrierPhase Int32 Source #