Copyright | Copyright (C) 2015-2021 Swift Navigation Inc. |
---|---|
License | MIT |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
< Messages for reading, writing, and discovering device settings. Settings
with a "string" field have multiple values in this field delimited with a
null character (the c style null terminator). For instance, when querying
the firmware_version
setting in the system_info
section, the following
array of characters needs to be sent for the string field in
MSG_SETTINGS_READ: "system_info0firmware_version0", where the delimiting
null characters are specified with the escape sequence '0' and all
quotation marks should be omitted.
In the message descriptions below, the generic strings SECTION_SETTING and
SETTING are used to refer to the two strings that comprise the identifier
of an individual setting.In firmware_version example above, SECTION_SETTING
is the system_info
, and the SETTING portion is firmware_version
.
See the "Software Settings Manual" on support.swiftnav.com for detailed
documentation about all settings and sections available for each Swift
firmware version. Settings manuals are available for each firmware version
at the following link:
https://support.swiftnav.com/support/solutions/articles/44001850753-piksi-multi-specification.
The latest settings document is also available at the following link:
http://swiftnav.com/latest/piksi-multi-settings . See lastly
https://github.com/swift-nav/piksi_tools/blob/master/piksi_tools/settings.py
, the open source python command line utility for reading, writing, and
saving settings in the piksi_tools repository on github as a helpful
reference and example. >
Synopsis
- data MsgSettingsSave = MsgSettingsSave
- msgSettingsSave :: Word16
- data MsgSettingsWrite = MsgSettingsWrite {}
- msgSettingsWrite :: Word16
- data MsgSettingsWriteResp = MsgSettingsWriteResp {}
- msgSettingsWrite_setting :: Iso' MsgSettingsWrite Text
- msgSettingsWriteResp :: Word16
- data MsgSettingsReadReq = MsgSettingsReadReq {}
- msgSettingsWriteResp_setting :: Lens' MsgSettingsWriteResp Text
- msgSettingsWriteResp_status :: Lens' MsgSettingsWriteResp Word8
- msgSettingsReadReq :: Word16
- data MsgSettingsReadResp = MsgSettingsReadResp {}
- msgSettingsReadReq_setting :: Iso' MsgSettingsReadReq Text
- msgSettingsReadResp :: Word16
- data MsgSettingsReadByIndexReq = MsgSettingsReadByIndexReq {}
- msgSettingsReadResp_setting :: Iso' MsgSettingsReadResp Text
- msgSettingsReadByIndexReq :: Word16
- data MsgSettingsReadByIndexResp = MsgSettingsReadByIndexResp {}
- msgSettingsReadByIndexReq_index :: Iso' MsgSettingsReadByIndexReq Word16
- msgSettingsReadByIndexResp :: Word16
- data MsgSettingsReadByIndexDone = MsgSettingsReadByIndexDone
- msgSettingsReadByIndexResp_index :: Lens' MsgSettingsReadByIndexResp Word16
- msgSettingsReadByIndexResp_setting :: Lens' MsgSettingsReadByIndexResp Text
- msgSettingsReadByIndexDone :: Word16
- data MsgSettingsRegister = MsgSettingsRegister {}
- msgSettingsRegister :: Word16
- data MsgSettingsRegisterResp = MsgSettingsRegisterResp {}
- msgSettingsRegister_setting :: Iso' MsgSettingsRegister Text
- msgSettingsRegisterResp :: Word16
- msgSettingsRegisterResp_setting :: Lens' MsgSettingsRegisterResp Text
- msgSettingsRegisterResp_status :: Lens' MsgSettingsRegisterResp Word8
Documentation
data MsgSettingsSave Source #
SBP class for message MSG_SETTINGS_SAVE (0x00A1).
The save settings message persists the device's current settings configuration to its onboard flash memory file system.
Instances
FromJSON MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings parseJSON :: Value -> Parser MsgSettingsSave # parseJSONList :: Value -> Parser [MsgSettingsSave] # | |
ToJSON MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings toJSON :: MsgSettingsSave -> Value # toEncoding :: MsgSettingsSave -> Encoding # toJSONList :: [MsgSettingsSave] -> Value # toEncodingList :: [MsgSettingsSave] -> Encoding # | |
Read MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings | |
Show MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsSave -> ShowS # show :: MsgSettingsSave -> String # showList :: [MsgSettingsSave] -> ShowS # | |
Binary MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings | |
Eq MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings (==) :: MsgSettingsSave -> MsgSettingsSave -> Bool # (/=) :: MsgSettingsSave -> MsgSettingsSave -> Bool # | |
ToSBP MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings |
data MsgSettingsWrite Source #
SBP class for message MSG_SETTINGS_WRITE (0x00A0).
The setting message writes the device configuration for a particular setting via A NULL-terminated and NULL-delimited string with contents "SECTION_SETTING0SETTING0VALUE0" where the '0' escape sequence denotes the NULL character and where quotation marks are omitted. A device will only process to this message when it is received from sender ID 0x42. An example string that could be sent to a device is "solution0soln_freq0100".
MsgSettingsWrite | |
|
Instances
FromJSON MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings parseJSON :: Value -> Parser MsgSettingsWrite # parseJSONList :: Value -> Parser [MsgSettingsWrite] # | |
ToJSON MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings toJSON :: MsgSettingsWrite -> Value # toEncoding :: MsgSettingsWrite -> Encoding # toJSONList :: [MsgSettingsWrite] -> Value # toEncodingList :: [MsgSettingsWrite] -> Encoding # | |
Read MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings | |
Show MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsWrite -> ShowS # show :: MsgSettingsWrite -> String # showList :: [MsgSettingsWrite] -> ShowS # | |
Binary MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings | |
Eq MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings (==) :: MsgSettingsWrite -> MsgSettingsWrite -> Bool # (/=) :: MsgSettingsWrite -> MsgSettingsWrite -> Bool # | |
ToSBP MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings |
data MsgSettingsWriteResp Source #
SBP class for message MSG_SETTINGS_WRITE_RESP (0x00AF).
Return the status of a write request with the new value of the setting. If the requested value is rejected, the current value will be returned. The string field is a NULL-terminated and NULL-delimited string with contents "SECTION_SETTING0SETTING0VALUE0" where the '0' escape sequence denotes the NULL character and where quotation marks are omitted. An example string that could be sent from device is "solution0soln_freq0100".
MsgSettingsWriteResp | |
|
Instances
data MsgSettingsReadReq Source #
SBP class for message MSG_SETTINGS_READ_REQ (0x00A4).
The setting message that reads the device configuration. The string field is a NULL-terminated and NULL-delimited string with contents "SECTION_SETTING0SETTING0" where the '0' escape sequence denotes the NULL character and where quotation marks are omitted. An example string that could be sent to a device is "solution0soln_freq0". A device will only respond to this message when it is received from sender ID 0x42. A device should respond with a MSG_SETTINGS_READ_RESP message (msg_id 0x00A5).
MsgSettingsReadReq | |
|
Instances
data MsgSettingsReadResp Source #
SBP class for message MSG_SETTINGS_READ_RESP (0x00A5).
The setting message with which the device responds after a MSG_SETTING_READ_REQ is sent to device. The string field is a NULL- terminated and NULL-delimited string with contents "SECTION_SETTING0SETTING0VALUE0" where the '0' escape sequence denotes the NULL character and where quotation marks are omitted. An example string that could be sent from device is "solution0soln_freq0100".
MsgSettingsReadResp | |
|
Instances
data MsgSettingsReadByIndexReq Source #
SBP class for message MSG_SETTINGS_READ_BY_INDEX_REQ (0x00A2).
The settings message for iterating through the settings values. A device will respond to this message with a MSG_SETTINGS_READ_BY_INDEX_RESP.
MsgSettingsReadByIndexReq | |
|
Instances
FromJSON MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings | |
ToJSON MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings | |
Read MsgSettingsReadByIndexReq Source # | |
Show MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsReadByIndexReq -> ShowS # show :: MsgSettingsReadByIndexReq -> String # showList :: [MsgSettingsReadByIndexReq] -> ShowS # | |
Binary MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexReq -> Put # get :: Get MsgSettingsReadByIndexReq # putList :: [MsgSettingsReadByIndexReq] -> Put # | |
Eq MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings | |
ToSBP MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings |
data MsgSettingsReadByIndexResp Source #
SBP class for message MSG_SETTINGS_READ_BY_INDEX_RESP (0x00A7).
The settings message that reports the value of a setting at an index.
In the string field, it reports NULL-terminated and delimited string with contents "SECTION_SETTING0SETTING0VALUE0FORMAT_TYPE0". where the '0' escape sequence denotes the NULL character and where quotation marks are omitted. The FORMAT_TYPE field is optional and denotes possible string values of the setting as a hint to the user. If included, the format type portion of the string has the format "enum:value1,value2,value3". An example string that could be sent from the device is "simulator0enabled0True0enum:True,False0".
MsgSettingsReadByIndexResp | |
|
Instances
FromJSON MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings | |
ToJSON MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings | |
Read MsgSettingsReadByIndexResp Source # | |
Show MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsReadByIndexResp -> ShowS # show :: MsgSettingsReadByIndexResp -> String # showList :: [MsgSettingsReadByIndexResp] -> ShowS # | |
Binary MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexResp -> Put # get :: Get MsgSettingsReadByIndexResp # putList :: [MsgSettingsReadByIndexResp] -> Put # | |
Eq MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings | |
ToSBP MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings |
data MsgSettingsReadByIndexDone Source #
SBP class for message MSG_SETTINGS_READ_BY_INDEX_DONE (0x00A6).
The settings message for indicating end of the settings values.
Instances
FromJSON MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings | |
ToJSON MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings | |
Read MsgSettingsReadByIndexDone Source # | |
Show MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsReadByIndexDone -> ShowS # show :: MsgSettingsReadByIndexDone -> String # showList :: [MsgSettingsReadByIndexDone] -> ShowS # | |
Binary MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexDone -> Put # get :: Get MsgSettingsReadByIndexDone # putList :: [MsgSettingsReadByIndexDone] -> Put # | |
Eq MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings | |
ToSBP MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings |
data MsgSettingsRegister Source #
SBP class for message MSG_SETTINGS_REGISTER (0x00AE).
This message registers the presence and default value of a setting with a settings daemon. The host should reply with MSG_SETTINGS_WRITE for this setting to set the initial value.
MsgSettingsRegister | |
|
Instances
data MsgSettingsRegisterResp Source #
SBP class for message MSG_SETTINGS_REGISTER_RESP (0x01AF).
This message responds to setting registration with the effective value. The effective value shall differ from the given default value if setting was already registered or is available in the permanent setting storage and had a different value.
MsgSettingsRegisterResp | |
|
Instances
FromJSON MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings | |
ToJSON MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings | |
Read MsgSettingsRegisterResp Source # | |
Show MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings showsPrec :: Int -> MsgSettingsRegisterResp -> ShowS # show :: MsgSettingsRegisterResp -> String # showList :: [MsgSettingsRegisterResp] -> ShowS # | |
Binary MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsRegisterResp -> Put # get :: Get MsgSettingsRegisterResp # putList :: [MsgSettingsRegisterResp] -> Put # | |
Eq MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings | |
ToSBP MsgSettingsRegisterResp Source # | |
Defined in SwiftNav.SBP.Settings |