Data.RTCM3.MSM

RTCMv3 messages for Multiple Signal Messages.

Documentation

data MsmHeader

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

Methods

(==) :: MsmHeader -> MsmHeader -> Bool

(/=) :: MsmHeader -> MsmHeader -> Bool

Read MsmHeader

Methods

readsPrec :: Int -> ReadS MsmHeader

readList :: ReadS [MsmHeader]

readPrec :: ReadPrec MsmHeader

readListPrec :: ReadPrec [MsmHeader]

Show MsmHeader

Methods

showsPrec :: Int -> MsmHeader -> ShowS

show :: MsmHeader -> String

showList :: [MsmHeader] -> ShowS

ToJSON MsmHeader

Methods

toJSON :: MsmHeader -> Value

toEncoding :: MsmHeader -> Encoding

toJSONList :: [MsmHeader] -> Value

toEncodingList :: [MsmHeader] -> Encoding

FromJSON MsmHeader

Methods

parseJSON :: Value -> Parser MsmHeader

parseJSONList :: Value -> Parser [MsmHeader]

BinaryBit MsmHeader

Methods

putBits :: Int -> MsmHeader -> BitPut ()

getBits :: Int -> BitGet MsmHeader

msmHeader_station :: Lens' MsmHeader Word16

msmHeader_smoothingInterval :: Lens' MsmHeader Word8

msmHeader_smoothing :: Lens' MsmHeader Bool

msmHeader_signalMask :: Lens' MsmHeader Word32

msmHeader_satelliteMask :: Lens' MsmHeader Word64

msmHeader_reserved :: Lens' MsmHeader Word8

msmHeader_num :: Lens' MsmHeader Word16

msmHeader_multiple :: Lens' MsmHeader Bool

msmHeader_iods :: Lens' MsmHeader Word8

msmHeader_externalClock :: Lens' MsmHeader Word8

msmHeader_epoch :: Lens' MsmHeader Word32

msmHeader_clockSteering :: Lens' MsmHeader Word8

msmHeader_cellMask :: Lens' MsmHeader Word64

data Msm46SatelliteData

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

Methods

(==) :: Msm46SatelliteData -> Msm46SatelliteData -> Bool

(/=) :: Msm46SatelliteData -> Msm46SatelliteData -> Bool

Read Msm46SatelliteData

Methods

readsPrec :: Int -> ReadS Msm46SatelliteData

readList :: ReadS [Msm46SatelliteData]

readPrec :: ReadPrec Msm46SatelliteData

readListPrec :: ReadPrec [Msm46SatelliteData]

Show Msm46SatelliteData

Methods

showsPrec :: Int -> Msm46SatelliteData -> ShowS

show :: Msm46SatelliteData -> String

showList :: [Msm46SatelliteData] -> ShowS

ToJSON Msm46SatelliteData

Methods

toJSON :: Msm46SatelliteData -> Value

toEncoding :: Msm46SatelliteData -> Encoding

toJSONList :: [Msm46SatelliteData] -> Value

toEncodingList :: [Msm46SatelliteData] -> Encoding

FromJSON Msm46SatelliteData

Methods

parseJSON :: Value -> Parser Msm46SatelliteData

parseJSONList :: Value -> Parser [Msm46SatelliteData]

msm46SatelliteData_rangesModulo :: Lens' Msm46SatelliteData [Word16]

msm46SatelliteData_ranges :: Lens' Msm46SatelliteData [Word8]

getBitsMsm46SatelliteData :: Int -> BitGet Msm46SatelliteData

Get Bits for Msm4SatelliteData.

putBitsMsm46SatelliteData :: Msm46SatelliteData -> BitPut ()

Put Bits for Msm46SatelliteData.

data Msm57SatelliteData

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

Methods

(==) :: Msm57SatelliteData -> Msm57SatelliteData -> Bool

(/=) :: Msm57SatelliteData -> Msm57SatelliteData -> Bool

Read Msm57SatelliteData

Methods

readsPrec :: Int -> ReadS Msm57SatelliteData

readList :: ReadS [Msm57SatelliteData]

readPrec :: ReadPrec Msm57SatelliteData

readListPrec :: ReadPrec [Msm57SatelliteData]

Show Msm57SatelliteData

Methods

showsPrec :: Int -> Msm57SatelliteData -> ShowS

show :: Msm57SatelliteData -> String

showList :: [Msm57SatelliteData] -> ShowS

ToJSON Msm57SatelliteData

Methods

toJSON :: Msm57SatelliteData -> Value

toEncoding :: Msm57SatelliteData -> Encoding

toJSONList :: [Msm57SatelliteData] -> Value

toEncodingList :: [Msm57SatelliteData] -> Encoding

FromJSON Msm57SatelliteData

Methods

parseJSON :: Value -> Parser Msm57SatelliteData

parseJSONList :: Value -> Parser [Msm57SatelliteData]

msm57SatelliteData_rangesModulo :: Lens' Msm57SatelliteData [Word16]

msm57SatelliteData_ranges :: Lens' Msm57SatelliteData [Word8]

msm57SatelliteData_phaseRangeRates :: Lens' Msm57SatelliteData [Word16]

msm57SatelliteData_extendeds :: Lens' Msm57SatelliteData [Word8]

getBitsMsm57SatelliteData :: Int -> BitGet Msm57SatelliteData

Get Bits for Msm57SatelliteData.

putBitsMsm57SatelliteData :: Msm57SatelliteData -> BitPut ()

Put Bits for Msm4SatelliteData.

data Msm4SignalData

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

Methods

(==) :: Msm4SignalData -> Msm4SignalData -> Bool

(/=) :: Msm4SignalData -> Msm4SignalData -> Bool

Read Msm4SignalData

Methods

readsPrec :: Int -> ReadS Msm4SignalData

