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

Data.RTCM3.SSR

Description

RTCMv3 messages for State Space Representation parameters.

Synopsis

Documentation

data GpsOrbitCorrectionHeader Source #

GpsOrbitCorrectionHeader.

GPS orbit correction header.

Constructors

GpsOrbitCorrectionHeader

Fields

_gpsOrbitCorrectionHeader_num :: Word16
Message number.
_gpsOrbitCorrectionHeader_epochs :: Word32
GPS epoch time.
_gpsOrbitCorrectionHeader_updateInterval :: Word8
SSR update interval.
_gpsOrbitCorrectionHeader_multiple :: Bool
Multiple message indicator.
_gpsOrbitCorrectionHeader_datum :: Bool
Satellite reference datum.
_gpsOrbitCorrectionHeader_iod :: Word8
IOD SSR.
_gpsOrbitCorrectionHeader_provider :: Word16
SSR provider id.
_gpsOrbitCorrectionHeader_solution :: Word8
SSR solution id.
_gpsOrbitCorrectionHeader_n :: Word8
Number of satellites.

Instances

Eq GpsOrbitCorrectionHeader Source #
Methods (==) :: GpsOrbitCorrectionHeader -> GpsOrbitCorrectionHeader -> Bool # (/=) :: GpsOrbitCorrectionHeader -> GpsOrbitCorrectionHeader -> Bool #
Read GpsOrbitCorrectionHeader Source #
Methods readsPrec :: Int -> ReadS GpsOrbitCorrectionHeader # readList :: ReadS [GpsOrbitCorrectionHeader] # readPrec :: ReadPrec GpsOrbitCorrectionHeader readListPrec :: ReadPrec [GpsOrbitCorrectionHeader]
Show GpsOrbitCorrectionHeader Source #
Methods showsPrec :: Int -> GpsOrbitCorrectionHeader -> ShowS # show :: GpsOrbitCorrectionHeader -> String # showList :: [GpsOrbitCorrectionHeader] -> ShowS #
ToJSON GpsOrbitCorrectionHeader Source #
Methods toJSON :: GpsOrbitCorrectionHeader -> Value # toEncoding :: GpsOrbitCorrectionHeader -> Encoding #
FromJSON GpsOrbitCorrectionHeader Source #
Methods parseJSON :: Value -> Parser GpsOrbitCorrectionHeader #
BinaryBit GpsOrbitCorrectionHeader Source #
Methods putBits :: Int -> GpsOrbitCorrectionHeader -> BitPut () # getBits :: Int -> BitGet GpsOrbitCorrectionHeader #

gpsOrbitCorrectionHeader_updateInterval :: Lens' GpsOrbitCorrectionHeader Word8 Source #

gpsOrbitCorrectionHeader_solution :: Lens' GpsOrbitCorrectionHeader Word8 Source #

gpsOrbitCorrectionHeader_provider :: Lens' GpsOrbitCorrectionHeader Word16 Source #

gpsOrbitCorrectionHeader_num :: Lens' GpsOrbitCorrectionHeader Word16 Source #

gpsOrbitCorrectionHeader_n :: Lens' GpsOrbitCorrectionHeader Word8 Source #

gpsOrbitCorrectionHeader_multiple :: Lens' GpsOrbitCorrectionHeader Bool Source #

gpsOrbitCorrectionHeader_iod :: Lens' GpsOrbitCorrectionHeader Word8 Source #

gpsOrbitCorrectionHeader_epochs :: Lens' GpsOrbitCorrectionHeader Word32 Source #

gpsOrbitCorrectionHeader_datum :: Lens' GpsOrbitCorrectionHeader Bool Source #

data GpsOrbitCorrection Source #

GpsOrbitCorrectionMessage.

GPS orbit correction message.

Constructors

GpsOrbitCorrection

Fields

_gpsOrbitCorrection_sat :: Word8
GPS satellite id.
_gpsOrbitCorrection_iode :: Word8
GPS IODE.
_gpsOrbitCorrection_deltaRadial :: Int32
Delta Radial.
_gpsOrbitCorrection_deltaAlongTrack :: Int32
Delta Along-Track.
_gpsOrbitCorrection_deltaCrossTrack :: Int32
Delta Cross-Track.
_gpsOrbitCorrection_dotDeltaRadial :: Int32
Dot Delta Radial.
_gpsOrbitCorrection_dotDeltaAlongTrack :: Int32
Dot Delta Along-Track.
_gpsOrbitCorrection_dotDeltaCrossTrack :: Int32
Dot Delta Cross-Track.

