Copyright	Copyright (C) 2015-2021 Swift Navigation Inc.
License	MIT
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

SwiftNav.SBP.Integrity

Description

< Integrity flag messages >

Synopsis

data IntegritySSRHeader = IntegritySSRHeader {
- _integritySSRHeader_obs_time :: !GpsTimeSec
- _integritySSRHeader_num_msgs :: !Word8
- _integritySSRHeader_seq_num :: !Word8
- _integritySSRHeader_ssr_sol_id :: !Word8
- _integritySSRHeader_tile_set_id :: !Word16
- _integritySSRHeader_tile_id :: !Word16
- _integritySSRHeader_chain_id :: !Word8
}
data MsgSsrFlagHighLevel = MsgSsrFlagHighLevel {
- _msgSsrFlagHighLevel_obs_time :: !GpsTimeSec
- _msgSsrFlagHighLevel_corr_time :: !GpsTimeSec
- _msgSsrFlagHighLevel_ssr_sol_id :: !Word8
- _msgSsrFlagHighLevel_tile_set_id :: !Word16
- _msgSsrFlagHighLevel_tile_id :: !Word16
- _msgSsrFlagHighLevel_chain_id :: !Word8
- _msgSsrFlagHighLevel_use_gps_sat :: !Word8
- _msgSsrFlagHighLevel_use_gal_sat :: !Word8
- _msgSsrFlagHighLevel_use_bds_sat :: !Word8
- _msgSsrFlagHighLevel_reserved :: ![Word8]
- _msgSsrFlagHighLevel_use_tropo_grid_points :: !Word8
- _msgSsrFlagHighLevel_use_iono_grid_points :: !Word8
- _msgSsrFlagHighLevel_use_iono_tile_sat_los :: !Word8
- _msgSsrFlagHighLevel_use_iono_grid_point_sat_los :: !Word8
}
integritySSRHeader_chain_id :: Lens' IntegritySSRHeader Word8
integritySSRHeader_num_msgs :: Lens' IntegritySSRHeader Word8
integritySSRHeader_obs_time :: Lens' IntegritySSRHeader GpsTimeSec
integritySSRHeader_seq_num :: Lens' IntegritySSRHeader Word8
integritySSRHeader_ssr_sol_id :: Lens' IntegritySSRHeader Word8
integritySSRHeader_tile_id :: Lens' IntegritySSRHeader Word16
integritySSRHeader_tile_set_id :: Lens' IntegritySSRHeader Word16
msgSsrFlagHighLevel :: Word16
data MsgSsrFlagSatellites = MsgSsrFlagSatellites {
- _msgSsrFlagSatellites_obs_time :: !GpsTimeSec
- _msgSsrFlagSatellites_num_msgs :: !Word8
- _msgSsrFlagSatellites_seq_num :: !Word8
- _msgSsrFlagSatellites_ssr_sol_id :: !Word8
- _msgSsrFlagSatellites_chain_id :: !Word8
- _msgSsrFlagSatellites_const_id :: !Word8
- _msgSsrFlagSatellites_n_faulty_sats :: !Word8
- _msgSsrFlagSatellites_faulty_sats :: ![Word8]
}
msgSsrFlagHighLevel_chain_id :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_corr_time :: Lens' MsgSsrFlagHighLevel GpsTimeSec
msgSsrFlagHighLevel_obs_time :: Lens' MsgSsrFlagHighLevel GpsTimeSec
msgSsrFlagHighLevel_reserved :: Lens' MsgSsrFlagHighLevel [Word8]
msgSsrFlagHighLevel_ssr_sol_id :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_tile_id :: Lens' MsgSsrFlagHighLevel Word16
msgSsrFlagHighLevel_tile_set_id :: Lens' MsgSsrFlagHighLevel Word16
msgSsrFlagHighLevel_use_bds_sat :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_gal_sat :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_gps_sat :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_iono_grid_point_sat_los :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_iono_grid_points :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_iono_tile_sat_los :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagHighLevel_use_tropo_grid_points :: Lens' MsgSsrFlagHighLevel Word8
msgSsrFlagSatellites :: Word16
data MsgSsrFlagTropoGridPoints = MsgSsrFlagTropoGridPoints {
- _msgSsrFlagTropoGridPoints_header :: !IntegritySSRHeader
- _msgSsrFlagTropoGridPoints_n_faulty_points :: !Word8
- _msgSsrFlagTropoGridPoints_faulty_points :: ![Word16]
}
msgSsrFlagSatellites_chain_id :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagSatellites_const_id :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagSatellites_faulty_sats :: Lens' MsgSsrFlagSatellites [Word8]
msgSsrFlagSatellites_n_faulty_sats :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagSatellites_num_msgs :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagSatellites_obs_time :: Lens' MsgSsrFlagSatellites GpsTimeSec
msgSsrFlagSatellites_seq_num :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagSatellites_ssr_sol_id :: Lens' MsgSsrFlagSatellites Word8
msgSsrFlagTropoGridPoints :: Word16
data MsgSsrFlagIonoGridPoints = MsgSsrFlagIonoGridPoints {
- _msgSsrFlagIonoGridPoints_header :: !IntegritySSRHeader
- _msgSsrFlagIonoGridPoints_n_faulty_points :: !Word8
- _msgSsrFlagIonoGridPoints_faulty_points :: ![Word16]
}
msgSsrFlagTropoGridPoints_faulty_points :: Lens' MsgSsrFlagTropoGridPoints [Word16]
msgSsrFlagTropoGridPoints_header :: Lens' MsgSsrFlagTropoGridPoints IntegritySSRHeader
msgSsrFlagTropoGridPoints_n_faulty_points :: Lens' MsgSsrFlagTropoGridPoints Word8
msgSsrFlagIonoGridPoints :: Word16
data MsgSsrFlagIonoTileSatLos = MsgSsrFlagIonoTileSatLos {
- _msgSsrFlagIonoTileSatLos_header :: !IntegritySSRHeader
- _msgSsrFlagIonoTileSatLos_n_faulty_los :: !Word8
- _msgSsrFlagIonoTileSatLos_faulty_los :: ![SvId]
}
msgSsrFlagIonoGridPoints_faulty_points :: Lens' MsgSsrFlagIonoGridPoints [Word16]
msgSsrFlagIonoGridPoints_header :: Lens' MsgSsrFlagIonoGridPoints IntegritySSRHeader
msgSsrFlagIonoGridPoints_n_faulty_points :: Lens' MsgSsrFlagIonoGridPoints Word8
msgSsrFlagIonoTileSatLos :: Word16
data MsgSsrFlagIonoGridPointSatLos = MsgSsrFlagIonoGridPointSatLos {
- _msgSsrFlagIonoGridPointSatLos_header :: !IntegritySSRHeader
- _msgSsrFlagIonoGridPointSatLos_grid_point_id :: !Word16
- _msgSsrFlagIonoGridPointSatLos_n_faulty_los :: !Word8
- _msgSsrFlagIonoGridPointSatLos_faulty_los :: ![SvId]
}
msgSsrFlagIonoTileSatLos_faulty_los :: Lens' MsgSsrFlagIonoTileSatLos [SvId]
msgSsrFlagIonoTileSatLos_header :: Lens' MsgSsrFlagIonoTileSatLos IntegritySSRHeader
msgSsrFlagIonoTileSatLos_n_faulty_los :: Lens' MsgSsrFlagIonoTileSatLos Word8
msgSsrFlagIonoGridPointSatLos :: Word16
msgSsrFlagIonoGridPointSatLos_faulty_los :: Lens' MsgSsrFlagIonoGridPointSatLos [SvId]
msgSsrFlagIonoGridPointSatLos_grid_point_id :: Lens' MsgSsrFlagIonoGridPointSatLos Word16
msgSsrFlagIonoGridPointSatLos_header :: Lens' MsgSsrFlagIonoGridPointSatLos IntegritySSRHeader
msgSsrFlagIonoGridPointSatLos_n_faulty_los :: Lens' MsgSsrFlagIonoGridPointSatLos Word8

