SwiftNav.SBP.Gnss

Various structs shared between modules

Documentation

data GnssSignal

GnssSignal.

Signal identifier containing constellation, band, and satellite identifier

Constructors

GnssSignal

Fields

• _gnssSignal_sat :: !Word8

  Constellation-specific satellite identifier

• _gnssSignal_code :: !Word8

  Signal constellation, band and code

Instances

Eq GnssSignal

Methods

(==) :: GnssSignal -> GnssSignal -> Bool

(/=) :: GnssSignal -> GnssSignal -> Bool

Read GnssSignal

Methods

readsPrec :: Int -> ReadS GnssSignal

readList :: ReadS [GnssSignal]

readPrec :: ReadPrec GnssSignal

readListPrec :: ReadPrec [GnssSignal]

Show GnssSignal

Methods

showsPrec :: Int -> GnssSignal -> ShowS

show :: GnssSignal -> String

showList :: [GnssSignal] -> ShowS

ToJSON GnssSignal

Methods

toJSON :: GnssSignal -> Value

toEncoding :: GnssSignal -> Encoding

toJSONList :: [GnssSignal] -> Value

toEncodingList :: [GnssSignal] -> Encoding

FromJSON GnssSignal

Methods

parseJSON :: Value -> Parser GnssSignal

parseJSONList :: Value -> Parser [GnssSignal]

Binary GnssSignal

Methods

put :: GnssSignal -> Put

get :: Get GnssSignal

putList :: [GnssSignal] -> Put

gnssSignal_sat :: Lens' GnssSignal Word8

gnssSignal_code :: Lens' GnssSignal Word8

data GnssSignalDep

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

Methods

(==) :: GnssSignalDep -> GnssSignalDep -> Bool

(/=) :: GnssSignalDep -> GnssSignalDep -> Bool

Read GnssSignalDep

Methods

readsPrec :: Int -> ReadS GnssSignalDep

readList :: ReadS [GnssSignalDep]

readPrec :: ReadPrec GnssSignalDep

readListPrec :: ReadPrec [GnssSignalDep]

Show GnssSignalDep

Methods

showsPrec :: Int -> GnssSignalDep -> ShowS

show :: GnssSignalDep -> String

showList :: [GnssSignalDep] -> ShowS

ToJSON GnssSignalDep

Methods

toJSON :: GnssSignalDep -> Value

toEncoding :: GnssSignalDep -> Encoding

toJSONList :: [GnssSignalDep] -> Value

toEncodingList :: [GnssSignalDep] -> Encoding

FromJSON GnssSignalDep

Methods

parseJSON :: Value -> Parser GnssSignalDep

parseJSONList :: Value -> Parser [GnssSignalDep]

Binary GnssSignalDep

Methods

put :: GnssSignalDep -> Put

get :: Get GnssSignalDep

putList :: [GnssSignalDep] -> Put

gnssSignalDep_sat :: Lens' GnssSignalDep Word16

gnssSignalDep_reserved :: Lens' GnssSignalDep Word8

gnssSignalDep_code :: Lens' GnssSignalDep Word8

data GpsTimeDep

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

Methods

(==) :: GpsTimeDep -> GpsTimeDep -> Bool

(/=) :: GpsTimeDep -> GpsTimeDep -> Bool

Read GpsTimeDep

Methods

readsPrec :: Int -> ReadS GpsTimeDep

readList :: ReadS [GpsTimeDep]

readPrec :: ReadPrec GpsTimeDep

readListPrec :: ReadPrec [GpsTimeDep]

Show GpsTimeDep

Methods

showsPrec :: Int -> GpsTimeDep -> ShowS

show :: GpsTimeDep -> String

showList :: [GpsTimeDep] -> ShowS

ToJSON GpsTimeDep

Methods

toJSON :: GpsTimeDep -> Value

toEncoding :: GpsTimeDep -> Encoding

toJSONList :: [GpsTimeDep] -> Value

toEncodingList :: [GpsTimeDep] -> Encoding

FromJSON GpsTimeDep

Methods

parseJSON :: Value -> Parser GpsTimeDep

parseJSONList :: Value -> Parser [GpsTimeDep]

Binary GpsTimeDep