Instances

Eq GpsOrbitCorrection Source #
Methods (==) :: GpsOrbitCorrection -> GpsOrbitCorrection -> Bool # (/=) :: GpsOrbitCorrection -> GpsOrbitCorrection -> Bool #
Read GpsOrbitCorrection Source #
Methods readsPrec :: Int -> ReadS GpsOrbitCorrection # readList :: ReadS [GpsOrbitCorrection] # readPrec :: ReadPrec GpsOrbitCorrection readListPrec :: ReadPrec [GpsOrbitCorrection]
Show GpsOrbitCorrection Source #
Methods showsPrec :: Int -> GpsOrbitCorrection -> ShowS # show :: GpsOrbitCorrection -> String # showList :: [GpsOrbitCorrection] -> ShowS #
ToJSON GpsOrbitCorrection Source #
Methods toJSON :: GpsOrbitCorrection -> Value # toEncoding :: GpsOrbitCorrection -> Encoding #
FromJSON GpsOrbitCorrection Source #
Methods parseJSON :: Value -> Parser GpsOrbitCorrection #
BinaryBit GpsOrbitCorrection Source #
Methods putBits :: Int -> GpsOrbitCorrection -> BitPut () # getBits :: Int -> BitGet GpsOrbitCorrection #

gpsOrbitCorrection_sat :: Lens' GpsOrbitCorrection Word8 Source #

gpsOrbitCorrection_iode :: Lens' GpsOrbitCorrection Word8 Source #

gpsOrbitCorrection_dotDeltaRadial :: Lens' GpsOrbitCorrection Int32 Source #

gpsOrbitCorrection_dotDeltaCrossTrack :: Lens' GpsOrbitCorrection Int32 Source #

gpsOrbitCorrection_dotDeltaAlongTrack :: Lens' GpsOrbitCorrection Int32 Source #

gpsOrbitCorrection_deltaRadial :: Lens' GpsOrbitCorrection Int32 Source #

gpsOrbitCorrection_deltaCrossTrack :: Lens' GpsOrbitCorrection Int32 Source #

gpsOrbitCorrection_deltaAlongTrack :: Lens' GpsOrbitCorrection Int32 Source #

data GpsClockCorrectionHeader Source #

GpsClockCorrectionHeader.

GPS clock correction message.

Constructors

GpsClockCorrectionHeader

Fields

_gpsClockCorrectionHeader_num :: Word16
Message number.
_gpsClockCorrectionHeader_epochs :: Word32
GPS epoch time.
_gpsClockCorrectionHeader_updateInterval :: Word8
SSR update interval.
_gpsClockCorrectionHeader_multiple :: Bool
Multiple message indicator.
_gpsClockCorrectionHeader_iod :: Word8
IOD SSR.
_gpsClockCorrectionHeader_provider :: Word16
SSR provider id.
_gpsClockCorrectionHeader_solution :: Word8
SSR solution id.
_gpsClockCorrectionHeader_n :: Word8
Number of satellites.

Instances

Eq GpsClockCorrectionHeader Source #
Methods (==) :: GpsClockCorrectionHeader -> GpsClockCorrectionHeader -> Bool # (/=) :: GpsClockCorrectionHeader -> GpsClockCorrectionHeader -> Bool #
Read GpsClockCorrectionHeader Source #
Methods readsPrec :: Int -> ReadS GpsClockCorrectionHeader # readList :: ReadS [GpsClockCorrectionHeader] # readPrec :: ReadPrec GpsClockCorrectionHeader readListPrec :: ReadPrec [GpsClockCorrectionHeader]
Show GpsClockCorrectionHeader Source #
Methods showsPrec :: Int -> GpsClockCorrectionHeader -> ShowS # show :: GpsClockCorrectionHeader -> String # showList :: [GpsClockCorrectionHeader] -> ShowS #
ToJSON GpsClockCorrectionHeader Source #
Methods toJSON :: GpsClockCorrectionHeader -> Value # toEncoding :: GpsClockCorrectionHeader -> Encoding #
FromJSON GpsClockCorrectionHeader Source #
Methods parseJSON :: Value -> Parser GpsClockCorrectionHeader #
BinaryBit GpsClockCorrectionHeader Source #
Methods putBits :: Int -> GpsClockCorrectionHeader -> BitPut () # getBits :: Int -> BitGet GpsClockCorrectionHeader #

