Copyright | Copyright (C) 2015-2018 Swift Navigation Inc. |
---|---|
License | LGPL-3 |
Maintainer | Swift Navigation <dev@swiftnav.com> |
Stability | experimental |
Portability | portable Messages for reading, writing, and discovering device settings. Settings |
Safe Haskell | None |
Language | Haskell2010 |
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/customer/en/portal/articles/2628580-piksi-
multi-specifications#settings. The latest settings document is also
available at the following link: http://swiftnav.com/latest/piksi-multi-
settings . See lastly https://github.com/swift-
navpiksi_toolsblobmasterpiksi_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
- msgSettingsRegister_setting :: Iso' MsgSettingsRegister Text
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
Eq MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings (==) :: MsgSettingsSave -> MsgSettingsSave -> Bool # (/=) :: MsgSettingsSave -> MsgSettingsSave -> Bool # | |
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 # | |
ToJSON MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings toJSON :: MsgSettingsSave -> Value # toEncoding :: MsgSettingsSave -> Encoding # toJSONList :: [MsgSettingsSave] -> Value # toEncodingList :: [MsgSettingsSave] -> Encoding # | |
FromJSON MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings parseJSON :: Value -> Parser MsgSettingsSave # parseJSONList :: Value -> Parser [MsgSettingsSave] # | |
Binary MsgSettingsSave Source # | |
Defined in SwiftNav.SBP.Settings | |
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_SETTING\0SETTING\0VALUE\0 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
Eq MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings (==) :: MsgSettingsWrite -> MsgSettingsWrite -> Bool # (/=) :: MsgSettingsWrite -> MsgSettingsWrite -> Bool # | |
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 # | |
ToJSON MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings toJSON :: MsgSettingsWrite -> Value # toEncoding :: MsgSettingsWrite -> Encoding # toJSONList :: [MsgSettingsWrite] -> Value # toEncodingList :: [MsgSettingsWrite] -> Encoding # | |
FromJSON MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings parseJSON :: Value -> Parser MsgSettingsWrite # parseJSONList :: Value -> Parser [MsgSettingsWrite] # | |
Binary MsgSettingsWrite Source # | |
Defined in SwiftNav.SBP.Settings | |
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_SETTING\0SETTING\0VALUE\0 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_SETTING\0SETTING\0 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 wich 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_SETTING\0SETTING\0VALUE\0 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
Eq 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 # | |
ToJSON MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings | |
FromJSON MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings | |
Binary MsgSettingsReadByIndexReq Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexReq -> Put # get :: Get MsgSettingsReadByIndexReq # putList :: [MsgSettingsReadByIndexReq] -> Put # | |
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_SETTING\0SETTING\0VALUE\0FORMAT_TYPE\0. 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
Eq 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 # | |
ToJSON MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings | |
FromJSON MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings | |
Binary MsgSettingsReadByIndexResp Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexResp -> Put # get :: Get MsgSettingsReadByIndexResp # putList :: [MsgSettingsReadByIndexResp] -> Put # | |
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
Eq 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 # | |
ToJSON MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings | |
FromJSON MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings | |
Binary MsgSettingsReadByIndexDone Source # | |
Defined in SwiftNav.SBP.Settings put :: MsgSettingsReadByIndexDone -> Put # get :: Get MsgSettingsReadByIndexDone # putList :: [MsgSettingsReadByIndexDone] -> Put # | |
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 | |
|