Copyright | Copyright (C) 2015-2021 Swift Navigation Inc. |
---|---|
License | MIT |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
< Various structs shared between modules >
Synopsis
- data GnssSignal = GnssSignal {}
- data SvId = SvId {
- _svId_satId :: !Word8
- _svId_constellation :: !Word8
- gnssSignal_code :: Lens' GnssSignal Word8
- gnssSignal_sat :: Lens' GnssSignal Word8
- data GnssSignalDep = GnssSignalDep {}
- svId_constellation :: Lens' SvId Word8
- svId_satId :: Lens' SvId Word8
- data GpsTimeDep = GpsTimeDep {}
- gnssSignalDep_code :: Lens' GnssSignalDep Word8
- gnssSignalDep_reserved :: Lens' GnssSignalDep Word8
- gnssSignalDep_sat :: Lens' GnssSignalDep Word16
- data GpsTimeSec = GpsTimeSec {}
- 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.
GnssSignal | |
|
Instances
FromJSON GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss parseJSON :: Value -> Parser GnssSignal # parseJSONList :: Value -> Parser [GnssSignal] # | |
ToJSON GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss toJSON :: GnssSignal -> Value # toEncoding :: GnssSignal -> Encoding # toJSONList :: [GnssSignal] -> Value # toEncodingList :: [GnssSignal] -> Encoding # | |
Read GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss readsPrec :: Int -> ReadS GnssSignal # readList :: ReadS [GnssSignal] # readPrec :: ReadPrec GnssSignal # readListPrec :: ReadPrec [GnssSignal] # | |
Show GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss showsPrec :: Int -> GnssSignal -> ShowS # show :: GnssSignal -> String # showList :: [GnssSignal] -> ShowS # | |
Binary GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss | |
Eq GnssSignal Source # | |
Defined in SwiftNav.SBP.Gnss (==) :: GnssSignal -> GnssSignal -> Bool # (/=) :: GnssSignal -> GnssSignal -> Bool # |
SvId.
A (Constellation ID, satellite ID) tuple that uniquely identifies a space vehicle.
SvId | |
|
data GnssSignalDep Source #
GnssSignalDep.
Deprecated.
GnssSignalDep | |
|
Instances
FromJSON GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss parseJSON :: Value -> Parser GnssSignalDep # parseJSONList :: Value -> Parser [GnssSignalDep] # | |
ToJSON GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss toJSON :: GnssSignalDep -> Value # toEncoding :: GnssSignalDep -> Encoding # toJSONList :: [GnssSignalDep] -> Value # toEncodingList :: [GnssSignalDep] -> Encoding # | |
Read GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss readsPrec :: Int -> ReadS GnssSignalDep # readList :: ReadS [GnssSignalDep] # | |
Show GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss showsPrec :: Int -> GnssSignalDep -> ShowS # show :: GnssSignalDep -> String # showList :: [GnssSignalDep] -> ShowS # | |
Binary GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss | |
Eq GnssSignalDep Source # | |
Defined in SwiftNav.SBP.Gnss (==) :: GnssSignalDep -> GnssSignalDep -> Bool # (/=) :: GnssSignalDep -> GnssSignalDep -> Bool # |
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.
GpsTimeDep | |
|
Instances
FromJSON GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss parseJSON :: Value -> Parser GpsTimeDep # parseJSONList :: Value -> Parser [GpsTimeDep] # | |
ToJSON GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss toJSON :: GpsTimeDep -> Value # toEncoding :: GpsTimeDep -> Encoding # toJSONList :: [GpsTimeDep] -> Value # toEncodingList :: [GpsTimeDep] -> Encoding # | |
Read GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss readsPrec :: Int -> ReadS GpsTimeDep # readList :: ReadS [GpsTimeDep] # readPrec :: ReadPrec GpsTimeDep # readListPrec :: ReadPrec [GpsTimeDep] # | |
Show GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss showsPrec :: Int -> GpsTimeDep -> ShowS # show :: GpsTimeDep -> String # showList :: [GpsTimeDep] -> ShowS # | |
Binary GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss | |
Eq GpsTimeDep Source # | |
Defined in SwiftNav.SBP.Gnss (==) :: GpsTimeDep -> GpsTimeDep -> Bool # (/=) :: GpsTimeDep -> GpsTimeDep -> Bool # |
data GpsTimeSec Source #
GPSTimeSec.
A GPS time, defined as the number of seconds since beginning of the week on the Saturday/Sunday transition.
GpsTimeSec | |
|
Instances
FromJSON GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss parseJSON :: Value -> Parser GpsTimeSec # parseJSONList :: Value -> Parser [GpsTimeSec] # | |
ToJSON GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss toJSON :: GpsTimeSec -> Value # toEncoding :: GpsTimeSec -> Encoding # toJSONList :: [GpsTimeSec] -> Value # toEncodingList :: [GpsTimeSec] -> Encoding # | |
Read GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss readsPrec :: Int -> ReadS GpsTimeSec # readList :: ReadS [GpsTimeSec] # readPrec :: ReadPrec GpsTimeSec # readListPrec :: ReadPrec [GpsTimeSec] # | |
Show GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss showsPrec :: Int -> GpsTimeSec -> ShowS # show :: GpsTimeSec -> String # showList :: [GpsTimeSec] -> ShowS # | |
Binary GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss | |
Eq GpsTimeSec Source # | |
Defined in SwiftNav.SBP.Gnss (==) :: GpsTimeSec -> GpsTimeSec -> Bool # (/=) :: GpsTimeSec -> GpsTimeSec -> Bool # |
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.
GpsTime | |
|
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.
CarrierPhase | |
|
Instances
FromJSON CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss parseJSON :: Value -> Parser CarrierPhase # parseJSONList :: Value -> Parser [CarrierPhase] # | |
ToJSON CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss toJSON :: CarrierPhase -> Value # toEncoding :: CarrierPhase -> Encoding # toJSONList :: [CarrierPhase] -> Value # toEncodingList :: [CarrierPhase] -> Encoding # | |
Read CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss readsPrec :: Int -> ReadS CarrierPhase # readList :: ReadS [CarrierPhase] # | |
Show CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss showsPrec :: Int -> CarrierPhase -> ShowS # show :: CarrierPhase -> String # showList :: [CarrierPhase] -> ShowS # | |
Binary CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss | |
Eq CarrierPhase Source # | |
Defined in SwiftNav.SBP.Gnss (==) :: CarrierPhase -> CarrierPhase -> Bool # (/=) :: CarrierPhase -> CarrierPhase -> Bool # |