gpsClockCorrectionHeader_updateInterval :: Lens' GpsClockCorrectionHeader Word8 Source #

gpsClockCorrectionHeader_solution :: Lens' GpsClockCorrectionHeader Word8 Source #

gpsClockCorrectionHeader_provider :: Lens' GpsClockCorrectionHeader Word16 Source #

gpsClockCorrectionHeader_num :: Lens' GpsClockCorrectionHeader Word16 Source #

gpsClockCorrectionHeader_n :: Lens' GpsClockCorrectionHeader Word8 Source #

gpsClockCorrectionHeader_multiple :: Lens' GpsClockCorrectionHeader Bool Source #

gpsClockCorrectionHeader_iod :: Lens' GpsClockCorrectionHeader Word8 Source #

gpsClockCorrectionHeader_epochs :: Lens' GpsClockCorrectionHeader Word32 Source #

data GpsClockCorrection Source #

GpsClockCorrectionMessage.

GPS clock correction message.

Constructors

GpsClockCorrection
Fields _gpsClockCorrection_sat :: Word8 GPS satellite id. _gpsClockCorrection_deltaClockC0 :: Int32 Delta clock C0. _gpsClockCorrection_deltaClockC1 :: Int32 Delta clock C1. _gpsClockCorrection_deltaClockC2 :: Int32 Delta clock C2.

Instances

Eq GpsClockCorrection Source #
Methods (==) :: GpsClockCorrection -> GpsClockCorrection -> Bool # (/=) :: GpsClockCorrection -> GpsClockCorrection -> Bool #
Read GpsClockCorrection Source #
Methods readsPrec :: Int -> ReadS GpsClockCorrection # readList :: ReadS [GpsClockCorrection] # readPrec :: ReadPrec GpsClockCorrection readListPrec :: ReadPrec [GpsClockCorrection]
Show GpsClockCorrection Source #
Methods showsPrec :: Int -> GpsClockCorrection -> ShowS # show :: GpsClockCorrection -> String # showList :: [GpsClockCorrection] -> ShowS #
ToJSON GpsClockCorrection Source #
Methods toJSON :: GpsClockCorrection -> Value # toEncoding :: GpsClockCorrection -> Encoding #
FromJSON GpsClockCorrection Source #
Methods parseJSON :: Value -> Parser GpsClockCorrection #
BinaryBit GpsClockCorrection Source #
Methods putBits :: Int -> GpsClockCorrection -> BitPut () # getBits :: Int -> BitGet GpsClockCorrection #

gpsClockCorrection_sat :: Lens' GpsClockCorrection Word8 Source #

gpsClockCorrection_deltaClockC2 :: Lens' GpsClockCorrection Int32 Source #

gpsClockCorrection_deltaClockC1 :: Lens' GpsClockCorrection Int32 Source #

gpsClockCorrection_deltaClockC0 :: Lens' GpsClockCorrection Int32 Source #

data GlonassOrbitCorrectionHeader Source #

GlonassOrbitCorrectionHeader.

GLONASS orbit correction header.

Constructors

GlonassOrbitCorrectionHeader

Fields

_glonassOrbitCorrectionHeader_num :: Word16
Message number.
_glonassOrbitCorrectionHeader_epochs :: Word32
GLONASS epoch time.
_glonassOrbitCorrectionHeader_updateInterval :: Word8
SSR update interval.
_glonassOrbitCorrectionHeader_multiple :: Bool
Multiple message indicator.
_glonassOrbitCorrectionHeader_datum :: Bool
Satellite reference datum.
_glonassOrbitCorrectionHeader_iod :: Word8
IOD SSR.
_glonassOrbitCorrectionHeader_provider :: Word16
SSR provider id.
_glonassOrbitCorrectionHeader_solution :: Word8
SSR solution id.
_glonassOrbitCorrectionHeader_n :: Word8
Number of satellites.

Instances