readList :: ReadS [Msm4SignalData]

readPrec :: ReadPrec Msm4SignalData

readListPrec :: ReadPrec [Msm4SignalData]

Show Msm4SignalData

Methods

showsPrec :: Int -> Msm4SignalData -> ShowS

show :: Msm4SignalData -> String

showList :: [Msm4SignalData] -> ShowS

ToJSON Msm4SignalData

Methods

toJSON :: Msm4SignalData -> Value

toEncoding :: Msm4SignalData -> Encoding

toJSONList :: [Msm4SignalData] -> Value

toEncodingList :: [Msm4SignalData] -> Encoding

FromJSON Msm4SignalData

Methods

parseJSON :: Value -> Parser Msm4SignalData

parseJSONList :: Value -> Parser [Msm4SignalData]

msm4SignalData_pseudoranges :: Lens' Msm4SignalData [Int16]

msm4SignalData_phaseranges :: Lens' Msm4SignalData [Int32]

msm4SignalData_lockTimes :: Lens' Msm4SignalData [Word8]

msm4SignalData_halfCycles :: Lens' Msm4SignalData [Bool]

msm4SignalData_cnrs :: Lens' Msm4SignalData [Word8]

getBitsMsm4SignalData :: Int -> BitGet Msm4SignalData

Get Bits for Msm4SignalData.

putBitsMsm4SignalData :: Msm4SignalData -> BitPut ()

Put Bits for Msm4SignalData.

data Msm5SignalData

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

Methods

(==) :: Msm5SignalData -> Msm5SignalData -> Bool

(/=) :: Msm5SignalData -> Msm5SignalData -> Bool

Read Msm5SignalData

Methods

readsPrec :: Int -> ReadS Msm5SignalData

readList :: ReadS [Msm5SignalData]

readPrec :: ReadPrec Msm5SignalData

readListPrec :: ReadPrec [Msm5SignalData]

Show Msm5SignalData

Methods

showsPrec :: Int -> Msm5SignalData -> ShowS

show :: Msm5SignalData -> String

showList :: [Msm5SignalData] -> ShowS

ToJSON Msm5SignalData

Methods

toJSON :: Msm5SignalData -> Value

toEncoding :: Msm5SignalData -> Encoding

toJSONList :: [Msm5SignalData] -> Value

toEncodingList :: [Msm5SignalData] -> Encoding

FromJSON Msm5SignalData

Methods

parseJSON :: Value -> Parser Msm5SignalData

parseJSONList :: Value -> Parser [Msm5SignalData]

msm5SignalData_pseudoranges :: Lens' Msm5SignalData [Int16]

msm5SignalData_phaseranges :: Lens' Msm5SignalData [Int32]

msm5SignalData_phaseRangeRates :: Lens' Msm5SignalData [Int16]

msm5SignalData_lockTimes :: Lens' Msm5SignalData [Word8]

msm5SignalData_halfCycles :: Lens' Msm5SignalData [Bool]

msm5SignalData_cnrs :: Lens' Msm5SignalData [Word8]

getBitsMsm5SignalData :: Int -> BitGet Msm5SignalData

Get Bits for Msm5SignalData.

putBitsMsm5SignalData :: Msm5SignalData -> BitPut ()

Put Bits for Msm5SignalData.

data Msm6SignalData

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

Methods

(==) :: Msm6SignalData -> Msm6SignalData -> Bool

(/=) :: Msm6SignalData -> Msm6SignalData -> Bool

Read Msm6SignalData

Methods

readsPrec :: Int -> ReadS Msm6SignalData

readList :: ReadS [Msm6SignalData]

readPrec :: ReadPrec Msm6SignalData

readListPrec :: ReadPrec [Msm6SignalData]

Show Msm6SignalData

Methods

showsPrec :: Int -> Msm6SignalData -> ShowS

show :: Msm6SignalData -> String

showList :: [Msm6SignalData] -> ShowS

ToJSON Msm6SignalData

Methods

toJSON :: Msm6SignalData -> Value

toEncoding :: Msm6SignalData -> Encoding

toJSONList :: [Msm6SignalData] -> Value

toEncodingList :: [Msm6SignalData] -> Encoding

FromJSON Msm6SignalData

Methods

parseJSON :: Value -> Parser Msm6SignalData

parseJSONList :: Value -> Parser [Msm6SignalData]

msm6SignalData_pseudoranges :: Lens' Msm6SignalData [Int32]

msm6SignalData_phaseranges :: Lens' Msm6SignalData [Int32]

msm6SignalData_lockTimes :: Lens' Msm6SignalData [Word16]

msm6SignalData_halfCycles :: Lens' Msm6SignalData [Bool]

msm6SignalData_cnrs :: Lens' Msm6SignalData [Word16]

getBitsMsm6SignalData :: Int -> BitGet Msm6SignalData

Get Bits for Msm6SignalData.

putBitsMsm6SignalData :: Msm6SignalData -> BitPut ()

Put Bits for Msm6SignalData.

data Msm7SignalData

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

Methods

(==) :: Msm7SignalData -> Msm7SignalData -> Bool

(/=) :: Msm7SignalData -> Msm7SignalData -> Bool

Read Msm7SignalData

Methods

readsPrec :: Int -> ReadS Msm7SignalData

readList :: ReadS [Msm7SignalData]

readPrec :: ReadPrec Msm7SignalData

readListPrec :: ReadPrec [Msm7SignalData]

Show Msm7SignalData

Methods

showsPrec :: Int -> Msm7SignalData -> ShowS

show :: Msm7SignalData -> String

showList :: [Msm7SignalData] -> ShowS

ToJSON Msm7SignalData

Methods

toJSON :: Msm7SignalData -> Value

toEncoding :: Msm7SignalData -> Encoding

toJSONList :: [Msm7SignalData] -> Value