Documentation

data IntegritySSRHeader Source #

Constructors

IntegritySSRHeader

Fields

_integritySSRHeader_obs_time :: !GpsTimeSec
GNSS reference time of the observation used to generate the flag.
_integritySSRHeader_num_msgs :: !Word8
Number of messages in the dataset
_integritySSRHeader_seq_num :: !Word8
Position of this message in the dataset
_integritySSRHeader_ssr_sol_id :: !Word8
SSR Solution ID.
_integritySSRHeader_tile_set_id :: !Word16
Unique identifier of the set this tile belongs to.
_integritySSRHeader_tile_id :: !Word16
Unique identifier of this tile in the tile set.
_integritySSRHeader_chain_id :: !Word8
Chain and type of flag.

Instances

Instances details

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

data MsgSsrFlagHighLevel Source #

SBP class for message MSG_SSR_FLAG_HIGH_LEVEL (0x0BB9).

Integrity monitoring flags for multiple aggregated elements. An element could be a satellite, SSR grid point, or SSR tile. A group of aggregated elements being monitored for integrity could refer to:

Satellites in a particular {GPS, GAL, BDS} constellation.
Satellites in the line-of-sight of a particular SSR tile.
Satellites in the line-of-sight of a particular SSR grid point.

The integrity usage for a group of aggregated elements varies according to the integrity flag of the satellites comprising that group.