Eq GlonassOrbitCorrectionHeader Source #
Methods (==) :: GlonassOrbitCorrectionHeader -> GlonassOrbitCorrectionHeader -> Bool # (/=) :: GlonassOrbitCorrectionHeader -> GlonassOrbitCorrectionHeader -> Bool #
Read GlonassOrbitCorrectionHeader Source #
Methods readsPrec :: Int -> ReadS GlonassOrbitCorrectionHeader # readList :: ReadS [GlonassOrbitCorrectionHeader] # readPrec :: ReadPrec GlonassOrbitCorrectionHeader readListPrec :: ReadPrec [GlonassOrbitCorrectionHeader]
Show GlonassOrbitCorrectionHeader Source #
Methods showsPrec :: Int -> GlonassOrbitCorrectionHeader -> ShowS # show :: GlonassOrbitCorrectionHeader -> String # showList :: [GlonassOrbitCorrectionHeader] -> ShowS #
ToJSON GlonassOrbitCorrectionHeader Source #
Methods toJSON :: GlonassOrbitCorrectionHeader -> Value # toEncoding :: GlonassOrbitCorrectionHeader -> Encoding #
FromJSON GlonassOrbitCorrectionHeader Source #
Methods parseJSON :: Value -> Parser GlonassOrbitCorrectionHeader #
BinaryBit GlonassOrbitCorrectionHeader Source #
Methods putBits :: Int -> GlonassOrbitCorrectionHeader -> BitPut () # getBits :: Int -> BitGet GlonassOrbitCorrectionHeader #

glonassOrbitCorrectionHeader_updateInterval :: Lens' GlonassOrbitCorrectionHeader Word8 Source #

glonassOrbitCorrectionHeader_solution :: Lens' GlonassOrbitCorrectionHeader Word8 Source #

glonassOrbitCorrectionHeader_provider :: Lens' GlonassOrbitCorrectionHeader Word16 Source #

glonassOrbitCorrectionHeader_num :: Lens' GlonassOrbitCorrectionHeader Word16 Source #

glonassOrbitCorrectionHeader_n :: Lens' GlonassOrbitCorrectionHeader Word8 Source #

glonassOrbitCorrectionHeader_multiple :: Lens' GlonassOrbitCorrectionHeader Bool Source #

glonassOrbitCorrectionHeader_iod :: Lens' GlonassOrbitCorrectionHeader Word8 Source #

glonassOrbitCorrectionHeader_epochs :: Lens' GlonassOrbitCorrectionHeader Word32 Source #

glonassOrbitCorrectionHeader_datum :: Lens' GlonassOrbitCorrectionHeader Bool Source #

data GlonassOrbitCorrection Source #

GlonassOrbitCorrectionMessage.

GLONASS orbit correction message.

Constructors

GlonassOrbitCorrection

Fields

_glonassOrbitCorrection_sat :: Word8
GLONASS satellite id.
_glonassOrbitCorrection_iode :: Word8
GLONASS IODE.
_glonassOrbitCorrection_deltaRadial :: Int32
Delta Radial.
_glonassOrbitCorrection_deltaAlongTrack :: Int32
Delta Along-Track.
_glonassOrbitCorrection_deltaCrossTrack :: Int32
Delta Cross-Track.
_glonassOrbitCorrection_dotDeltaRadial :: Int32
Dot Delta Radial.
_glonassOrbitCorrection_dotDeltaAlongTrack :: Int32
Dot Delta Along-Track.
_glonassOrbitCorrection_dotDeltaCrossTrack :: Int32
Dot Delta Cross-Track.

Instances

Eq GlonassOrbitCorrection Source #
Methods (==) :: GlonassOrbitCorrection -> GlonassOrbitCorrection -> Bool # (/=) :: GlonassOrbitCorrection -> GlonassOrbitCorrection -> Bool #
Read GlonassOrbitCorrection Source #
Methods readsPrec :: Int -> ReadS GlonassOrbitCorrection # readList :: ReadS [GlonassOrbitCorrection] # readPrec :: ReadPrec GlonassOrbitCorrection readListPrec :: ReadPrec [GlonassOrbitCorrection]
Show GlonassOrbitCorrection Source #
Methods showsPrec :: Int -> GlonassOrbitCorrection -> ShowS # show :: GlonassOrbitCorrection -> String # showList :: [GlonassOrbitCorrection] -> ShowS #
ToJSON GlonassOrbitCorrection Source #
Methods toJSON :: GlonassOrbitCorrection -> Value # toEncoding :: GlonassOrbitCorrection -> Encoding #
FromJSON GlonassOrbitCorrection Source #
Methods parseJSON :: Value -> Parser GlonassOrbitCorrection #
BinaryBit GlonassOrbitCorrection Source #
Methods putBits :: Int -> GlonassOrbitCorrection -> BitPut () # getBits :: Int -> BitGet GlonassOrbitCorrection #