toEncodingList :: [Msm7SignalData] -> Encoding

FromJSON Msm7SignalData

Methods

parseJSON :: Value -> Parser Msm7SignalData

parseJSONList :: Value -> Parser [Msm7SignalData]

msm7SignalData_pseudoranges :: Lens' Msm7SignalData [Int32]

msm7SignalData_phaseranges :: Lens' Msm7SignalData [Int32]

msm7SignalData_phaseRangeRates :: Lens' Msm7SignalData [Int16]

msm7SignalData_lockTimes :: Lens' Msm7SignalData [Word16]

msm7SignalData_halfCycles :: Lens' Msm7SignalData [Bool]

msm7SignalData_cnrs :: Lens' Msm7SignalData [Word16]

getBitsMsm7SignalData :: Int -> BitGet Msm7SignalData

Get Bits for Msm7SignalData.

putBitsMsm7SignalData :: Msm7SignalData -> BitPut ()

Put Bits for Msm7SignalData.

msg1074 :: Word16

data Msg1074

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

Methods

(==) :: Msg1074 -> Msg1074 -> Bool

(/=) :: Msg1074 -> Msg1074 -> Bool

Read Msg1074

Methods

readsPrec :: Int -> ReadS Msg1074

readList :: ReadS [Msg1074]

readPrec :: ReadPrec Msg1074

readListPrec :: ReadPrec [Msg1074]

Show Msg1074

Methods

showsPrec :: Int -> Msg1074 -> ShowS

show :: Msg1074 -> String

showList :: [Msg1074] -> ShowS

ToJSON Msg1074

Methods

toJSON :: Msg1074 -> Value

toEncoding :: Msg1074 -> Encoding

toJSONList :: [Msg1074] -> Value

toEncodingList :: [Msg1074] -> Encoding

FromJSON Msg1074

Methods

parseJSON :: Value -> Parser Msg1074

parseJSONList :: Value -> Parser [Msg1074]

Binary Msg1074

Methods

put :: Msg1074 -> Put

get :: Get Msg1074

putList :: [Msg1074] -> Put

ToRTCM3 Msg1074

Methods

toRTCM3 :: Msg1074 -> Msg

msg1074_signalData :: Lens' Msg1074 Msm4SignalData

msg1074_satelliteData :: Lens' Msg1074 Msm46SatelliteData

msg1074_header :: Lens' Msg1074 MsmHeader

msg1075 :: Word16

data Msg1075

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

Methods

(==) :: Msg1075 -> Msg1075 -> Bool

(/=) :: Msg1075 -> Msg1075 -> Bool

Read Msg1075

Methods

readsPrec :: Int -> ReadS Msg1075

readList :: ReadS [Msg1075]

readPrec :: ReadPrec Msg1075

readListPrec :: ReadPrec [Msg1075]

Show Msg1075

Methods

showsPrec :: Int -> Msg1075 -> ShowS

show :: Msg1075 -> String

showList :: [Msg1075] -> ShowS

ToJSON Msg1075

Methods

toJSON :: Msg1075 -> Value

toEncoding :: Msg1075 -> Encoding

toJSONList :: [Msg1075] -> Value

toEncodingList :: [Msg1075] -> Encoding

FromJSON Msg1075

Methods

parseJSON :: Value -> Parser Msg1075

parseJSONList :: Value -> Parser [Msg1075]

Binary Msg1075

Methods

put :: Msg1075 -> Put

get :: Get Msg1075

putList :: [Msg1075] -> Put

ToRTCM3 Msg1075

Methods

toRTCM3 :: Msg1075 -> Msg

msg1075_signalData :: Lens' Msg1075 Msm5SignalData

msg1075_satelliteData :: Lens' Msg1075 Msm57SatelliteData

msg1075_header :: Lens' Msg1075 MsmHeader

msg1076 :: Word16

data Msg1076

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

Methods

(==) :: Msg1076 -> Msg1076 -> Bool

(/=) :: Msg1076 -> Msg1076 -> Bool

Read Msg1076

Methods

readsPrec :: Int -> ReadS Msg1076

readList :: ReadS [Msg1076]

readPrec :: ReadPrec Msg1076

readListPrec :: ReadPrec [Msg1076]

Show Msg1076

Methods

showsPrec :: Int -> Msg1076 -> ShowS

show :: Msg1076 -> String

showList :: [Msg1076] -> ShowS

ToJSON Msg1076

Methods

toJSON :: Msg1076 -> Value

toEncoding :: Msg1076 -> Encoding

toJSONList :: [Msg1076] -> Value

toEncodingList :: [Msg1076] -> Encoding

FromJSON Msg1076

Methods

parseJSON :: Value -> Parser Msg1076

parseJSONList :: Value -> Parser [Msg1076]

Binary Msg1076

Methods

put :: Msg1076 -> Put

get :: Get Msg1076

putList :: [Msg1076] -> Put

ToRTCM3 Msg1076

Methods

toRTCM3 :: Msg1076 -> Msg

msg1076_signalData :: Lens' Msg1076 Msm6SignalData

msg1076_satelliteData :: Lens' Msg1076 Msm46SatelliteData

msg1076_header :: Lens' Msg1076 MsmHeader

msg1077 :: Word16

data Msg1077

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

Methods

(==) :: Msg1077 -> Msg1077 -> Bool

(/=) :: Msg1077 -> Msg1077 -> Bool

Read Msg1077

Methods

readsPrec :: Int -> ReadS Msg1077

readList :: ReadS [Msg1077]

readPrec :: ReadPrec Msg1077

readListPrec :: ReadPrec [Msg1077]

Show Msg1077

Methods

showsPrec :: Int -> Msg1077 -> ShowS

show :: Msg1077 -> String

showList :: [Msg1077] -> ShowS

