Copyright	Copyright (C) 2018 Swift Navigation Inc.
License	LGPL-3
Maintainer	Swift Navigation <dev@swiftnav.com>
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Data.RTCM3.MSM

Description

RTCMv3 messages for Multiple Signal Messages.

Synopsis

data MsmHeader = MsmHeader {
- _msmHeader_num :: Word16
- _msmHeader_station :: Word16
- _msmHeader_epoch :: Word32
- _msmHeader_multiple :: Bool
- _msmHeader_iods :: Word8
- _msmHeader_reserved :: Word8
- _msmHeader_clockSteering :: Word8
- _msmHeader_externalClock :: Word8
- _msmHeader_smoothing :: Bool
- _msmHeader_smoothingInterval :: Word8
- _msmHeader_satelliteMask :: Word64
- _msmHeader_signalMask :: Word32
- _msmHeader_cellMask :: Word64
}
msmHeader_cellMask :: Lens' MsmHeader Word64
msmHeader_clockSteering :: Lens' MsmHeader Word8
msmHeader_epoch :: Lens' MsmHeader Word32
msmHeader_externalClock :: Lens' MsmHeader Word8
msmHeader_iods :: Lens' MsmHeader Word8
msmHeader_multiple :: Lens' MsmHeader Bool
msmHeader_num :: Lens' MsmHeader Word16
msmHeader_reserved :: Lens' MsmHeader Word8
msmHeader_satelliteMask :: Lens' MsmHeader Word64
msmHeader_signalMask :: Lens' MsmHeader Word32
msmHeader_smoothing :: Lens' MsmHeader Bool
msmHeader_smoothingInterval :: Lens' MsmHeader Word8
msmHeader_station :: Lens' MsmHeader Word16
data Msm46SatelliteData = Msm46SatelliteData {
- _msm46SatelliteData_ranges :: [Word8]
- _msm46SatelliteData_rangesModulo :: [Word16]
}
msm46SatelliteData_ranges :: Lens' Msm46SatelliteData [Word8]
msm46SatelliteData_rangesModulo :: Lens' Msm46SatelliteData [Word16]
data Msm57SatelliteData = Msm57SatelliteData {
- _msm57SatelliteData_ranges :: [Word8]
- _msm57SatelliteData_extendeds :: [Word8]
- _msm57SatelliteData_rangesModulo :: [Word16]
- _msm57SatelliteData_phaseRangeRates :: [Word16]
}
getBitsMsm46SatelliteData :: Int -> BitGet Msm46SatelliteData
putBitsMsm46SatelliteData :: Msm46SatelliteData -> BitPut ()
msm57SatelliteData_extendeds :: Lens' Msm57SatelliteData [Word8]
msm57SatelliteData_phaseRangeRates :: Lens' Msm57SatelliteData [Word16]
msm57SatelliteData_ranges :: Lens' Msm57SatelliteData [Word8]
msm57SatelliteData_rangesModulo :: Lens' Msm57SatelliteData [Word16]
data Msm4SignalData = Msm4SignalData {
- _msm4SignalData_pseudoranges :: [Int16]
- _msm4SignalData_phaseranges :: [Int32]
- _msm4SignalData_lockTimes :: [Word8]
- _msm4SignalData_halfCycles :: [Bool]
- _msm4SignalData_cnrs :: [Word8]
}
getBitsMsm57SatelliteData :: Int -> BitGet Msm57SatelliteData
putBitsMsm57SatelliteData :: Msm57SatelliteData -> BitPut ()
msm4SignalData_cnrs :: Lens' Msm4SignalData [Word8]
msm4SignalData_halfCycles :: Lens' Msm4SignalData [Bool]
msm4SignalData_lockTimes :: Lens' Msm4SignalData [Word8]
msm4SignalData_phaseranges :: Lens' Msm4SignalData [Int32]
msm4SignalData_pseudoranges :: Lens' Msm4SignalData [Int16]
data Msm5SignalData = Msm5SignalData {
- _msm5SignalData_pseudoranges :: [Int16]
- _msm5SignalData_phaseranges :: [Int32]
- _msm5SignalData_lockTimes :: [Word8]
- _msm5SignalData_halfCycles :: [Bool]
- _msm5SignalData_cnrs :: [Word8]
- _msm5SignalData_phaseRangeRates :: [Int16]
}
getBitsMsm4SignalData :: Int -> BitGet Msm4SignalData
putBitsMsm4SignalData :: Msm4SignalData -> BitPut ()
msm5SignalData_cnrs :: Lens' Msm5SignalData [Word8]
msm5SignalData_halfCycles :: Lens' Msm5SignalData [Bool]
msm5SignalData_lockTimes :: Lens' Msm5SignalData [Word8]
msm5SignalData_phaseRangeRates :: Lens' Msm5SignalData [Int16]
msm5SignalData_phaseranges :: Lens' Msm5SignalData [Int32]
msm5SignalData_pseudoranges :: Lens' Msm5SignalData [Int16]
data Msm6SignalData = Msm6SignalData {
- _msm6SignalData_pseudoranges :: [Int32]
- _msm6SignalData_phaseranges :: [Int32]
- _msm6SignalData_lockTimes :: [Word16]
- _msm6SignalData_halfCycles :: [Bool]
- _msm6SignalData_cnrs :: [Word16]
}
getBitsMsm5SignalData :: Int -> BitGet Msm5SignalData
putBitsMsm5SignalData :: Msm5SignalData -> BitPut ()
msm6SignalData_cnrs :: Lens' Msm6SignalData [Word16]
msm6SignalData_halfCycles :: Lens' Msm6SignalData [Bool]
msm6SignalData_lockTimes :: Lens' Msm6SignalData [Word16]
msm6SignalData_phaseranges :: Lens' Msm6SignalData [Int32]
msm6SignalData_pseudoranges :: Lens' Msm6SignalData [Int32]
data Msm7SignalData = Msm7SignalData {
- _msm7SignalData_pseudoranges :: [Int32]
- _msm7SignalData_phaseranges :: [Int32]
- _msm7SignalData_lockTimes :: [Word16]
- _msm7SignalData_halfCycles :: [Bool]
- _msm7SignalData_cnrs :: [Word16]
- _msm7SignalData_phaseRangeRates :: [Int16]
}
getBitsMsm6SignalData :: Int -> BitGet Msm6SignalData
putBitsMsm6SignalData :: Msm6SignalData -> BitPut ()
msm7SignalData_cnrs :: Lens' Msm7SignalData [Word16]
msm7SignalData_halfCycles :: Lens' Msm7SignalData [Bool]
msm7SignalData_lockTimes :: Lens' Msm7SignalData [Word16]
msm7SignalData_phaseRangeRates :: Lens' Msm7SignalData [Int16]
msm7SignalData_phaseranges :: Lens' Msm7SignalData [Int32]
msm7SignalData_pseudoranges :: Lens' Msm7SignalData [Int32]
data Msg1074 = Msg1074 {
- _msg1074_header :: MsmHeader
- _msg1074_satelliteData :: Msm46SatelliteData
- _msg1074_signalData :: Msm4SignalData
}
getBitsMsm7SignalData :: Int -> BitGet Msm7SignalData
putBitsMsm7SignalData :: Msm7SignalData -> BitPut ()
msg1074 :: Word16
msg1074_header :: Lens' Msg1074 MsmHeader
msg1074_satelliteData :: Lens' Msg1074 Msm46SatelliteData
msg1074_signalData :: Lens' Msg1074 Msm4SignalData
data Msg1075 = Msg1075 {
- _msg1075_header :: MsmHeader
- _msg1075_satelliteData :: Msm57SatelliteData
- _msg1075_signalData :: Msm5SignalData
}
msg1075 :: Word16
msg1075_header :: Lens' Msg1075 MsmHeader
msg1075_satelliteData :: Lens' Msg1075 Msm57SatelliteData
msg1075_signalData :: Lens' Msg1075 Msm5SignalData
data Msg1076 = Msg1076 {
- _msg1076_header :: MsmHeader
- _msg1076_satelliteData :: Msm46SatelliteData
- _msg1076_signalData :: Msm6SignalData
}
msg1076 :: Word16
msg1076_header :: Lens' Msg1076 MsmHeader
msg1076_satelliteData :: Lens' Msg1076 Msm46SatelliteData
msg1076_signalData :: Lens' Msg1076 Msm6SignalData
data Msg1077 = Msg1077 {
- _msg1077_header :: MsmHeader
- _msg1077_satelliteData :: Msm57SatelliteData
- _msg1077_signalData :: Msm7SignalData
}
msg1077 :: Word16
msg1077_header :: Lens' Msg1077 MsmHeader
msg1077_satelliteData :: Lens' Msg1077 Msm57SatelliteData
msg1077_signalData :: Lens' Msg1077 Msm7SignalData
data Msg1084 = Msg1084 {
- _msg1084_header :: MsmHeader
- _msg1084_satelliteData :: Msm46SatelliteData
- _msg1084_signalData :: Msm4SignalData
}
msg1084 :: Word16
msg1084_header :: Lens' Msg1084 MsmHeader
msg1084_satelliteData :: Lens' Msg1084 Msm46SatelliteData
msg1084_signalData :: Lens' Msg1084 Msm4SignalData
data Msg1085 = Msg1085 {
- _msg1085_header :: MsmHeader
- _msg1085_satelliteData :: Msm57SatelliteData
- _msg1085_signalData :: Msm5SignalData
}
msg1085 :: Word16
msg1085_header :: Lens' Msg1085 MsmHeader
msg1085_satelliteData :: Lens' Msg1085 Msm57SatelliteData
msg1085_signalData :: Lens' Msg1085 Msm5SignalData
data Msg1086 = Msg1086 {
- _msg1086_header :: MsmHeader
- _msg1086_satelliteData :: Msm46SatelliteData
- _msg1086_signalData :: Msm6SignalData
}
msg1086 :: Word16
msg1086_header :: Lens' Msg1086 MsmHeader
msg1086_satelliteData :: Lens' Msg1086 Msm46SatelliteData
msg1086_signalData :: Lens' Msg1086 Msm6SignalData
data Msg1087 = Msg1087 {
- _msg1087_header :: MsmHeader
- _msg1087_satelliteData :: Msm57SatelliteData
- _msg1087_signalData :: Msm7SignalData
}
msg1087 :: Word16
msg1087_header :: Lens' Msg1087 MsmHeader
msg1087_satelliteData :: Lens' Msg1087 Msm57SatelliteData
msg1087_signalData :: Lens' Msg1087 Msm7SignalData
data Msg1094 = Msg1094 {
- _msg1094_header :: MsmHeader
- _msg1094_satelliteData :: Msm46SatelliteData
- _msg1094_signalData :: Msm4SignalData
}
msg1094 :: Word16
msg1094_header :: Lens' Msg1094 MsmHeader
msg1094_satelliteData :: Lens' Msg1094 Msm46SatelliteData
msg1094_signalData :: Lens' Msg1094 Msm4SignalData
data Msg1095 = Msg1095 {
- _msg1095_header :: MsmHeader
- _msg1095_satelliteData :: Msm57SatelliteData
- _msg1095_signalData :: Msm5SignalData
}
msg1095 :: Word16
msg1095_header :: Lens' Msg1095 MsmHeader
msg1095_satelliteData :: Lens' Msg1095 Msm57SatelliteData
msg1095_signalData :: Lens' Msg1095 Msm5SignalData
data Msg1096 = Msg1096 {
- _msg1096_header :: MsmHeader
- _msg1096_satelliteData :: Msm46SatelliteData
- _msg1096_signalData :: Msm6SignalData
}
msg1096 :: Word16
msg1096_header :: Lens' Msg1096 MsmHeader
msg1096_satelliteData :: Lens' Msg1096 Msm46SatelliteData
msg1096_signalData :: Lens' Msg1096 Msm6SignalData
data Msg1097 = Msg1097 {
- _msg1097_header :: MsmHeader
- _msg1097_satelliteData :: Msm57SatelliteData
- _msg1097_signalData :: Msm7SignalData
}
msg1097 :: Word16
msg1097_header :: Lens' Msg1097 MsmHeader
msg1097_satelliteData :: Lens' Msg1097 Msm57SatelliteData
msg1097_signalData :: Lens' Msg1097 Msm7SignalData
data Msg1104 = Msg1104 {
- _msg1104_header :: MsmHeader
- _msg1104_satelliteData :: Msm46SatelliteData
- _msg1104_signalData :: Msm4SignalData
}
msg1104 :: Word16
msg1104_header :: Lens' Msg1104 MsmHeader
msg1104_satelliteData :: Lens' Msg1104 Msm46SatelliteData
msg1104_signalData :: Lens' Msg1104 Msm4SignalData
data Msg1105 = Msg1105 {
- _msg1105_header :: MsmHeader
- _msg1105_satelliteData :: Msm57SatelliteData
- _msg1105_signalData :: Msm5SignalData
}
msg1105 :: Word16
msg1105_header :: Lens' Msg1105 MsmHeader
msg1105_satelliteData :: Lens' Msg1105 Msm57SatelliteData
msg1105_signalData :: Lens' Msg1105 Msm5SignalData
data Msg1106 = Msg1106 {
- _msg1106_header :: MsmHeader
- _msg1106_satelliteData :: Msm46SatelliteData
- _msg1106_signalData :: Msm6SignalData
}
msg1106 :: Word16
msg1106_header :: Lens' Msg1106 MsmHeader
msg1106_satelliteData :: Lens' Msg1106 Msm46SatelliteData
msg1106_signalData :: Lens' Msg1106 Msm6SignalData
data Msg1107 = Msg1107 {
- _msg1107_header :: MsmHeader
- _msg1107_satelliteData :: Msm57SatelliteData
- _msg1107_signalData :: Msm7SignalData
}
msg1107 :: Word16
msg1107_header :: Lens' Msg1107 MsmHeader
msg1107_satelliteData :: Lens' Msg1107 Msm57SatelliteData
msg1107_signalData :: Lens' Msg1107 Msm7SignalData
data Msg1114 = Msg1114 {
- _msg1114_header :: MsmHeader
- _msg1114_satelliteData :: Msm46SatelliteData
- _msg1114_signalData :: Msm4SignalData
}
msg1114 :: Word16
msg1114_header :: Lens' Msg1114 MsmHeader
msg1114_satelliteData :: Lens' Msg1114 Msm46SatelliteData
msg1114_signalData :: Lens' Msg1114 Msm4SignalData
data Msg1115 = Msg1115 {
- _msg1115_header :: MsmHeader
- _msg1115_satelliteData :: Msm57SatelliteData
- _msg1115_signalData :: Msm5SignalData
}
msg1115 :: Word16
msg1115_header :: Lens' Msg1115 MsmHeader
msg1115_satelliteData :: Lens' Msg1115 Msm57SatelliteData
msg1115_signalData :: Lens' Msg1115 Msm5SignalData
data Msg1116 = Msg1116 {
- _msg1116_header :: MsmHeader
- _msg1116_satelliteData :: Msm46SatelliteData
- _msg1116_signalData :: Msm6SignalData
}
msg1116 :: Word16
msg1116_header :: Lens' Msg1116 MsmHeader
msg1116_satelliteData :: Lens' Msg1116 Msm46SatelliteData
msg1116_signalData :: Lens' Msg1116 Msm6SignalData
data Msg1117 = Msg1117 {
- _msg1117_header :: MsmHeader
- _msg1117_satelliteData :: Msm57SatelliteData
- _msg1117_signalData :: Msm7SignalData
}
msg1117 :: Word16
msg1117_header :: Lens' Msg1117 MsmHeader
msg1117_satelliteData :: Lens' Msg1117 Msm57SatelliteData
msg1117_signalData :: Lens' Msg1117 Msm7SignalData
data Msg1124 = Msg1124 {
- _msg1124_header :: MsmHeader
- _msg1124_satelliteData :: Msm46SatelliteData
- _msg1124_signalData :: Msm4SignalData
}
msg1124 :: Word16
msg1124_header :: Lens' Msg1124 MsmHeader
msg1124_satelliteData :: Lens' Msg1124 Msm46SatelliteData
msg1124_signalData :: Lens' Msg1124 Msm4SignalData
data Msg1125 = Msg1125 {
- _msg1125_header :: MsmHeader
- _msg1125_satelliteData :: Msm57SatelliteData
- _msg1125_signalData :: Msm5SignalData
}
msg1125 :: Word16
msg1125_header :: Lens' Msg1125 MsmHeader
msg1125_satelliteData :: Lens' Msg1125 Msm57SatelliteData
msg1125_signalData :: Lens' Msg1125 Msm5SignalData
data Msg1126 = Msg1126 {
- _msg1126_header :: MsmHeader
- _msg1126_satelliteData :: Msm46SatelliteData
- _msg1126_signalData :: Msm6SignalData
}
msg1126 :: Word16
msg1126_header :: Lens' Msg1126 MsmHeader
msg1126_satelliteData :: Lens' Msg1126 Msm46SatelliteData
msg1126_signalData :: Lens' Msg1126 Msm6SignalData
data Msg1127 = Msg1127 {
- _msg1127_header :: MsmHeader
- _msg1127_satelliteData :: Msm57SatelliteData
- _msg1127_signalData :: Msm7SignalData
}
msg1127 :: Word16
msg1127_header :: Lens' Msg1127 MsmHeader
msg1127_satelliteData :: Lens' Msg1127 Msm57SatelliteData
msg1127_signalData :: Lens' Msg1127 Msm7SignalData