SSR_INTEGRITY_USAGE_NOMINAL: All satellites received passed the integrity check and have flag INTEGRITY_FLAG_OK.

SSR_INTEGRITY_USAGE_WARNING: A limited number of elements in the group failed the integrity check. Refer to more granular integrity messages for details on the specific failing elements.

SSR_INTEGRITY_USAGE_ALERT: Most elements in the group failed the integrity check, do not use for positioning.

SSR_INTEGRITY_USAGE_NOT_MONITORED: Unable to verify the integrity flag of elements in the group.

Constructors

MsgSsrFlagHighLevel

Fields

_msgSsrFlagHighLevel_obs_time :: !GpsTimeSec
GNSS reference time of the observation used to generate the flag.
_msgSsrFlagHighLevel_corr_time :: !GpsTimeSec
GNSS reference time of the correction associated to the flag.
_msgSsrFlagHighLevel_ssr_sol_id :: !Word8
SSR Solution ID.
_msgSsrFlagHighLevel_tile_set_id :: !Word16
Unique identifier of the set this tile belongs to.
_msgSsrFlagHighLevel_tile_id :: !Word16
Unique identifier of this tile in the tile set.
_msgSsrFlagHighLevel_chain_id :: !Word8
Chain and type of flag.
_msgSsrFlagHighLevel_use_gps_sat :: !Word8
Use GPS satellites.
_msgSsrFlagHighLevel_use_gal_sat :: !Word8
Use GAL satellites.
_msgSsrFlagHighLevel_use_bds_sat :: !Word8
Use BDS satellites.
_msgSsrFlagHighLevel_reserved :: ![Word8]
Reserved
_msgSsrFlagHighLevel_use_tropo_grid_points :: !Word8
Use tropo grid points.
_msgSsrFlagHighLevel_use_iono_grid_points :: !Word8
Use iono grid points.
_msgSsrFlagHighLevel_use_iono_tile_sat_los :: !Word8
Use iono tile satellite LoS.
_msgSsrFlagHighLevel_use_iono_grid_point_sat_los :: !Word8
Use iono grid point satellite LoS.

Instances

Instances details

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

integritySSRHeader_chain_id :: Lens' IntegritySSRHeader Word8 Source #

integritySSRHeader_num_msgs :: Lens' IntegritySSRHeader Word8 Source #

integritySSRHeader_obs_time :: Lens' IntegritySSRHeader GpsTimeSec Source #

integritySSRHeader_seq_num :: Lens' IntegritySSRHeader Word8 Source #

integritySSRHeader_ssr_sol_id :: Lens' IntegritySSRHeader Word8 Source #

integritySSRHeader_tile_id :: Lens' IntegritySSRHeader Word16 Source #

integritySSRHeader_tile_set_id :: Lens' IntegritySSRHeader Word16 Source #

msgSsrFlagHighLevel :: Word16 Source #

data MsgSsrFlagSatellites Source #

Constructors

MsgSsrFlagSatellites

Fields

_msgSsrFlagSatellites_obs_time :: !GpsTimeSec
GNSS reference time of the observation used to generate the flag.
_msgSsrFlagSatellites_num_msgs :: !Word8
Number of messages in the dataset
_msgSsrFlagSatellites_seq_num :: !Word8
Position of this message in the dataset
_msgSsrFlagSatellites_ssr_sol_id :: !Word8
SSR Solution ID.
_msgSsrFlagSatellites_chain_id :: !Word8
Chain and type of flag.
_msgSsrFlagSatellites_const_id :: !Word8
Constellation ID.
_msgSsrFlagSatellites_n_faulty_sats :: !Word8
Number of faulty satellites.
_msgSsrFlagSatellites_faulty_sats :: ![Word8]
List of faulty satellites.

Instances

Instances details

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

msgSsrFlagHighLevel_chain_id :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_corr_time :: Lens' MsgSsrFlagHighLevel GpsTimeSec Source #

msgSsrFlagHighLevel_obs_time :: Lens' MsgSsrFlagHighLevel GpsTimeSec Source #

msgSsrFlagHighLevel_reserved :: Lens' MsgSsrFlagHighLevel [Word8] Source #

msgSsrFlagHighLevel_ssr_sol_id :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_tile_id :: Lens' MsgSsrFlagHighLevel Word16 Source #

msgSsrFlagHighLevel_tile_set_id :: Lens' MsgSsrFlagHighLevel Word16 Source #

msgSsrFlagHighLevel_use_bds_sat :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_gal_sat :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_gps_sat :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_iono_grid_point_sat_los :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_iono_grid_points :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_iono_tile_sat_los :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagHighLevel_use_tropo_grid_points :: Lens' MsgSsrFlagHighLevel Word8 Source #