ToJSON Msg1077

Methods

toJSON :: Msg1077 -> Value

toEncoding :: Msg1077 -> Encoding

toJSONList :: [Msg1077] -> Value

toEncodingList :: [Msg1077] -> Encoding

FromJSON Msg1077

Methods

parseJSON :: Value -> Parser Msg1077

parseJSONList :: Value -> Parser [Msg1077]

Binary Msg1077

Methods

put :: Msg1077 -> Put

get :: Get Msg1077

putList :: [Msg1077] -> Put

ToRTCM3 Msg1077

Methods

toRTCM3 :: Msg1077 -> Msg

msg1077_signalData :: Lens' Msg1077 Msm7SignalData

msg1077_satelliteData :: Lens' Msg1077 Msm57SatelliteData

msg1077_header :: Lens' Msg1077 MsmHeader

msg1084 :: Word16

data Msg1084

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

Methods

(==) :: Msg1084 -> Msg1084 -> Bool

(/=) :: Msg1084 -> Msg1084 -> Bool

Read Msg1084

Methods

readsPrec :: Int -> ReadS Msg1084

readList :: ReadS [Msg1084]

readPrec :: ReadPrec Msg1084

readListPrec :: ReadPrec [Msg1084]

Show Msg1084

Methods

showsPrec :: Int -> Msg1084 -> ShowS

show :: Msg1084 -> String

showList :: [Msg1084] -> ShowS

ToJSON Msg1084

Methods

toJSON :: Msg1084 -> Value

toEncoding :: Msg1084 -> Encoding

toJSONList :: [Msg1084] -> Value

toEncodingList :: [Msg1084] -> Encoding

FromJSON Msg1084

Methods

parseJSON :: Value -> Parser Msg1084

parseJSONList :: Value -> Parser [Msg1084]

Binary Msg1084

Methods

put :: Msg1084 -> Put

get :: Get Msg1084

putList :: [Msg1084] -> Put

ToRTCM3 Msg1084

Methods

toRTCM3 :: Msg1084 -> Msg

msg1084_signalData :: Lens' Msg1084 Msm4SignalData

msg1084_satelliteData :: Lens' Msg1084 Msm46SatelliteData

msg1084_header :: Lens' Msg1084 MsmHeader

msg1085 :: Word16

data Msg1085

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

Methods

(==) :: Msg1085 -> Msg1085 -> Bool

(/=) :: Msg1085 -> Msg1085 -> Bool

Read Msg1085

Methods

readsPrec :: Int -> ReadS Msg1085

readList :: ReadS [Msg1085]

readPrec :: ReadPrec Msg1085

readListPrec :: ReadPrec [Msg1085]

Show Msg1085

Methods

showsPrec :: Int -> Msg1085 -> ShowS

show :: Msg1085 -> String

showList :: [Msg1085] -> ShowS

ToJSON Msg1085

Methods

toJSON :: Msg1085 -> Value

toEncoding :: Msg1085 -> Encoding

toJSONList :: [Msg1085] -> Value

toEncodingList :: [Msg1085] -> Encoding

FromJSON Msg1085

Methods

parseJSON :: Value -> Parser Msg1085

parseJSONList :: Value -> Parser [Msg1085]

Binary Msg1085

Methods

put :: Msg1085 -> Put

get :: Get Msg1085

putList :: [Msg1085] -> Put

ToRTCM3 Msg1085

Methods

toRTCM3 :: Msg1085 -> Msg

msg1085_signalData :: Lens' Msg1085 Msm5SignalData

msg1085_satelliteData :: Lens' Msg1085 Msm57SatelliteData

msg1085_header :: Lens' Msg1085 MsmHeader

msg1086 :: Word16

data Msg1086

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

Methods

(==) :: Msg1086 -> Msg1086 -> Bool

(/=) :: Msg1086 -> Msg1086 -> Bool

Read Msg1086

Methods

readsPrec :: Int -> ReadS Msg1086

readList :: ReadS [Msg1086]

readPrec :: ReadPrec Msg1086

readListPrec :: ReadPrec [Msg1086]

Show Msg1086

Methods

showsPrec :: Int -> Msg1086 -> ShowS

show :: Msg1086 -> String

showList :: [Msg1086] -> ShowS

ToJSON Msg1086

Methods

toJSON :: Msg1086 -> Value

toEncoding :: Msg1086 -> Encoding

toJSONList :: [Msg1086] -> Value

toEncodingList :: [Msg1086] -> Encoding

FromJSON Msg1086

Methods

parseJSON :: Value -> Parser Msg1086

parseJSONList :: Value -> Parser [Msg1086]

Binary Msg1086

Methods

put :: Msg1086 -> Put

get :: Get Msg1086

putList :: [Msg1086] -> Put

ToRTCM3 Msg1086

Methods

toRTCM3 :: Msg1086 -> Msg

msg1086_signalData :: Lens' Msg1086 Msm6SignalData

msg1086_satelliteData :: Lens' Msg1086 Msm46SatelliteData

msg1086_header :: Lens' Msg1086 MsmHeader

msg1087 :: Word16

data Msg1087

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

Methods

(==) :: Msg1087 -> Msg1087 -> Bool

(/=) :: Msg1087 -> Msg1087 -> Bool

Read Msg1087

Methods

readsPrec :: Int -> ReadS Msg1087

readList :: ReadS [Msg1087]

readPrec :: ReadPrec Msg1087

readListPrec :: ReadPrec [Msg1087]

Show Msg1087

Methods

showsPrec :: Int -> Msg1087 -> ShowS

show :: Msg1087 -> String

showList :: [Msg1087] -> ShowS

ToJSON Msg1087

Methods

toJSON :: Msg1087 -> Value

toEncoding :: Msg1087 -> Encoding

toJSONList :: [Msg1087] -> Value