Methods

put :: GpsTimeDep -> Put

get :: Get GpsTimeDep

putList :: [GpsTimeDep] -> Put

gpsTimeDep_wn :: Lens' GpsTimeDep Word16

gpsTimeDep_tow :: Lens' GpsTimeDep Word32

data GpsTimeSec

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

Methods

(==) :: GpsTimeSec -> GpsTimeSec -> Bool

(/=) :: GpsTimeSec -> GpsTimeSec -> Bool

Read GpsTimeSec

Methods

readsPrec :: Int -> ReadS GpsTimeSec

readList :: ReadS [GpsTimeSec]

readPrec :: ReadPrec GpsTimeSec

readListPrec :: ReadPrec [GpsTimeSec]

Show GpsTimeSec

Methods

showsPrec :: Int -> GpsTimeSec -> ShowS

show :: GpsTimeSec -> String

showList :: [GpsTimeSec] -> ShowS

ToJSON GpsTimeSec

Methods

toJSON :: GpsTimeSec -> Value

toEncoding :: GpsTimeSec -> Encoding

toJSONList :: [GpsTimeSec] -> Value

toEncodingList :: [GpsTimeSec] -> Encoding

FromJSON GpsTimeSec

Methods

parseJSON :: Value -> Parser GpsTimeSec

parseJSONList :: Value -> Parser [GpsTimeSec]

Binary GpsTimeSec

Methods

put :: GpsTimeSec -> Put

get :: Get GpsTimeSec

putList :: [GpsTimeSec] -> Put

gpsTimeSec_wn :: Lens' GpsTimeSec Word16

gpsTimeSec_tow :: Lens' GpsTimeSec Word32

data GpsTime

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

Methods

(==) :: GpsTime -> GpsTime -> Bool

(/=) :: GpsTime -> GpsTime -> Bool

Read GpsTime

Methods

readsPrec :: Int -> ReadS GpsTime

readList :: ReadS [GpsTime]

readPrec :: ReadPrec GpsTime

readListPrec :: ReadPrec [GpsTime]

Show GpsTime

Methods

showsPrec :: Int -> GpsTime -> ShowS

show :: GpsTime -> String

showList :: [GpsTime] -> ShowS

ToJSON GpsTime

Methods

toJSON :: GpsTime -> Value

toEncoding :: GpsTime -> Encoding

toJSONList :: [GpsTime] -> Value

toEncodingList :: [GpsTime] -> Encoding

FromJSON GpsTime

Methods

parseJSON :: Value -> Parser GpsTime

parseJSONList :: Value -> Parser [GpsTime]

Binary GpsTime

Methods

put :: GpsTime -> Put

get :: Get GpsTime

putList :: [GpsTime] -> Put

gpsTime_wn :: Lens' GpsTime Word16

gpsTime_tow :: Lens' GpsTime Word32

gpsTime_ns_residual :: Lens' GpsTime Int32

data CarrierPhase

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

Methods

(==) :: CarrierPhase -> CarrierPhase -> Bool

(/=) :: CarrierPhase -> CarrierPhase -> Bool

Read CarrierPhase

Methods

readsPrec :: Int -> ReadS CarrierPhase

readList :: ReadS [CarrierPhase]

readPrec :: ReadPrec CarrierPhase

readListPrec :: ReadPrec [CarrierPhase]

Show CarrierPhase

Methods

showsPrec :: Int -> CarrierPhase -> ShowS

show :: CarrierPhase -> String

showList :: [CarrierPhase] -> ShowS

ToJSON CarrierPhase

Methods

toJSON :: CarrierPhase -> Value

toEncoding :: CarrierPhase -> Encoding

toJSONList :: [CarrierPhase] -> Value

toEncodingList :: [CarrierPhase] -> Encoding

FromJSON CarrierPhase

Methods

parseJSON :: Value -> Parser CarrierPhase

parseJSONList :: Value -> Parser [CarrierPhase]

Binary CarrierPhase

Methods

put :: CarrierPhase -> Put

get :: Get CarrierPhase

putList :: [CarrierPhase] -> Put

carrierPhase_i :: Lens' CarrierPhase Int32

carrierPhase_f :: Lens' CarrierPhase Word8