glonassOrbitCorrection_sat :: Lens' GlonassOrbitCorrection Word8 Source #

glonassOrbitCorrection_iode :: Lens' GlonassOrbitCorrection Word8 Source #

glonassOrbitCorrection_dotDeltaRadial :: Lens' GlonassOrbitCorrection Int32 Source #

glonassOrbitCorrection_dotDeltaCrossTrack :: Lens' GlonassOrbitCorrection Int32 Source #

glonassOrbitCorrection_dotDeltaAlongTrack :: Lens' GlonassOrbitCorrection Int32 Source #

glonassOrbitCorrection_deltaRadial :: Lens' GlonassOrbitCorrection Int32 Source #

glonassOrbitCorrection_deltaCrossTrack :: Lens' GlonassOrbitCorrection Int32 Source #

glonassOrbitCorrection_deltaAlongTrack :: Lens' GlonassOrbitCorrection Int32 Source #

data GlonassClockCorrectionHeader Source #

GlonassClockCorrectionHeader.

GLONASS clock correction message.

Constructors

GlonassClockCorrectionHeader

Fields

_glonassClockCorrectionHeader_num :: Word16
Message number.
_glonassClockCorrectionHeader_epochs :: Word32
GLONASS epoch time.
_glonassClockCorrectionHeader_updateInterval :: Word8
SSR update interval.
_glonassClockCorrectionHeader_multiple :: Bool
Multiple message indicator.
_glonassClockCorrectionHeader_iod :: Word8
IOD SSR.
_glonassClockCorrectionHeader_provider :: Word16
SSR provider id.
_glonassClockCorrectionHeader_solution :: Word8
SSR solution id.
_glonassClockCorrectionHeader_n :: Word8
Number of satellites.

Instances

Eq GlonassClockCorrectionHeader Source #
Methods (==) :: GlonassClockCorrectionHeader -> GlonassClockCorrectionHeader -> Bool # (/=) :: GlonassClockCorrectionHeader -> GlonassClockCorrectionHeader -> Bool #
Read GlonassClockCorrectionHeader Source #
Methods readsPrec :: Int -> ReadS GlonassClockCorrectionHeader # readList :: ReadS [GlonassClockCorrectionHeader] # readPrec :: ReadPrec GlonassClockCorrectionHeader readListPrec :: ReadPrec [GlonassClockCorrectionHeader]
Show GlonassClockCorrectionHeader Source #
Methods showsPrec :: Int -> GlonassClockCorrectionHeader -> ShowS # show :: GlonassClockCorrectionHeader -> String # showList :: [GlonassClockCorrectionHeader] -> ShowS #
ToJSON GlonassClockCorrectionHeader Source #
Methods toJSON :: GlonassClockCorrectionHeader -> Value # toEncoding :: GlonassClockCorrectionHeader -> Encoding #
FromJSON GlonassClockCorrectionHeader Source #
Methods parseJSON :: Value -> Parser GlonassClockCorrectionHeader #
BinaryBit GlonassClockCorrectionHeader Source #
Methods putBits :: Int -> GlonassClockCorrectionHeader -> BitPut () # getBits :: Int -> BitGet GlonassClockCorrectionHeader #

glonassClockCorrectionHeader_updateInterval :: Lens' GlonassClockCorrectionHeader Word8 Source #

glonassClockCorrectionHeader_solution :: Lens' GlonassClockCorrectionHeader Word8 Source #

glonassClockCorrectionHeader_provider :: Lens' GlonassClockCorrectionHeader Word16 Source #

glonassClockCorrectionHeader_num :: Lens' GlonassClockCorrectionHeader Word16 Source #

glonassClockCorrectionHeader_n :: Lens' GlonassClockCorrectionHeader Word8 Source #

glonassClockCorrectionHeader_multiple :: Lens' GlonassClockCorrectionHeader Bool Source #

glonassClockCorrectionHeader_iod :: Lens' GlonassClockCorrectionHeader Word8 Source #