toEncodingList :: [Msg1087] -> Encoding

FromJSON Msg1087

Methods

parseJSON :: Value -> Parser Msg1087

parseJSONList :: Value -> Parser [Msg1087]

Binary Msg1087

Methods

put :: Msg1087 -> Put

get :: Get Msg1087

putList :: [Msg1087] -> Put

ToRTCM3 Msg1087

Methods

toRTCM3 :: Msg1087 -> Msg

msg1087_signalData :: Lens' Msg1087 Msm7SignalData

msg1087_satelliteData :: Lens' Msg1087 Msm57SatelliteData

msg1087_header :: Lens' Msg1087 MsmHeader

msg1094 :: Word16

data Msg1094

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

Methods

(==) :: Msg1094 -> Msg1094 -> Bool

(/=) :: Msg1094 -> Msg1094 -> Bool

Read Msg1094

Methods

readsPrec :: Int -> ReadS Msg1094

readList :: ReadS [Msg1094]

readPrec :: ReadPrec Msg1094

readListPrec :: ReadPrec [Msg1094]

Show Msg1094

Methods

showsPrec :: Int -> Msg1094 -> ShowS

show :: Msg1094 -> String

showList :: [Msg1094] -> ShowS

ToJSON Msg1094

Methods

toJSON :: Msg1094 -> Value

toEncoding :: Msg1094 -> Encoding

toJSONList :: [Msg1094] -> Value

toEncodingList :: [Msg1094] -> Encoding

FromJSON Msg1094

Methods

parseJSON :: Value -> Parser Msg1094

parseJSONList :: Value -> Parser [Msg1094]

Binary Msg1094

Methods

put :: Msg1094 -> Put

get :: Get Msg1094

putList :: [Msg1094] -> Put

ToRTCM3 Msg1094

Methods

toRTCM3 :: Msg1094 -> Msg

msg1094_signalData :: Lens' Msg1094 Msm4SignalData

msg1094_satelliteData :: Lens' Msg1094 Msm46SatelliteData

msg1094_header :: Lens' Msg1094 MsmHeader

msg1095 :: Word16

data Msg1095

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

Methods

(==) :: Msg1095 -> Msg1095 -> Bool

(/=) :: Msg1095 -> Msg1095 -> Bool

Read Msg1095

Methods

readsPrec :: Int -> ReadS Msg1095

readList :: ReadS [Msg1095]

readPrec :: ReadPrec Msg1095

readListPrec :: ReadPrec [Msg1095]

Show Msg1095

Methods

showsPrec :: Int -> Msg1095 -> ShowS

show :: Msg1095 -> String

showList :: [Msg1095] -> ShowS

ToJSON Msg1095

Methods

toJSON :: Msg1095 -> Value

toEncoding :: Msg1095 -> Encoding

toJSONList :: [Msg1095] -> Value

toEncodingList :: [Msg1095] -> Encoding

FromJSON Msg1095

Methods

parseJSON :: Value -> Parser Msg1095

parseJSONList :: Value -> Parser [Msg1095]

Binary Msg1095

Methods

put :: Msg1095 -> Put

get :: Get Msg1095

putList :: [Msg1095] -> Put

ToRTCM3 Msg1095

Methods

toRTCM3 :: Msg1095 -> Msg

msg1095_signalData :: Lens' Msg1095 Msm5SignalData

msg1095_satelliteData :: Lens' Msg1095 Msm57SatelliteData

msg1095_header :: Lens' Msg1095 MsmHeader

msg1096 :: Word16

data Msg1096

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

Methods

(==) :: Msg1096 -> Msg1096 -> Bool

(/=) :: Msg1096 -> Msg1096 -> Bool

Read Msg1096

Methods

readsPrec :: Int -> ReadS Msg1096

readList :: ReadS [Msg1096]

readPrec :: ReadPrec Msg1096

readListPrec :: ReadPrec [Msg1096]

Show Msg1096

Methods

showsPrec :: Int -> Msg1096 -> ShowS

show :: Msg1096 -> String

showList :: [Msg1096] -> ShowS

ToJSON Msg1096

Methods

toJSON :: Msg1096 -> Value

toEncoding :: Msg1096 -> Encoding

toJSONList :: [Msg1096] -> Value

toEncodingList :: [Msg1096] -> Encoding

FromJSON Msg1096

Methods

parseJSON :: Value -> Parser Msg1096

parseJSONList :: Value -> Parser [Msg1096]

Binary Msg1096

Methods

put :: Msg1096 -> Put

get :: Get Msg1096

putList :: [Msg1096] -> Put

ToRTCM3 Msg1096

Methods

toRTCM3 :: Msg1096 -> Msg

msg1096_signalData :: Lens' Msg1096 Msm6SignalData

msg1096_satelliteData :: Lens' Msg1096 Msm46SatelliteData

msg1096_header :: Lens' Msg1096 MsmHeader

msg1097 :: Word16

data Msg1097

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

Methods

(==) :: Msg1097 -> Msg1097 -> Bool

(/=) :: Msg1097 -> Msg1097 -> Bool

Read Msg1097

Methods

readsPrec :: Int -> ReadS Msg1097

readList :: ReadS [Msg1097]

readPrec :: ReadPrec Msg1097

readListPrec :: ReadPrec [Msg1097]

Show Msg1097

Methods

showsPrec :: Int -> Msg1097 -> ShowS

show :: Msg1097 -> String

showList :: [Msg1097] -> ShowS

ToJSON Msg1097

Methods

toJSON :: Msg1097 -> Value

toEncoding :: Msg1097 -> Encoding

toJSONList :: [Msg1097] -> Value

toEncodingList :: [Msg1097] -> Encoding

FromJSON Msg1097

Methods

parseJSON :: Value -> Parser Msg1097

