SwiftNav.SBP.Gnss

Various structs shared between modules

Documentation

data GnssSignal16

GnssSignal16.

Signal identifier containing constellation, band, and satellite identifier

Constructors

GnssSignal16

Fields

• _gnssSignal16_sat :: Word8

  Constellation-specific satellite identifier

• _gnssSignal16_code :: Word8

  Signal constellation, band and code

Instances

Eq GnssSignal16

Methods

(==) :: GnssSignal16 -> GnssSignal16 -> Bool

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

Read GnssSignal16

Methods

readsPrec :: Int -> ReadS GnssSignal16

readList :: ReadS [GnssSignal16]

readPrec :: ReadPrec GnssSignal16

readListPrec :: ReadPrec [GnssSignal16]

Show GnssSignal16

Methods

showsPrec :: Int -> GnssSignal16 -> ShowS

show :: GnssSignal16 -> String

showList :: [GnssSignal16] -> ShowS

ToJSON GnssSignal16

Methods

toJSON :: GnssSignal16 -> Value

toEncoding :: GnssSignal16 -> Encoding

FromJSON GnssSignal16

Methods

parseJSON :: Value -> Parser GnssSignal16

Binary GnssSignal16

Methods

put :: GnssSignal16 -> Put

get :: Get GnssSignal16

putList :: [GnssSignal16] -> Put

gnssSignal16_sat :: Lens' GnssSignal16 Word8

gnssSignal16_code :: Lens' GnssSignal16 Word8

data GnssSignal

GnssSignal.

Signal identifier containing constellation, band, and satellite identifier

Constructors

GnssSignal

Fields

• _gnssSignal_sat :: Word16

  Constellation-specific satellite identifier. Note: unlike GnssSignal16, GPS satellites are encoded as (PRN - 1). Other constellations do not have this offset.

• _gnssSignal_code :: Word8

  Signal constellation, band and code

• _gnssSignal_reserved :: Word8

  Reserved

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

FromJSON GnssSignal

Methods

parseJSON :: Value -> Parser GnssSignal

Binary GnssSignal

Methods

put :: GnssSignal -> Put

get :: Get GnssSignal

putList :: [GnssSignal] -> Put

gnssSignal_sat :: Lens' GnssSignal Word16

gnssSignal_reserved :: Lens' GnssSignal Word8

gnssSignal_code :: Lens' GnssSignal Word8

data GpsTime

GPSTime.

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

Constructors

GpsTime

Fields

• _gpsTime_tow :: Word32

  Milliseconds since start of GPS week

• _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

FromJSON GpsTime

Methods

parseJSON :: 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

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

FromJSON GpsTimeSec

Methods

parseJSON :: 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 GpsTimeNano

GPSTimeNano.

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

GpsTimeNano

Fields

• _gpsTimeNano_tow :: Word32

  Milliseconds since start of GPS week

• _gpsTimeNano_ns_residual :: Int32

  Nanosecond residual of millisecond-rounded TOW (ranges from -500000 to 500000)

• _gpsTimeNano_wn :: Word16

  GPS week number

Instances

Eq GpsTimeNano

Methods

(==) :: GpsTimeNano -> GpsTimeNano -> Bool

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

Read GpsTimeNano

Methods

readsPrec :: Int -> ReadS GpsTimeNano

readList :: ReadS [GpsTimeNano]

readPrec :: ReadPrec GpsTimeNano

readListPrec :: ReadPrec [GpsTimeNano]

Show GpsTimeNano

Methods

showsPrec :: Int -> GpsTimeNano -> ShowS

show :: GpsTimeNano -> String

showList :: [GpsTimeNano] -> ShowS

ToJSON GpsTimeNano

Methods

toJSON :: GpsTimeNano -> Value

toEncoding :: GpsTimeNano -> Encoding

FromJSON GpsTimeNano

Methods

parseJSON :: Value -> Parser GpsTimeNano

Binary GpsTimeNano

Methods

put :: GpsTimeNano -> Put

get :: Get GpsTimeNano

putList :: [GpsTimeNano] -> Put

gpsTimeNano_wn :: Lens' GpsTimeNano Word16

gpsTimeNano_tow :: Lens' GpsTimeNano Word32

gpsTimeNano_ns_residual :: Lens' GpsTimeNano 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

FromJSON CarrierPhase

Methods

parseJSON :: 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