glonassClockCorrectionHeader_epochs :: Lens' GlonassClockCorrectionHeader Word32 Source #

data GlonassClockCorrection Source #

GlonassClockCorrectionMessage.

GLONASS clock correction message.

Constructors

GlonassClockCorrection
Fields _glonassClockCorrection_sat :: Word8 GLONASS satellite id. _glonassClockCorrection_deltaClockC0 :: Int32 Delta clock C0. _glonassClockCorrection_deltaClockC1 :: Int32 Delta clock C1. _glonassClockCorrection_deltaClockC2 :: Int32 Delta clock C2.

Instances

Eq GlonassClockCorrection Source #
Methods (==) :: GlonassClockCorrection -> GlonassClockCorrection -> Bool # (/=) :: GlonassClockCorrection -> GlonassClockCorrection -> Bool #
Read GlonassClockCorrection Source #
Methods readsPrec :: Int -> ReadS GlonassClockCorrection # readList :: ReadS [GlonassClockCorrection] # readPrec :: ReadPrec GlonassClockCorrection readListPrec :: ReadPrec [GlonassClockCorrection]
Show GlonassClockCorrection Source #
Methods showsPrec :: Int -> GlonassClockCorrection -> ShowS # show :: GlonassClockCorrection -> String # showList :: [GlonassClockCorrection] -> ShowS #
ToJSON GlonassClockCorrection Source #
Methods toJSON :: GlonassClockCorrection -> Value # toEncoding :: GlonassClockCorrection -> Encoding #
FromJSON GlonassClockCorrection Source #
Methods parseJSON :: Value -> Parser GlonassClockCorrection #
BinaryBit GlonassClockCorrection Source #
Methods putBits :: Int -> GlonassClockCorrection -> BitPut () # getBits :: Int -> BitGet GlonassClockCorrection #

glonassClockCorrection_sat :: Lens' GlonassClockCorrection Word8 Source #

glonassClockCorrection_deltaClockC2 :: Lens' GlonassClockCorrection Int32 Source #

glonassClockCorrection_deltaClockC1 :: Lens' GlonassClockCorrection Int32 Source #

glonassClockCorrection_deltaClockC0 :: Lens' GlonassClockCorrection Int32 Source #

msg1057 :: Word16 Source #

data Msg1057 Source #

Msg 1057.

RTCMv3 message 1057.

Constructors

Msg1057
Fields _msg1057_header :: GpsOrbitCorrectionHeader GPS orbit correction header. _msg1057_corrections :: [GpsOrbitCorrection] GPS orbit corrections.

Instances

Eq Msg1057 Source #
Methods (==) :: Msg1057 -> Msg1057 -> Bool # (/=) :: Msg1057 -> Msg1057 -> Bool #
Read Msg1057 Source #
Methods readsPrec :: Int -> ReadS Msg1057 # readList :: ReadS [Msg1057] # readPrec :: ReadPrec Msg1057 readListPrec :: ReadPrec [Msg1057]
Show Msg1057 Source #
Methods showsPrec :: Int -> Msg1057 -> ShowS # show :: Msg1057 -> String # showList :: [Msg1057] -> ShowS #
ToJSON Msg1057 Source #
Methods toJSON :: Msg1057 -> Value # toEncoding :: Msg1057 -> Encoding #
FromJSON Msg1057 Source #
Methods parseJSON :: Value -> Parser Msg1057 #
Binary Msg1057 Source #
Methods put :: Msg1057 -> Put get :: Get Msg1057 putList :: [Msg1057] -> Put
ToRTCM3 Msg1057 Source #
Methods toRTCM3 :: Msg1057 -> Msg Source #

msg1057_header :: Lens' Msg1057 GpsOrbitCorrectionHeader Source #

msg1057_corrections :: Lens' Msg1057 [GpsOrbitCorrection] Source #

msg1058 :: Word16 Source #

data Msg1058 Source #

Msg 1058.

RTCMv3 message 1058.

Constructors

Msg1058
Fields _msg1058_header :: GpsClockCorrectionHeader GPS clock correction header. _msg1058_corrections :: [GpsClockCorrection] GPS clock corrections.

Instances