Documentation

data MsmHeader Source #

MsmHeader.

MSM observation header.

Constructors

MsmHeader

Fields

_msmHeader_num :: Word16
Message number.
_msmHeader_station :: Word16
Reference station id.
_msmHeader_epoch :: Word32
GNSS epoch time.
_msmHeader_multiple :: Bool
Multiple message indicator.
_msmHeader_iods :: Word8
Issue of data station.
_msmHeader_reserved :: Word8
Reserved.
_msmHeader_clockSteering :: Word8
Clock steering indicator.
_msmHeader_externalClock :: Word8
External clock indicator.
_msmHeader_smoothing :: Bool
GNSS divergence-free smoothing indicator.
_msmHeader_smoothingInterval :: Word8
GNSS smoothing interval.
_msmHeader_satelliteMask :: Word64
GNSS satellite mask.
_msmHeader_signalMask :: Word32
GNSS signal mask.
_msmHeader_cellMask :: Word64
GNSS cell mask.

Instances

Eq MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: MsmHeader -> MsmHeader -> Bool # (/=) :: MsmHeader -> MsmHeader -> Bool #
Read MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS MsmHeader # readList :: ReadS [MsmHeader] # readPrec :: ReadPrec MsmHeader # readListPrec :: ReadPrec [MsmHeader] #
Show MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> MsmHeader -> ShowS # show :: MsmHeader -> String # showList :: [MsmHeader] -> ShowS #
ToJSON MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: MsmHeader -> Value # toEncoding :: MsmHeader -> Encoding # toJSONList :: [MsmHeader] -> Value # toEncodingList :: [MsmHeader] -> Encoding #
FromJSON MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser MsmHeader # parseJSONList :: Value -> Parser [MsmHeader] #
BinaryBit MsmHeader Source #
Instance details Defined in Data.RTCM3.MSM Methods putBits :: Int -> MsmHeader -> BitPut () # getBits :: Int -> BitGet MsmHeader #