msgSsrFlagSatellites :: Word16 Source #

data MsgSsrFlagTropoGridPoints Source #

Constructors

MsgSsrFlagTropoGridPoints
Fields _msgSsrFlagTropoGridPoints_header :: !IntegritySSRHeader Header of an integrity message. _msgSsrFlagTropoGridPoints_n_faulty_points :: !Word8 Number of faulty grid points. _msgSsrFlagTropoGridPoints_faulty_points :: ![Word16] List of faulty grid points.

Instances

Instances details

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

msgSsrFlagSatellites_chain_id :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagSatellites_const_id :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagSatellites_faulty_sats :: Lens' MsgSsrFlagSatellites [Word8] Source #

msgSsrFlagSatellites_n_faulty_sats :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagSatellites_num_msgs :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagSatellites_obs_time :: Lens' MsgSsrFlagSatellites GpsTimeSec Source #

msgSsrFlagSatellites_seq_num :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagSatellites_ssr_sol_id :: Lens' MsgSsrFlagSatellites Word8 Source #

msgSsrFlagTropoGridPoints :: Word16 Source #

data MsgSsrFlagIonoGridPoints Source #

Constructors

MsgSsrFlagIonoGridPoints
Fields _msgSsrFlagIonoGridPoints_header :: !IntegritySSRHeader Header of an integrity message. _msgSsrFlagIonoGridPoints_n_faulty_points :: !Word8 Number of faulty grid points. _msgSsrFlagIonoGridPoints_faulty_points :: ![Word16] List of faulty grid points.

Instances

Instances details

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

msgSsrFlagTropoGridPoints_faulty_points :: Lens' MsgSsrFlagTropoGridPoints [Word16] Source #

msgSsrFlagTropoGridPoints_header :: Lens' MsgSsrFlagTropoGridPoints IntegritySSRHeader Source #

msgSsrFlagTropoGridPoints_n_faulty_points :: Lens' MsgSsrFlagTropoGridPoints Word8 Source #

msgSsrFlagIonoGridPoints :: Word16 Source #

data MsgSsrFlagIonoTileSatLos Source #

Constructors

MsgSsrFlagIonoTileSatLos
Fields _msgSsrFlagIonoTileSatLos_header :: !IntegritySSRHeader Header of an integrity message. _msgSsrFlagIonoTileSatLos_n_faulty_los :: !Word8 Number of faulty LOS. _msgSsrFlagIonoTileSatLos_faulty_los :: ![SvId] List of faulty LOS

Instances

Instances details

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

msgSsrFlagIonoGridPoints_faulty_points :: Lens' MsgSsrFlagIonoGridPoints [Word16] Source #

msgSsrFlagIonoGridPoints_header :: Lens' MsgSsrFlagIonoGridPoints IntegritySSRHeader Source #

msgSsrFlagIonoGridPoints_n_faulty_points :: Lens' MsgSsrFlagIonoGridPoints Word8 Source #

msgSsrFlagIonoTileSatLos :: Word16 Source #

data MsgSsrFlagIonoGridPointSatLos Source #

Constructors

MsgSsrFlagIonoGridPointSatLos
Fields _msgSsrFlagIonoGridPointSatLos_header :: !IntegritySSRHeader Header of an integrity message. _msgSsrFlagIonoGridPointSatLos_grid_point_id :: !Word16 Index of the grid point. _msgSsrFlagIonoGridPointSatLos_n_faulty_los :: !Word8 Number of faulty LOS. _msgSsrFlagIonoGridPointSatLos_faulty_los :: ![SvId] List of faulty LOS

Instances

Instances details

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

msgSsrFlagIonoTileSatLos_faulty_los :: Lens' MsgSsrFlagIonoTileSatLos [SvId] Source #

msgSsrFlagIonoTileSatLos_header :: Lens' MsgSsrFlagIonoTileSatLos IntegritySSRHeader Source #

msgSsrFlagIonoTileSatLos_n_faulty_los :: Lens' MsgSsrFlagIonoTileSatLos Word8 Source #

msgSsrFlagIonoGridPointSatLos :: Word16 Source #

msgSsrFlagIonoGridPointSatLos_faulty_los :: Lens' MsgSsrFlagIonoGridPointSatLos [SvId] Source #

msgSsrFlagIonoGridPointSatLos_grid_point_id :: Lens' MsgSsrFlagIonoGridPointSatLos Word16 Source #

msgSsrFlagIonoGridPointSatLos_header :: Lens' MsgSsrFlagIonoGridPointSatLos IntegritySSRHeader Source #

msgSsrFlagIonoGridPointSatLos_n_faulty_los :: Lens' MsgSsrFlagIonoGridPointSatLos Word8 Source #