Eq Msg1058 Source #
Methods (==) :: Msg1058 -> Msg1058 -> Bool # (/=) :: Msg1058 -> Msg1058 -> Bool #
Read Msg1058 Source #
Methods readsPrec :: Int -> ReadS Msg1058 # readList :: ReadS [Msg1058] # readPrec :: ReadPrec Msg1058 readListPrec :: ReadPrec [Msg1058]
Show Msg1058 Source #
Methods showsPrec :: Int -> Msg1058 -> ShowS # show :: Msg1058 -> String # showList :: [Msg1058] -> ShowS #
ToJSON Msg1058 Source #
Methods toJSON :: Msg1058 -> Value # toEncoding :: Msg1058 -> Encoding #
FromJSON Msg1058 Source #
Methods parseJSON :: Value -> Parser Msg1058 #
Binary Msg1058 Source #
Methods put :: Msg1058 -> Put get :: Get Msg1058 putList :: [Msg1058] -> Put
ToRTCM3 Msg1058 Source #
Methods toRTCM3 :: Msg1058 -> Msg Source #

msg1058_header :: Lens' Msg1058 GpsClockCorrectionHeader Source #

msg1058_corrections :: Lens' Msg1058 [GpsClockCorrection] Source #

msg1063 :: Word16 Source #

data Msg1063 Source #

Msg 1063.

RTCMv3 message 1063.

Constructors

Msg1063
Fields _msg1063_header :: GlonassOrbitCorrectionHeader GLONASS orbit correction header. _msg1063_corrections :: [GlonassOrbitCorrection] GLONASS orbit corrections.

Instances

Eq Msg1063 Source #
Methods (==) :: Msg1063 -> Msg1063 -> Bool # (/=) :: Msg1063 -> Msg1063 -> Bool #
Read Msg1063 Source #
Methods readsPrec :: Int -> ReadS Msg1063 # readList :: ReadS [Msg1063] # readPrec :: ReadPrec Msg1063 readListPrec :: ReadPrec [Msg1063]
Show Msg1063 Source #
Methods showsPrec :: Int -> Msg1063 -> ShowS # show :: Msg1063 -> String # showList :: [Msg1063] -> ShowS #
ToJSON Msg1063 Source #
Methods toJSON :: Msg1063 -> Value # toEncoding :: Msg1063 -> Encoding #
FromJSON Msg1063 Source #
Methods parseJSON :: Value -> Parser Msg1063 #
Binary Msg1063 Source #
Methods put :: Msg1063 -> Put get :: Get Msg1063 putList :: [Msg1063] -> Put
ToRTCM3 Msg1063 Source #
Methods toRTCM3 :: Msg1063 -> Msg Source #

msg1063_header :: Lens' Msg1063 GlonassOrbitCorrectionHeader Source #

msg1063_corrections :: Lens' Msg1063 [GlonassOrbitCorrection] Source #

msg1064 :: Word16 Source #

data Msg1064 Source #

Msg 1064.

RTCMv3 message 1064.

Constructors

Msg1064
Fields _msg1064_header :: GlonassClockCorrectionHeader GLONASS clock correction header. _msg1064_corrections :: [GlonassClockCorrection] GLONASS clock corrections.

Instances

Eq Msg1064 Source #
Methods (==) :: Msg1064 -> Msg1064 -> Bool # (/=) :: Msg1064 -> Msg1064 -> Bool #
Read Msg1064 Source #
Methods readsPrec :: Int -> ReadS Msg1064 # readList :: ReadS [Msg1064] # readPrec :: ReadPrec Msg1064 readListPrec :: ReadPrec [Msg1064]
Show Msg1064 Source #
Methods showsPrec :: Int -> Msg1064 -> ShowS # show :: Msg1064 -> String # showList :: [Msg1064] -> ShowS #
ToJSON Msg1064 Source #
Methods toJSON :: Msg1064 -> Value # toEncoding :: Msg1064 -> Encoding #
FromJSON Msg1064 Source #
Methods parseJSON :: Value -> Parser Msg1064 #
Binary Msg1064 Source #
Methods put :: Msg1064 -> Put get :: Get Msg1064 putList :: [Msg1064] -> Put
ToRTCM3 Msg1064 Source #
Methods toRTCM3 :: Msg1064 -> Msg Source #

msg1064_header :: Lens' Msg1064 GlonassClockCorrectionHeader Source #

msg1064_corrections :: Lens' Msg1064 [GlonassClockCorrection] Source #