parseJSONList :: Value -> Parser [Msg1097]

Binary Msg1097

Methods

put :: Msg1097 -> Put

get :: Get Msg1097

putList :: [Msg1097] -> Put

ToRTCM3 Msg1097

Methods

toRTCM3 :: Msg1097 -> Msg

msg1097_signalData :: Lens' Msg1097 Msm7SignalData

msg1097_satelliteData :: Lens' Msg1097 Msm57SatelliteData

msg1097_header :: Lens' Msg1097 MsmHeader

msg1104 :: Word16

data Msg1104

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

Methods

(==) :: Msg1104 -> Msg1104 -> Bool

(/=) :: Msg1104 -> Msg1104 -> Bool

Read Msg1104

Methods

readsPrec :: Int -> ReadS Msg1104

readList :: ReadS [Msg1104]

readPrec :: ReadPrec Msg1104

readListPrec :: ReadPrec [Msg1104]

Show Msg1104

Methods

showsPrec :: Int -> Msg1104 -> ShowS

show :: Msg1104 -> String

showList :: [Msg1104] -> ShowS

ToJSON Msg1104

Methods

toJSON :: Msg1104 -> Value

toEncoding :: Msg1104 -> Encoding

toJSONList :: [Msg1104] -> Value

toEncodingList :: [Msg1104] -> Encoding

FromJSON Msg1104

Methods

parseJSON :: Value -> Parser Msg1104

parseJSONList :: Value -> Parser [Msg1104]

Binary Msg1104

Methods

put :: Msg1104 -> Put

get :: Get Msg1104

putList :: [Msg1104] -> Put

ToRTCM3 Msg1104

Methods

toRTCM3 :: Msg1104 -> Msg

msg1104_signalData :: Lens' Msg1104 Msm4SignalData

msg1104_satelliteData :: Lens' Msg1104 Msm46SatelliteData

msg1104_header :: Lens' Msg1104 MsmHeader

msg1105 :: Word16

data Msg1105

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

Methods

(==) :: Msg1105 -> Msg1105 -> Bool

(/=) :: Msg1105 -> Msg1105 -> Bool

Read Msg1105

Methods

readsPrec :: Int -> ReadS Msg1105

readList :: ReadS [Msg1105]

readPrec :: ReadPrec Msg1105

readListPrec :: ReadPrec [Msg1105]

Show Msg1105

Methods

showsPrec :: Int -> Msg1105 -> ShowS

show :: Msg1105 -> String

showList :: [Msg1105] -> ShowS

ToJSON Msg1105

Methods

toJSON :: Msg1105 -> Value

toEncoding :: Msg1105 -> Encoding

toJSONList :: [Msg1105] -> Value

toEncodingList :: [Msg1105] -> Encoding

FromJSON Msg1105

Methods

parseJSON :: Value -> Parser Msg1105

parseJSONList :: Value -> Parser [Msg1105]

Binary Msg1105

Methods

put :: Msg1105 -> Put

get :: Get Msg1105

putList :: [Msg1105] -> Put

ToRTCM3 Msg1105

Methods

toRTCM3 :: Msg1105 -> Msg

msg1105_signalData :: Lens' Msg1105 Msm5SignalData

msg1105_satelliteData :: Lens' Msg1105 Msm57SatelliteData

msg1105_header :: Lens' Msg1105 MsmHeader

msg1106 :: Word16

data Msg1106

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

Methods

(==) :: Msg1106 -> Msg1106 -> Bool

(/=) :: Msg1106 -> Msg1106 -> Bool

Read Msg1106

Methods

readsPrec :: Int -> ReadS Msg1106

readList :: ReadS [Msg1106]

readPrec :: ReadPrec Msg1106

readListPrec :: ReadPrec [Msg1106]

Show Msg1106

Methods

showsPrec :: Int -> Msg1106 -> ShowS

show :: Msg1106 -> String

showList :: [Msg1106] -> ShowS

ToJSON Msg1106

Methods

toJSON :: Msg1106 -> Value

toEncoding :: Msg1106 -> Encoding

toJSONList :: [Msg1106] -> Value

toEncodingList :: [Msg1106] -> Encoding

FromJSON Msg1106

Methods

parseJSON :: Value -> Parser Msg1106

parseJSONList :: Value -> Parser [Msg1106]

Binary Msg1106

Methods

put :: Msg1106 -> Put

get :: Get Msg1106

putList :: [Msg1106] -> Put

ToRTCM3 Msg1106

Methods

toRTCM3 :: Msg1106 -> Msg

msg1106_signalData :: Lens' Msg1106 Msm6SignalData

msg1106_satelliteData :: Lens' Msg1106 Msm46SatelliteData

msg1106_header :: Lens' Msg1106 MsmHeader

msg1107 :: Word16

data Msg1107

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

Methods

(==) :: Msg1107 -> Msg1107 -> Bool

(/=) :: Msg1107 -> Msg1107 -> Bool

Read Msg1107

Methods

readsPrec :: Int -> ReadS Msg1107

readList :: ReadS [Msg1107]

readPrec :: ReadPrec Msg1107

readListPrec :: ReadPrec [Msg1107]

Show Msg1107

Methods

showsPrec :: Int -> Msg1107 -> ShowS

show :: Msg1107 -> String

showList :: [Msg1107] -> ShowS

ToJSON Msg1107

Methods

toJSON :: Msg1107 -> Value

toEncoding :: Msg1107 -> Encoding

toJSONList :: [Msg1107] -> Value

toEncodingList :: [Msg1107] -> Encoding

FromJSON Msg1107

Methods

parseJSON :: Value -> Parser Msg1107

parseJSONList :: Value -> Parser [Msg1107]

Binary Msg1107

Methods

put :: Msg1107 -> Put

get :: Get Msg1107

putList :: [Msg1107] -> Put