msmHeader_cellMask :: Lens' MsmHeader Word64 Source #

msmHeader_clockSteering :: Lens' MsmHeader Word8 Source #

msmHeader_epoch :: Lens' MsmHeader Word32 Source #

msmHeader_externalClock :: Lens' MsmHeader Word8 Source #

msmHeader_iods :: Lens' MsmHeader Word8 Source #

msmHeader_multiple :: Lens' MsmHeader Bool Source #

msmHeader_num :: Lens' MsmHeader Word16 Source #

msmHeader_reserved :: Lens' MsmHeader Word8 Source #

msmHeader_satelliteMask :: Lens' MsmHeader Word64 Source #

msmHeader_signalMask :: Lens' MsmHeader Word32 Source #

msmHeader_smoothing :: Lens' MsmHeader Bool Source #

msmHeader_smoothingInterval :: Lens' MsmHeader Word8 Source #

msmHeader_station :: Lens' MsmHeader Word16 Source #

data Msm46SatelliteData Source #

Msm46SatelliteData.

MSM46 satellite data.

Constructors

Msm46SatelliteData
Fields _msm46SatelliteData_ranges :: [Word8] The number of integer milliseconds in GNSS Satellite rough ranges. _msm46SatelliteData_rangesModulo :: [Word16] GNSS Satellite rough ranges modulo 1 millisecond.