ToRTCM3 Msg1107

Methods

toRTCM3 :: Msg1107 -> Msg

msg1107_signalData :: Lens' Msg1107 Msm7SignalData

msg1107_satelliteData :: Lens' Msg1107 Msm57SatelliteData

msg1107_header :: Lens' Msg1107 MsmHeader

msg1114 :: Word16

data Msg1114

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

Methods

(==) :: Msg1114 -> Msg1114 -> Bool

(/=) :: Msg1114 -> Msg1114 -> Bool

Read Msg1114

Methods

readsPrec :: Int -> ReadS Msg1114

readList :: ReadS [Msg1114]

readPrec :: ReadPrec Msg1114

readListPrec :: ReadPrec [Msg1114]

Show Msg1114

Methods

showsPrec :: Int -> Msg1114 -> ShowS

show :: Msg1114 -> String

showList :: [Msg1114] -> ShowS

ToJSON Msg1114

Methods

toJSON :: Msg1114 -> Value

toEncoding :: Msg1114 -> Encoding

toJSONList :: [Msg1114] -> Value

toEncodingList :: [Msg1114] -> Encoding

FromJSON Msg1114

Methods

parseJSON :: Value -> Parser Msg1114

parseJSONList :: Value -> Parser [Msg1114]

Binary Msg1114

Methods

put :: Msg1114 -> Put

get :: Get Msg1114

putList :: [Msg1114] -> Put

ToRTCM3 Msg1114

Methods

toRTCM3 :: Msg1114 -> Msg

msg1114_signalData :: Lens' Msg1114 Msm4SignalData

msg1114_satelliteData :: Lens' Msg1114 Msm46SatelliteData

msg1114_header :: Lens' Msg1114 MsmHeader

msg1115 :: Word16

data Msg1115

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

Methods

(==) :: Msg1115 -> Msg1115 -> Bool

(/=) :: Msg1115 -> Msg1115 -> Bool

Read Msg1115

Methods

readsPrec :: Int -> ReadS Msg1115

readList :: ReadS [Msg1115]

readPrec :: ReadPrec Msg1115

readListPrec :: ReadPrec [Msg1115]

Show Msg1115

Methods

showsPrec :: Int -> Msg1115 -> ShowS

show :: Msg1115 -> String

showList :: [Msg1115] -> ShowS

ToJSON Msg1115

Methods

toJSON :: Msg1115 -> Value

toEncoding :: Msg1115 -> Encoding

toJSONList :: [Msg1115] -> Value

toEncodingList :: [Msg1115] -> Encoding

FromJSON Msg1115

Methods

parseJSON :: Value -> Parser Msg1115

parseJSONList :: Value -> Parser [Msg1115]

Binary Msg1115

Methods

put :: Msg1115 -> Put

get :: Get Msg1115

putList :: [Msg1115] -> Put

ToRTCM3 Msg1115

Methods

toRTCM3 :: Msg1115 -> Msg

msg1115_signalData :: Lens' Msg1115 Msm5SignalData

msg1115_satelliteData :: Lens' Msg1115 Msm57SatelliteData

msg1115_header :: Lens' Msg1115 MsmHeader

msg1116 :: Word16

data Msg1116

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

Methods

(==) :: Msg1116 -> Msg1116 -> Bool

(/=) :: Msg1116 -> Msg1116 -> Bool

Read Msg1116

Methods

readsPrec :: Int -> ReadS Msg1116

readList :: ReadS [Msg1116]

readPrec :: ReadPrec Msg1116

readListPrec :: ReadPrec [Msg1116]

Show Msg1116

Methods

showsPrec :: Int -> Msg1116 -> ShowS

show :: Msg1116 -> String

showList :: [Msg1116] -> ShowS

ToJSON Msg1116

Methods

toJSON :: Msg1116 -> Value

toEncoding :: Msg1116 -> Encoding

toJSONList :: [Msg1116] -> Value

toEncodingList :: [Msg1116] -> Encoding

FromJSON Msg1116

Methods

parseJSON :: Value -> Parser Msg1116

parseJSONList :: Value -> Parser [Msg1116]

Binary Msg1116

Methods

put :: Msg1116 -> Put

get :: Get Msg1116

putList :: [Msg1116] -> Put

ToRTCM3 Msg1116

Methods

toRTCM3 :: Msg1116 -> Msg

msg1116_signalData :: Lens' Msg1116 Msm6SignalData

msg1116_satelliteData :: Lens' Msg1116 Msm46SatelliteData

msg1116_header :: Lens' Msg1116 MsmHeader

msg1117 :: Word16

data Msg1117

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

Methods

(==) :: Msg1117 -> Msg1117 -> Bool

(/=) :: Msg1117 -> Msg1117 -> Bool

Read Msg1117

Methods

readsPrec :: Int -> ReadS Msg1117

readList :: ReadS [Msg1117]

readPrec :: ReadPrec Msg1117

readListPrec :: ReadPrec [Msg1117]

Show Msg1117

Methods

showsPrec :: Int -> Msg1117 -> ShowS

show :: Msg1117 -> String

showList :: [Msg1117] -> ShowS

ToJSON Msg1117

Methods

toJSON :: Msg1117 -> Value

toEncoding :: Msg1117 -> Encoding

toJSONList :: [Msg1117] -> Value

toEncodingList :: [Msg1117] -> Encoding

FromJSON Msg1117

Methods

parseJSON :: Value -> Parser Msg1117

parseJSONList :: Value -> Parser [Msg1117]

Binary Msg1117

Methods

put :: Msg1117 -> Put

get :: Get Msg1117

putList :: [Msg1117] -> Put

ToRTCM3 Msg1117

Methods

toRTCM3 :: Msg1117 -> Msg

msg1117_signalData :: Lens' Msg1117 Msm7SignalData