Instances

Eq Msm46SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm46SatelliteData -> Msm46SatelliteData -> Bool # (/=) :: Msm46SatelliteData -> Msm46SatelliteData -> Bool #
Read Msm46SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm46SatelliteData # readList :: ReadS [Msm46SatelliteData] # readPrec :: ReadPrec Msm46SatelliteData # readListPrec :: ReadPrec [Msm46SatelliteData] #
Show Msm46SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm46SatelliteData -> ShowS # show :: Msm46SatelliteData -> String # showList :: [Msm46SatelliteData] -> ShowS #
ToJSON Msm46SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm46SatelliteData -> Value # toEncoding :: Msm46SatelliteData -> Encoding # toJSONList :: [Msm46SatelliteData] -> Value # toEncodingList :: [Msm46SatelliteData] -> Encoding #
FromJSON Msm46SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm46SatelliteData # parseJSONList :: Value -> Parser [Msm46SatelliteData] #

msm46SatelliteData_ranges :: Lens' Msm46SatelliteData [Word8] Source #

msm46SatelliteData_rangesModulo :: Lens' Msm46SatelliteData [Word16] Source #

data Msm57SatelliteData Source #

Msm57SatelliteData

MSM57 satellite data.

Constructors

Msm57SatelliteData
Fields _msm57SatelliteData_ranges :: [Word8] The number of integer milliseconds in GNSS Satellite rough ranges. _msm57SatelliteData_extendeds :: [Word8] Extended satellite information. _msm57SatelliteData_rangesModulo :: [Word16] GNSS Satellite rough ranges modulo 1 millisecond. _msm57SatelliteData_phaseRangeRates :: [Word16] GNSS Satellite rough PhaseRangeRates.

Instances

Eq Msm57SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm57SatelliteData -> Msm57SatelliteData -> Bool # (/=) :: Msm57SatelliteData -> Msm57SatelliteData -> Bool #
Read Msm57SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm57SatelliteData # readList :: ReadS [Msm57SatelliteData] # readPrec :: ReadPrec Msm57SatelliteData # readListPrec :: ReadPrec [Msm57SatelliteData] #
Show Msm57SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm57SatelliteData -> ShowS # show :: Msm57SatelliteData -> String # showList :: [Msm57SatelliteData] -> ShowS #
ToJSON Msm57SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm57SatelliteData -> Value # toEncoding :: Msm57SatelliteData -> Encoding # toJSONList :: [Msm57SatelliteData] -> Value # toEncodingList :: [Msm57SatelliteData] -> Encoding #
FromJSON Msm57SatelliteData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm57SatelliteData # parseJSONList :: Value -> Parser [Msm57SatelliteData] #

getBitsMsm46SatelliteData :: Int -> BitGet Msm46SatelliteData Source #

Get Bits for Msm4SatelliteData.

putBitsMsm46SatelliteData :: Msm46SatelliteData -> BitPut () Source #

Put Bits for Msm46SatelliteData.

msm57SatelliteData_extendeds :: Lens' Msm57SatelliteData [Word8] Source #

msm57SatelliteData_phaseRangeRates :: Lens' Msm57SatelliteData [Word16] Source #

msm57SatelliteData_ranges :: Lens' Msm57SatelliteData [Word8] Source #

msm57SatelliteData_rangesModulo :: Lens' Msm57SatelliteData [Word16] Source #

data Msm4SignalData Source #

Msm4SignalData.

MSM4 signal data.

Constructors

Msm4SignalData
Fields _msm4SignalData_pseudoranges :: [Int16] GNSS signal fine pseudoranges. _msm4SignalData_phaseranges :: [Int32] GNSS signal fine phaserange data. _msm4SignalData_lockTimes :: [Word8] GNSS phaserange lock time indicators. _msm4SignalData_halfCycles :: [Bool] Half-cycle ambiguity indicators. _msm4SignalData_cnrs :: [Word8] GNSS signal CNRs.

Instances

Eq Msm4SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm4SignalData -> Msm4SignalData -> Bool # (/=) :: Msm4SignalData -> Msm4SignalData -> Bool #
Read Msm4SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm4SignalData # readList :: ReadS [Msm4SignalData] # readPrec :: ReadPrec Msm4SignalData # readListPrec :: ReadPrec [Msm4SignalData] #
Show Msm4SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm4SignalData -> ShowS # show :: Msm4SignalData -> String # showList :: [Msm4SignalData] -> ShowS #
ToJSON Msm4SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm4SignalData -> Value # toEncoding :: Msm4SignalData -> Encoding # toJSONList :: [Msm4SignalData] -> Value # toEncodingList :: [Msm4SignalData] -> Encoding #
FromJSON Msm4SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm4SignalData # parseJSONList :: Value -> Parser [Msm4SignalData] #

getBitsMsm57SatelliteData :: Int -> BitGet Msm57SatelliteData Source #

Get Bits for Msm57SatelliteData.

putBitsMsm57SatelliteData :: Msm57SatelliteData -> BitPut () Source #

Put Bits for Msm4SatelliteData.

msm4SignalData_cnrs :: Lens' Msm4SignalData [Word8] Source #

msm4SignalData_halfCycles :: Lens' Msm4SignalData [Bool] Source #

msm4SignalData_lockTimes :: Lens' Msm4SignalData [Word8] Source #

msm4SignalData_phaseranges :: Lens' Msm4SignalData [Int32] Source #

msm4SignalData_pseudoranges :: Lens' Msm4SignalData [Int16] Source #

data Msm5SignalData Source #

Msm5SignalData.

MSM5 signal data.

Constructors

Msm5SignalData

Fields

_msm5SignalData_pseudoranges :: [Int16]
GNSS signal fine pseudoranges.
_msm5SignalData_phaseranges :: [Int32]
GNSS signal fine phaserange data.
_msm5SignalData_lockTimes :: [Word8]
GNSS phaserange lock time indicators.
_msm5SignalData_halfCycles :: [Bool]
Half-cycle ambiguity indicators.
_msm5SignalData_cnrs :: [Word8]
GNSS signal CNRs.
_msm5SignalData_phaseRangeRates :: [Int16]
GNSS signal fine phaserangerates.

Instances

Eq Msm5SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm5SignalData -> Msm5SignalData -> Bool # (/=) :: Msm5SignalData -> Msm5SignalData -> Bool #
Read Msm5SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm5SignalData # readList :: ReadS [Msm5SignalData] # readPrec :: ReadPrec Msm5SignalData # readListPrec :: ReadPrec [Msm5SignalData] #
Show Msm5SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm5SignalData -> ShowS # show :: Msm5SignalData -> String # showList :: [Msm5SignalData] -> ShowS #
ToJSON Msm5SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm5SignalData -> Value # toEncoding :: Msm5SignalData -> Encoding # toJSONList :: [Msm5SignalData] -> Value # toEncodingList :: [Msm5SignalData] -> Encoding #
FromJSON Msm5SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm5SignalData # parseJSONList :: Value -> Parser [Msm5SignalData] #

getBitsMsm4SignalData :: Int -> BitGet Msm4SignalData Source #

Get Bits for Msm4SignalData.

putBitsMsm4SignalData :: Msm4SignalData -> BitPut () Source #