msg1117_satelliteData :: Lens' Msg1117 Msm57SatelliteData

msg1117_header :: Lens' Msg1117 MsmHeader

msg1124 :: Word16

data Msg1124

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

Methods

(==) :: Msg1124 -> Msg1124 -> Bool

(/=) :: Msg1124 -> Msg1124 -> Bool

Read Msg1124

Methods

readsPrec :: Int -> ReadS Msg1124

readList :: ReadS [Msg1124]

readPrec :: ReadPrec Msg1124

readListPrec :: ReadPrec [Msg1124]

Show Msg1124

Methods

showsPrec :: Int -> Msg1124 -> ShowS

show :: Msg1124 -> String

showList :: [Msg1124] -> ShowS

ToJSON Msg1124

Methods

toJSON :: Msg1124 -> Value

toEncoding :: Msg1124 -> Encoding

toJSONList :: [Msg1124] -> Value

toEncodingList :: [Msg1124] -> Encoding

FromJSON Msg1124

Methods

parseJSON :: Value -> Parser Msg1124

parseJSONList :: Value -> Parser [Msg1124]

Binary Msg1124

Methods

put :: Msg1124 -> Put

get :: Get Msg1124

putList :: [Msg1124] -> Put

ToRTCM3 Msg1124

Methods

toRTCM3 :: Msg1124 -> Msg

msg1124_signalData :: Lens' Msg1124 Msm4SignalData

msg1124_satelliteData :: Lens' Msg1124 Msm46SatelliteData

msg1124_header :: Lens' Msg1124 MsmHeader

msg1125 :: Word16

data Msg1125

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

Methods

(==) :: Msg1125 -> Msg1125 -> Bool

(/=) :: Msg1125 -> Msg1125 -> Bool

Read Msg1125

Methods

readsPrec :: Int -> ReadS Msg1125

readList :: ReadS [Msg1125]

readPrec :: ReadPrec Msg1125

readListPrec :: ReadPrec [Msg1125]

Show Msg1125

Methods

showsPrec :: Int -> Msg1125 -> ShowS

show :: Msg1125 -> String

showList :: [Msg1125] -> ShowS

ToJSON Msg1125

Methods

toJSON :: Msg1125 -> Value

toEncoding :: Msg1125 -> Encoding

toJSONList :: [Msg1125] -> Value

toEncodingList :: [Msg1125] -> Encoding

FromJSON Msg1125

Methods

parseJSON :: Value -> Parser Msg1125

parseJSONList :: Value -> Parser [Msg1125]

Binary Msg1125

Methods

put :: Msg1125 -> Put

get :: Get Msg1125

putList :: [Msg1125] -> Put

ToRTCM3 Msg1125

Methods

toRTCM3 :: Msg1125 -> Msg

msg1125_signalData :: Lens' Msg1125 Msm5SignalData

msg1125_satelliteData :: Lens' Msg1125 Msm57SatelliteData

msg1125_header :: Lens' Msg1125 MsmHeader

msg1126 :: Word16

data Msg1126

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

Methods

(==) :: Msg1126 -> Msg1126 -> Bool

(/=) :: Msg1126 -> Msg1126 -> Bool

Read Msg1126

Methods

readsPrec :: Int -> ReadS Msg1126

readList :: ReadS [Msg1126]

readPrec :: ReadPrec Msg1126

readListPrec :: ReadPrec [Msg1126]

Show Msg1126

Methods

showsPrec :: Int -> Msg1126 -> ShowS

show :: Msg1126 -> String

showList :: [Msg1126] -> ShowS

ToJSON Msg1126

Methods

toJSON :: Msg1126 -> Value

toEncoding :: Msg1126 -> Encoding

toJSONList :: [Msg1126] -> Value

toEncodingList :: [Msg1126] -> Encoding

FromJSON Msg1126

Methods

parseJSON :: Value -> Parser Msg1126

parseJSONList :: Value -> Parser [Msg1126]

Binary Msg1126

Methods

put :: Msg1126 -> Put

get :: Get Msg1126

putList :: [Msg1126] -> Put

ToRTCM3 Msg1126

Methods

toRTCM3 :: Msg1126 -> Msg

msg1126_signalData :: Lens' Msg1126 Msm6SignalData

msg1126_satelliteData :: Lens' Msg1126 Msm46SatelliteData

msg1126_header :: Lens' Msg1126 MsmHeader

msg1127 :: Word16

data Msg1127

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

Methods

(==) :: Msg1127 -> Msg1127 -> Bool

(/=) :: Msg1127 -> Msg1127 -> Bool

Read Msg1127

Methods

readsPrec :: Int -> ReadS Msg1127

readList :: ReadS [Msg1127]

readPrec :: ReadPrec Msg1127

readListPrec :: ReadPrec [Msg1127]

Show Msg1127

Methods

showsPrec :: Int -> Msg1127 -> ShowS

show :: Msg1127 -> String

showList :: [Msg1127] -> ShowS

ToJSON Msg1127

Methods

toJSON :: Msg1127 -> Value

toEncoding :: Msg1127 -> Encoding

toJSONList :: [Msg1127] -> Value

toEncodingList :: [Msg1127] -> Encoding

FromJSON Msg1127

Methods

parseJSON :: Value -> Parser Msg1127

parseJSONList :: Value -> Parser [Msg1127]

Binary Msg1127

Methods

put :: Msg1127 -> Put

get :: Get Msg1127

putList :: [Msg1127] -> Put

ToRTCM3 Msg1127

Methods

toRTCM3 :: Msg1127 -> Msg

msg1127_signalData :: Lens' Msg1127 Msm7SignalData

msg1127_satelliteData :: Lens' Msg1127 Msm57SatelliteData

msg1127_header :: Lens' Msg1127 MsmHeader