Put Bits for Msm4SignalData.

msm5SignalData_cnrs :: Lens' Msm5SignalData [Word8] Source #

msm5SignalData_halfCycles :: Lens' Msm5SignalData [Bool] Source #

msm5SignalData_lockTimes :: Lens' Msm5SignalData [Word8] Source #

msm5SignalData_phaseRangeRates :: Lens' Msm5SignalData [Int16] Source #

msm5SignalData_phaseranges :: Lens' Msm5SignalData [Int32] Source #

msm5SignalData_pseudoranges :: Lens' Msm5SignalData [Int16] Source #

data Msm6SignalData Source #

Msm6SignalData.

MSM6 signal data.

Constructors

Msm6SignalData
Fields _msm6SignalData_pseudoranges :: [Int32] GNSS signal fine pseudoranges. _msm6SignalData_phaseranges :: [Int32] GNSS signal fine phaserange data. _msm6SignalData_lockTimes :: [Word16] GNSS phaserange lock time indicators. _msm6SignalData_halfCycles :: [Bool] Half-cycle ambiguity indicators. _msm6SignalData_cnrs :: [Word16] GNSS signal CNRs.

Instances

Eq Msm6SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm6SignalData -> Msm6SignalData -> Bool # (/=) :: Msm6SignalData -> Msm6SignalData -> Bool #
Read Msm6SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm6SignalData # readList :: ReadS [Msm6SignalData] # readPrec :: ReadPrec Msm6SignalData # readListPrec :: ReadPrec [Msm6SignalData] #
Show Msm6SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm6SignalData -> ShowS # show :: Msm6SignalData -> String # showList :: [Msm6SignalData] -> ShowS #
ToJSON Msm6SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm6SignalData -> Value # toEncoding :: Msm6SignalData -> Encoding # toJSONList :: [Msm6SignalData] -> Value # toEncodingList :: [Msm6SignalData] -> Encoding #
FromJSON Msm6SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm6SignalData # parseJSONList :: Value -> Parser [Msm6SignalData] #

getBitsMsm5SignalData :: Int -> BitGet Msm5SignalData Source #

Get Bits for Msm5SignalData.

putBitsMsm5SignalData :: Msm5SignalData -> BitPut () Source #

Put Bits for Msm5SignalData.

msm6SignalData_cnrs :: Lens' Msm6SignalData [Word16] Source #

msm6SignalData_halfCycles :: Lens' Msm6SignalData [Bool] Source #

msm6SignalData_lockTimes :: Lens' Msm6SignalData [Word16] Source #

msm6SignalData_phaseranges :: Lens' Msm6SignalData [Int32] Source #

msm6SignalData_pseudoranges :: Lens' Msm6SignalData [Int32] Source #

data Msm7SignalData Source #

Msm7SignalData.

MSM7 signal data.

Constructors

Msm7SignalData

Fields

_msm7SignalData_pseudoranges :: [Int32]
GNSS signal fine pseudoranges.
_msm7SignalData_phaseranges :: [Int32]
GNSS signal fine phaserange data.
_msm7SignalData_lockTimes :: [Word16]
GNSS phaserange lock time indicators.
_msm7SignalData_halfCycles :: [Bool]
Half-cycle ambiguity indicators.
_msm7SignalData_cnrs :: [Word16]
GNSS signal CNRs.
_msm7SignalData_phaseRangeRates :: [Int16]
GNSS signal fine phaserangerates.

Instances

Eq Msm7SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods (==) :: Msm7SignalData -> Msm7SignalData -> Bool # (/=) :: Msm7SignalData -> Msm7SignalData -> Bool #
Read Msm7SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods readsPrec :: Int -> ReadS Msm7SignalData # readList :: ReadS [Msm7SignalData] # readPrec :: ReadPrec Msm7SignalData # readListPrec :: ReadPrec [Msm7SignalData] #
Show Msm7SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods showsPrec :: Int -> Msm7SignalData -> ShowS # show :: Msm7SignalData -> String # showList :: [Msm7SignalData] -> ShowS #
ToJSON Msm7SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods toJSON :: Msm7SignalData -> Value # toEncoding :: Msm7SignalData -> Encoding # toJSONList :: [Msm7SignalData] -> Value # toEncodingList :: [Msm7SignalData] -> Encoding #
FromJSON Msm7SignalData Source #
Instance details Defined in Data.RTCM3.MSM Methods parseJSON :: Value -> Parser Msm7SignalData # parseJSONList :: Value -> Parser [Msm7SignalData] #

getBitsMsm6SignalData :: Int -> BitGet Msm6SignalData Source #

Get Bits for Msm6SignalData.

putBitsMsm6SignalData :: Msm6SignalData -> BitPut () Source #

Put Bits for Msm6SignalData.

msm7SignalData_cnrs :: Lens' Msm7SignalData [Word16] Source #

msm7SignalData_halfCycles :: Lens' Msm7SignalData [Bool] Source #

msm7SignalData_lockTimes :: Lens' Msm7SignalData [Word16] Source #

msm7SignalData_phaseRangeRates :: Lens' Msm7SignalData [Int16] Source #

msm7SignalData_phaseranges :: Lens' Msm7SignalData [Int32] Source #

msm7SignalData_pseudoranges :: Lens' Msm7SignalData [Int32] Source #

data Msg1074 Source #

Message 1074

RTCMv3 message 1074.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1074
Fields _msg1074_header :: MsmHeader MSM header. _msg1074_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1074_signalData :: Msm4SignalData MSM signal data.

Instances

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

getBitsMsm7SignalData :: Int -> BitGet Msm7SignalData Source #

Get Bits for Msm7SignalData.

putBitsMsm7SignalData :: Msm7SignalData -> BitPut () Source #

Put Bits for Msm7SignalData.

msg1074 :: Word16 Source #

msg1074_header :: Lens' Msg1074 MsmHeader Source #

msg1074_satelliteData :: Lens' Msg1074 Msm46SatelliteData Source #

msg1074_signalData :: Lens' Msg1074 Msm4SignalData Source #

data Msg1075 Source #

Message 1075

RTCMv3 message 1075.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1075
Fields _msg1075_header :: MsmHeader MSM header. _msg1075_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1075_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1075 :: Word16 Source #

msg1075_header :: Lens' Msg1075 MsmHeader Source #

msg1075_satelliteData :: Lens' Msg1075 Msm57SatelliteData Source #

msg1075_signalData :: Lens' Msg1075 Msm5SignalData Source #

data Msg1076 Source #

Message 1076

RTCMv3 message 1076.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1076
Fields _msg1076_header :: MsmHeader MSM header. _msg1076_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1076_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1076 :: Word16 Source #

msg1076_header :: Lens' Msg1076 MsmHeader Source #

msg1076_satelliteData :: Lens' Msg1076 Msm46SatelliteData Source #

msg1076_signalData :: Lens' Msg1076 Msm6SignalData Source #

data Msg1077 Source #

Message 1077

RTCMv3 message 1077.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1077
Fields _msg1077_header :: MsmHeader MSM header. _msg1077_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1077_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1077 :: Word16 Source #

msg1077_header :: Lens' Msg1077 MsmHeader Source #

msg1077_satelliteData :: Lens' Msg1077 Msm57SatelliteData Source #

msg1077_signalData :: Lens' Msg1077 Msm7SignalData Source #

data Msg1084 Source #

Message 1084

RTCMv3 message 1084.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1084
Fields _msg1084_header :: MsmHeader MSM header. _msg1084_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1084_signalData :: Msm4SignalData MSM satellite data.

Instances

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

msg1084 :: Word16 Source #

msg1084_header :: Lens' Msg1084 MsmHeader Source #

msg1084_satelliteData :: Lens' Msg1084 Msm46SatelliteData Source #

msg1084_signalData :: Lens' Msg1084 Msm4SignalData Source #

data Msg1085 Source #

Message 1085

RTCMv3 message 1085.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1085
Fields _msg1085_header :: MsmHeader MSM header. _msg1085_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1085_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1085 :: Word16 Source #

msg1085_header :: Lens' Msg1085 MsmHeader Source #

msg1085_satelliteData :: Lens' Msg1085 Msm57SatelliteData Source #

msg1085_signalData :: Lens' Msg1085 Msm5SignalData Source #

data Msg1086 Source #

Message 1086

RTCMv3 message 1086.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1086
Fields _msg1086_header :: MsmHeader MSM header. _msg1086_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1086_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1086 :: Word16 Source #

msg1086_header :: Lens' Msg1086 MsmHeader Source #

msg1086_satelliteData :: Lens' Msg1086 Msm46SatelliteData Source #

msg1086_signalData :: Lens' Msg1086 Msm6SignalData Source #

data Msg1087 Source #

Message 1087

RTCMv3 message 1087.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1087
Fields _msg1087_header :: MsmHeader MSM header. _msg1087_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1087_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1087 :: Word16 Source #

msg1087_header :: Lens' Msg1087 MsmHeader Source #

msg1087_satelliteData :: Lens' Msg1087 Msm57SatelliteData Source #

msg1087_signalData :: Lens' Msg1087 Msm7SignalData Source #

data Msg1094 Source #

Message 1094

RTCMv3 message 1094.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1094
Fields _msg1094_header :: MsmHeader MSM header. _msg1094_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1094_signalData :: Msm4SignalData MSM satellite data.

Instances

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

msg1094 :: Word16 Source #

msg1094_header :: Lens' Msg1094 MsmHeader Source #

msg1094_satelliteData :: Lens' Msg1094 Msm46SatelliteData Source #

msg1094_signalData :: Lens' Msg1094 Msm4SignalData Source #

data Msg1095 Source #

Message 1095

RTCMv3 message 1095.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1095
Fields _msg1095_header :: MsmHeader MSM header. _msg1095_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1095_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1095 :: Word16 Source #

msg1095_header :: Lens' Msg1095 MsmHeader Source #

msg1095_satelliteData :: Lens' Msg1095 Msm57SatelliteData Source #

msg1095_signalData :: Lens' Msg1095 Msm5SignalData Source #

data Msg1096 Source #

Message 1096

RTCMv3 message 1096.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1096
Fields _msg1096_header :: MsmHeader MSM header. _msg1096_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1096_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1096 :: Word16 Source #

msg1096_header :: Lens' Msg1096 MsmHeader Source #

msg1096_satelliteData :: Lens' Msg1096 Msm46SatelliteData Source #

msg1096_signalData :: Lens' Msg1096 Msm6SignalData Source #

data Msg1097 Source #

Message 1097

RTCMv3 message 1097.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1097
Fields _msg1097_header :: MsmHeader MSM header. _msg1097_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1097_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1097 :: Word16 Source #

msg1097_header :: Lens' Msg1097 MsmHeader Source #

msg1097_satelliteData :: Lens' Msg1097 Msm57SatelliteData Source #

msg1097_signalData :: Lens' Msg1097 Msm7SignalData Source #

data Msg1104 Source #

Message 1104

RTCMv3 message 1104.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1104
Fields _msg1104_header :: MsmHeader MSM header. _msg1104_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1104_signalData :: Msm4SignalData MSM satellite data.

Instances

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

msg1104 :: Word16 Source #

msg1104_header :: Lens' Msg1104 MsmHeader Source #

msg1104_satelliteData :: Lens' Msg1104 Msm46SatelliteData Source #

msg1104_signalData :: Lens' Msg1104 Msm4SignalData Source #

data Msg1105 Source #

Message 1105

RTCMv3 message 1105.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1105
Fields _msg1105_header :: MsmHeader MSM header. _msg1105_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1105_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1105 :: Word16 Source #

msg1105_header :: Lens' Msg1105 MsmHeader Source #

msg1105_satelliteData :: Lens' Msg1105 Msm57SatelliteData Source #

msg1105_signalData :: Lens' Msg1105 Msm5SignalData Source #

data Msg1106 Source #

Message 1106

RTCMv3 message 1106.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1106
Fields _msg1106_header :: MsmHeader MSM header. _msg1106_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1106_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1106 :: Word16 Source #

msg1106_header :: Lens' Msg1106 MsmHeader Source #

msg1106_satelliteData :: Lens' Msg1106 Msm46SatelliteData Source #

msg1106_signalData :: Lens' Msg1106 Msm6SignalData Source #

data Msg1107 Source #

Message 1107

RTCMv3 message 1107.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1107
Fields _msg1107_header :: MsmHeader MSM header. _msg1107_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1107_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1107 :: Word16 Source #

msg1107_header :: Lens' Msg1107 MsmHeader Source #

msg1107_satelliteData :: Lens' Msg1107 Msm57SatelliteData Source #

msg1107_signalData :: Lens' Msg1107 Msm7SignalData Source #

data Msg1114 Source #

Message 1114

RTCMv3 message 1114.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1114
Fields _msg1114_header :: MsmHeader MSM header. _msg1114_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1114_signalData :: Msm4SignalData MSM satellite data.

Instances

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

msg1114 :: Word16 Source #

msg1114_header :: Lens' Msg1114 MsmHeader Source #

msg1114_satelliteData :: Lens' Msg1114 Msm46SatelliteData Source #

msg1114_signalData :: Lens' Msg1114 Msm4SignalData Source #

data Msg1115 Source #

Message 1115

RTCMv3 message 1115.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1115
Fields _msg1115_header :: MsmHeader MSM header. _msg1115_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1115_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1115 :: Word16 Source #

msg1115_header :: Lens' Msg1115 MsmHeader Source #

msg1115_satelliteData :: Lens' Msg1115 Msm57SatelliteData Source #

msg1115_signalData :: Lens' Msg1115 Msm5SignalData Source #

data Msg1116 Source #

Message 1116

RTCMv3 message 1116.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1116
Fields _msg1116_header :: MsmHeader MSM header. _msg1116_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1116_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1116 :: Word16 Source #

msg1116_header :: Lens' Msg1116 MsmHeader Source #

msg1116_satelliteData :: Lens' Msg1116 Msm46SatelliteData Source #

msg1116_signalData :: Lens' Msg1116 Msm6SignalData Source #

data Msg1117 Source #

Message 1117

RTCMv3 message 1117.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1117
Fields _msg1117_header :: MsmHeader MSM header. _msg1117_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1117_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1117 :: Word16 Source #

msg1117_header :: Lens' Msg1117 MsmHeader Source #

msg1117_satelliteData :: Lens' Msg1117 Msm57SatelliteData Source #

msg1117_signalData :: Lens' Msg1117 Msm7SignalData Source #

data Msg1124 Source #

Message 1124

RTCMv3 message 1124.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1124
Fields _msg1124_header :: MsmHeader MSM header. _msg1124_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1124_signalData :: Msm4SignalData MSM satellite data.

Instances

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

msg1124 :: Word16 Source #

msg1124_header :: Lens' Msg1124 MsmHeader Source #

msg1124_satelliteData :: Lens' Msg1124 Msm46SatelliteData Source #

msg1124_signalData :: Lens' Msg1124 Msm4SignalData Source #

data Msg1125 Source #

Message 1125

RTCMv3 message 1125.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1125
Fields _msg1125_header :: MsmHeader MSM header. _msg1125_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1125_signalData :: Msm5SignalData MSM signal data.

Instances

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

msg1125 :: Word16 Source #

msg1125_header :: Lens' Msg1125 MsmHeader Source #

msg1125_satelliteData :: Lens' Msg1125 Msm57SatelliteData Source #

msg1125_signalData :: Lens' Msg1125 Msm5SignalData Source #

data Msg1126 Source #

Message 1126

RTCMv3 message 1126.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1126
Fields _msg1126_header :: MsmHeader MSM header. _msg1126_satelliteData :: Msm46SatelliteData MSM satellite data. _msg1126_signalData :: Msm6SignalData MSM signal data.

Instances

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

msg1126 :: Word16 Source #

msg1126_header :: Lens' Msg1126 MsmHeader Source #

msg1126_satelliteData :: Lens' Msg1126 Msm46SatelliteData Source #

msg1126_signalData :: Lens' Msg1126 Msm6SignalData Source #

data Msg1127 Source #

Message 1127

RTCMv3 message 1127.

See RTCM spec and MSM signal specification for more information about these fields.

Constructors

Msg1127
Fields _msg1127_header :: MsmHeader MSM header. _msg1127_satelliteData :: Msm57SatelliteData MSM satellite data. _msg1127_signalData :: Msm7SignalData MSM signal data.

Instances

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

msg1127 :: Word16 Source #

msg1127_header :: Lens' Msg1127 MsmHeader Source #

msg1127_satelliteData :: Lens' Msg1127 Msm57SatelliteData Source #

msg1127_signalData :: Lens' Msg1127 Msm7SignalData Source #