Data.RTCM3.SSR

RTCMv3 messages for State Space Representation parameters.

Documentation

data GpsOrbitCorrectionHeader

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

Methods

(==) :: GpsOrbitCorrectionHeader -> GpsOrbitCorrectionHeader -> Bool

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

Read GpsOrbitCorrectionHeader

Methods

readsPrec :: Int -> ReadS GpsOrbitCorrectionHeader

readList :: ReadS [GpsOrbitCorrectionHeader]

readPrec :: ReadPrec GpsOrbitCorrectionHeader

readListPrec :: ReadPrec [GpsOrbitCorrectionHeader]

Show GpsOrbitCorrectionHeader

Methods

showsPrec :: Int -> GpsOrbitCorrectionHeader -> ShowS

show :: GpsOrbitCorrectionHeader -> String

showList :: [GpsOrbitCorrectionHeader] -> ShowS

ToJSON GpsOrbitCorrectionHeader

Methods

toJSON :: GpsOrbitCorrectionHeader -> Value

toEncoding :: GpsOrbitCorrectionHeader -> Encoding

toJSONList :: [GpsOrbitCorrectionHeader] -> Value

toEncodingList :: [GpsOrbitCorrectionHeader] -> Encoding

FromJSON GpsOrbitCorrectionHeader

Methods

parseJSON :: Value -> Parser GpsOrbitCorrectionHeader

parseJSONList :: Value -> Parser [GpsOrbitCorrectionHeader]

BinaryBit GpsOrbitCorrectionHeader

Methods

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

getBits :: Int -> BitGet GpsOrbitCorrectionHeader

gpsOrbitCorrectionHeader_updateInterval :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_solution :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_provider :: Lens' GpsOrbitCorrectionHeader Word16

gpsOrbitCorrectionHeader_num :: Lens' GpsOrbitCorrectionHeader Word16

gpsOrbitCorrectionHeader_n :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_multiple :: Lens' GpsOrbitCorrectionHeader Bool

gpsOrbitCorrectionHeader_iod :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_epochs :: Lens' GpsOrbitCorrectionHeader Word32

gpsOrbitCorrectionHeader_datum :: Lens' GpsOrbitCorrectionHeader Bool

data GpsOrbitCorrection

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

Methods

(==) :: GpsOrbitCorrection -> GpsOrbitCorrection -> Bool

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

Read GpsOrbitCorrection

Methods

readsPrec :: Int -> ReadS GpsOrbitCorrection

readList :: ReadS [GpsOrbitCorrection]

readPrec :: ReadPrec GpsOrbitCorrection

readListPrec :: ReadPrec [GpsOrbitCorrection]

Show GpsOrbitCorrection

Methods

showsPrec :: Int -> GpsOrbitCorrection -> ShowS

show :: GpsOrbitCorrection -> String

showList :: [GpsOrbitCorrection] -> ShowS

ToJSON GpsOrbitCorrection

Methods

toJSON :: GpsOrbitCorrection -> Value

toEncoding :: GpsOrbitCorrection -> Encoding

toJSONList :: [GpsOrbitCorrection] -> Value

toEncodingList :: [GpsOrbitCorrection] -> Encoding

FromJSON GpsOrbitCorrection

Methods

parseJSON :: Value -> Parser GpsOrbitCorrection

parseJSONList :: Value -> Parser [GpsOrbitCorrection]

BinaryBit GpsOrbitCorrection

Methods

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

getBits :: Int -> BitGet GpsOrbitCorrection

gpsOrbitCorrection_sat :: Lens' GpsOrbitCorrection Word8

gpsOrbitCorrection_iode :: Lens' GpsOrbitCorrection Word8

gpsOrbitCorrection_dotDeltaRadial :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_dotDeltaCrossTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_dotDeltaAlongTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_deltaRadial :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_deltaCrossTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_deltaAlongTrack :: Lens' GpsOrbitCorrection Int32

data GpsClockCorrectionHeader

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

Methods

(==) :: GpsClockCorrectionHeader -> GpsClockCorrectionHeader -> Bool

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

Read GpsClockCorrectionHeader

Methods

readsPrec :: Int -> ReadS GpsClockCorrectionHeader

readList :: ReadS [GpsClockCorrectionHeader]

readPrec :: ReadPrec GpsClockCorrectionHeader

readListPrec :: ReadPrec [GpsClockCorrectionHeader]

Show GpsClockCorrectionHeader

Methods

showsPrec :: Int -> GpsClockCorrectionHeader -> ShowS

show :: GpsClockCorrectionHeader -> String

showList :: [GpsClockCorrectionHeader] -> ShowS

ToJSON GpsClockCorrectionHeader

Methods

toJSON :: GpsClockCorrectionHeader -> Value

toEncoding :: GpsClockCorrectionHeader -> Encoding

toJSONList :: [GpsClockCorrectionHeader] -> Value

toEncodingList :: [GpsClockCorrectionHeader] -> Encoding

FromJSON GpsClockCorrectionHeader

Methods

parseJSON :: Value -> Parser GpsClockCorrectionHeader

parseJSONList :: Value -> Parser [GpsClockCorrectionHeader]

BinaryBit GpsClockCorrectionHeader

Methods

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

getBits :: Int -> BitGet GpsClockCorrectionHeader

gpsClockCorrectionHeader_updateInterval :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_solution :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_provider :: Lens' GpsClockCorrectionHeader Word16

gpsClockCorrectionHeader_num :: Lens' GpsClockCorrectionHeader Word16

gpsClockCorrectionHeader_n :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_multiple :: Lens' GpsClockCorrectionHeader Bool

gpsClockCorrectionHeader_iod :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_epochs :: Lens' GpsClockCorrectionHeader Word32

data GpsClockCorrection

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

Methods

(==) :: GpsClockCorrection -> GpsClockCorrection -> Bool

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

Read GpsClockCorrection

Methods

readsPrec :: Int -> ReadS GpsClockCorrection

readList :: ReadS [GpsClockCorrection]

readPrec :: ReadPrec GpsClockCorrection

readListPrec :: ReadPrec [GpsClockCorrection]

Show GpsClockCorrection

Methods

showsPrec :: Int -> GpsClockCorrection -> ShowS

show :: GpsClockCorrection -> String

showList :: [GpsClockCorrection] -> ShowS

ToJSON GpsClockCorrection

Methods

toJSON :: GpsClockCorrection -> Value

toEncoding :: GpsClockCorrection -> Encoding

toJSONList :: [GpsClockCorrection] -> Value

toEncodingList :: [GpsClockCorrection] -> Encoding

FromJSON GpsClockCorrection

Methods

parseJSON :: Value -> Parser GpsClockCorrection

parseJSONList :: Value -> Parser [GpsClockCorrection]

BinaryBit GpsClockCorrection

Methods

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

getBits :: Int -> BitGet GpsClockCorrection

gpsClockCorrection_sat :: Lens' GpsClockCorrection Word8

gpsClockCorrection_deltaClockC2 :: Lens' GpsClockCorrection Int32

gpsClockCorrection_deltaClockC1 :: Lens' GpsClockCorrection Int32

gpsClockCorrection_deltaClockC0 :: Lens' GpsClockCorrection Int32

data GlonassOrbitCorrectionHeader

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

Methods

(==) :: GlonassOrbitCorrectionHeader -> GlonassOrbitCorrectionHeader -> Bool

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

Read GlonassOrbitCorrectionHeader

Methods

readsPrec :: Int -> ReadS GlonassOrbitCorrectionHeader

readList :: ReadS [GlonassOrbitCorrectionHeader]

readPrec :: ReadPrec GlonassOrbitCorrectionHeader

readListPrec :: ReadPrec [GlonassOrbitCorrectionHeader]

Show GlonassOrbitCorrectionHeader

Methods

showsPrec :: Int -> GlonassOrbitCorrectionHeader -> ShowS

show :: GlonassOrbitCorrectionHeader -> String

showList :: [GlonassOrbitCorrectionHeader] -> ShowS

ToJSON GlonassOrbitCorrectionHeader

Methods

toJSON :: GlonassOrbitCorrectionHeader -> Value

toEncoding :: GlonassOrbitCorrectionHeader -> Encoding

toJSONList :: [GlonassOrbitCorrectionHeader] -> Value

toEncodingList :: [GlonassOrbitCorrectionHeader] -> Encoding

FromJSON GlonassOrbitCorrectionHeader

Methods

parseJSON :: Value -> Parser GlonassOrbitCorrectionHeader

parseJSONList :: Value -> Parser [GlonassOrbitCorrectionHeader]

BinaryBit GlonassOrbitCorrectionHeader

Methods

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

getBits :: Int -> BitGet GlonassOrbitCorrectionHeader

glonassOrbitCorrectionHeader_updateInterval :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_solution :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_provider :: Lens' GlonassOrbitCorrectionHeader Word16

glonassOrbitCorrectionHeader_num :: Lens' GlonassOrbitCorrectionHeader Word16

glonassOrbitCorrectionHeader_n :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_multiple :: Lens' GlonassOrbitCorrectionHeader Bool

glonassOrbitCorrectionHeader_iod :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_epochs :: Lens' GlonassOrbitCorrectionHeader Word32

glonassOrbitCorrectionHeader_datum :: Lens' GlonassOrbitCorrectionHeader Bool

data GlonassOrbitCorrection

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

Methods

(==) :: GlonassOrbitCorrection -> GlonassOrbitCorrection -> Bool

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

Read GlonassOrbitCorrection

Methods

readsPrec :: Int -> ReadS GlonassOrbitCorrection

readList :: ReadS [GlonassOrbitCorrection]

readPrec :: ReadPrec GlonassOrbitCorrection

readListPrec :: ReadPrec [GlonassOrbitCorrection]

Show GlonassOrbitCorrection

Methods

showsPrec :: Int -> GlonassOrbitCorrection -> ShowS

show :: GlonassOrbitCorrection -> String

showList :: [GlonassOrbitCorrection] -> ShowS

ToJSON GlonassOrbitCorrection

Methods

toJSON :: GlonassOrbitCorrection -> Value

toEncoding :: GlonassOrbitCorrection -> Encoding

toJSONList :: [GlonassOrbitCorrection] -> Value

toEncodingList :: [GlonassOrbitCorrection] -> Encoding

FromJSON GlonassOrbitCorrection

Methods

parseJSON :: Value -> Parser GlonassOrbitCorrection

parseJSONList :: Value -> Parser [GlonassOrbitCorrection]

BinaryBit GlonassOrbitCorrection

Methods

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

getBits :: Int -> BitGet GlonassOrbitCorrection

glonassOrbitCorrection_sat :: Lens' GlonassOrbitCorrection Word8

glonassOrbitCorrection_iode :: Lens' GlonassOrbitCorrection Word8

glonassOrbitCorrection_dotDeltaRadial :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_dotDeltaCrossTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_dotDeltaAlongTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_deltaRadial :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_deltaCrossTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_deltaAlongTrack :: Lens' GlonassOrbitCorrection Int32

data GlonassClockCorrectionHeader

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

Methods

(==) :: GlonassClockCorrectionHeader -> GlonassClockCorrectionHeader -> Bool

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

Read GlonassClockCorrectionHeader

Methods

readsPrec :: Int -> ReadS GlonassClockCorrectionHeader

readList :: ReadS [GlonassClockCorrectionHeader]

readPrec :: ReadPrec GlonassClockCorrectionHeader

readListPrec :: ReadPrec [GlonassClockCorrectionHeader]

Show GlonassClockCorrectionHeader

Methods

showsPrec :: Int -> GlonassClockCorrectionHeader -> ShowS

show :: GlonassClockCorrectionHeader -> String

showList :: [GlonassClockCorrectionHeader] -> ShowS

ToJSON GlonassClockCorrectionHeader

Methods

toJSON :: GlonassClockCorrectionHeader -> Value

toEncoding :: GlonassClockCorrectionHeader -> Encoding

toJSONList :: [GlonassClockCorrectionHeader] -> Value

toEncodingList :: [GlonassClockCorrectionHeader] -> Encoding

FromJSON GlonassClockCorrectionHeader

Methods

parseJSON :: Value -> Parser GlonassClockCorrectionHeader

parseJSONList :: Value -> Parser [GlonassClockCorrectionHeader]

BinaryBit GlonassClockCorrectionHeader

Methods

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

getBits :: Int -> BitGet GlonassClockCorrectionHeader

glonassClockCorrectionHeader_updateInterval :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_solution :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_provider :: Lens' GlonassClockCorrectionHeader Word16

glonassClockCorrectionHeader_num :: Lens' GlonassClockCorrectionHeader Word16

glonassClockCorrectionHeader_n :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_multiple :: Lens' GlonassClockCorrectionHeader Bool

glonassClockCorrectionHeader_iod :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_epochs :: Lens' GlonassClockCorrectionHeader Word32

data GlonassClockCorrection

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

Methods

(==) :: GlonassClockCorrection -> GlonassClockCorrection -> Bool

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

Read GlonassClockCorrection

Methods

readsPrec :: Int -> ReadS GlonassClockCorrection

readList :: ReadS [GlonassClockCorrection]

readPrec :: ReadPrec GlonassClockCorrection

readListPrec :: ReadPrec [GlonassClockCorrection]

Show GlonassClockCorrection

Methods

showsPrec :: Int -> GlonassClockCorrection -> ShowS

show :: GlonassClockCorrection -> String

showList :: [GlonassClockCorrection] -> ShowS

ToJSON GlonassClockCorrection

Methods

toJSON :: GlonassClockCorrection -> Value

toEncoding :: GlonassClockCorrection -> Encoding

toJSONList :: [GlonassClockCorrection] -> Value

toEncodingList :: [GlonassClockCorrection] -> Encoding

FromJSON GlonassClockCorrection

Methods

parseJSON :: Value -> Parser GlonassClockCorrection

parseJSONList :: Value -> Parser [GlonassClockCorrection]

BinaryBit GlonassClockCorrection

Methods

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

getBits :: Int -> BitGet GlonassClockCorrection

glonassClockCorrection_sat :: Lens' GlonassClockCorrection Word8

glonassClockCorrection_deltaClockC2 :: Lens' GlonassClockCorrection Int32

glonassClockCorrection_deltaClockC1 :: Lens' GlonassClockCorrection Int32

glonassClockCorrection_deltaClockC0 :: Lens' GlonassClockCorrection Int32

msg1057 :: Word16

data Msg1057

Msg 1057.

RTCMv3 message 1057.

Constructors

Msg1057

Fields

• _msg1057_header :: GpsOrbitCorrectionHeader

  GPS orbit correction header.

• _msg1057_corrections :: [GpsOrbitCorrection]

  GPS orbit corrections.

Instances

Eq Msg1057

Methods

(==) :: Msg1057 -> Msg1057 -> Bool

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

Read Msg1057

Methods

readsPrec :: Int -> ReadS Msg1057

readList :: ReadS [Msg1057]

readPrec :: ReadPrec Msg1057

readListPrec :: ReadPrec [Msg1057]

Show Msg1057

Methods

showsPrec :: Int -> Msg1057 -> ShowS

show :: Msg1057 -> String

showList :: [Msg1057] -> ShowS

ToJSON Msg1057

Methods

toJSON :: Msg1057 -> Value

toEncoding :: Msg1057 -> Encoding

toJSONList :: [Msg1057] -> Value

toEncodingList :: [Msg1057] -> Encoding

FromJSON Msg1057

Methods

parseJSON :: Value -> Parser Msg1057

parseJSONList :: Value -> Parser [Msg1057]

Binary Msg1057

Methods

put :: Msg1057 -> Put

get :: Get Msg1057

putList :: [Msg1057] -> Put

ToRTCM3 Msg1057

Methods

toRTCM3 :: Msg1057 -> Msg

msg1057_header :: Lens' Msg1057 GpsOrbitCorrectionHeader

msg1057_corrections :: Lens' Msg1057 [GpsOrbitCorrection]

msg1058 :: Word16

data Msg1058

Msg 1058.

RTCMv3 message 1058.

Constructors

Msg1058

Fields

• _msg1058_header :: GpsClockCorrectionHeader

  GPS clock correction header.

• _msg1058_corrections :: [GpsClockCorrection]

  GPS clock corrections.

Instances

Eq Msg1058

Methods

(==) :: Msg1058 -> Msg1058 -> Bool

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

Read Msg1058

Methods

readsPrec :: Int -> ReadS Msg1058

readList :: ReadS [Msg1058]

readPrec :: ReadPrec Msg1058

readListPrec :: ReadPrec [Msg1058]

Show Msg1058

Methods

showsPrec :: Int -> Msg1058 -> ShowS

show :: Msg1058 -> String

showList :: [Msg1058] -> ShowS

ToJSON Msg1058

Methods

toJSON :: Msg1058 -> Value

toEncoding :: Msg1058 -> Encoding

toJSONList :: [Msg1058] -> Value

toEncodingList :: [Msg1058] -> Encoding

FromJSON Msg1058

Methods

parseJSON :: Value -> Parser Msg1058

parseJSONList :: Value -> Parser [Msg1058]

Binary Msg1058

Methods

put :: Msg1058 -> Put

get :: Get Msg1058

putList :: [Msg1058] -> Put

ToRTCM3 Msg1058

Methods

toRTCM3 :: Msg1058 -> Msg

msg1058_header :: Lens' Msg1058 GpsClockCorrectionHeader

msg1058_corrections :: Lens' Msg1058 [GpsClockCorrection]

msg1063 :: Word16

data Msg1063

Msg 1063.

RTCMv3 message 1063.

Constructors

Msg1063

Fields

• _msg1063_header :: GlonassOrbitCorrectionHeader

  GLONASS orbit correction header.

• _msg1063_corrections :: [GlonassOrbitCorrection]

  GLONASS orbit corrections.

Instances

Eq Msg1063

Methods

(==) :: Msg1063 -> Msg1063 -> Bool

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

Read Msg1063

Methods

readsPrec :: Int -> ReadS Msg1063

readList :: ReadS [Msg1063]

readPrec :: ReadPrec Msg1063

readListPrec :: ReadPrec [Msg1063]

Show Msg1063

Methods

showsPrec :: Int -> Msg1063 -> ShowS

show :: Msg1063 -> String

showList :: [Msg1063] -> ShowS

ToJSON Msg1063

Methods

toJSON :: Msg1063 -> Value

toEncoding :: Msg1063 -> Encoding

toJSONList :: [Msg1063] -> Value

toEncodingList :: [Msg1063] -> Encoding

FromJSON Msg1063

Methods

parseJSON :: Value -> Parser Msg1063

parseJSONList :: Value -> Parser [Msg1063]

Binary Msg1063

Methods

put :: Msg1063 -> Put

get :: Get Msg1063

putList :: [Msg1063] -> Put

ToRTCM3 Msg1063

Methods

toRTCM3 :: Msg1063 -> Msg

msg1063_header :: Lens' Msg1063 GlonassOrbitCorrectionHeader

msg1063_corrections :: Lens' Msg1063 [GlonassOrbitCorrection]

msg1064 :: Word16

data Msg1064

Msg 1064.

RTCMv3 message 1064.

Constructors

Msg1064

Fields

• _msg1064_header :: GlonassClockCorrectionHeader

  GLONASS clock correction header.

• _msg1064_corrections :: [GlonassClockCorrection]

  GLONASS clock corrections.

Instances

Eq Msg1064

Methods

(==) :: Msg1064 -> Msg1064 -> Bool

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

Read Msg1064

Methods

readsPrec :: Int -> ReadS Msg1064

readList :: ReadS [Msg1064]

readPrec :: ReadPrec Msg1064

readListPrec :: ReadPrec [Msg1064]

Show Msg1064

Methods

showsPrec :: Int -> Msg1064 -> ShowS

show :: Msg1064 -> String

showList :: [Msg1064] -> ShowS

ToJSON Msg1064

Methods

toJSON :: Msg1064 -> Value

toEncoding :: Msg1064 -> Encoding

toJSONList :: [Msg1064] -> Value

toEncodingList :: [Msg1064] -> Encoding

FromJSON Msg1064

Methods

parseJSON :: Value -> Parser Msg1064

parseJSONList :: Value -> Parser [Msg1064]

Binary Msg1064

Methods

put :: Msg1064 -> Put

get :: Get Msg1064

putList :: [Msg1064] -> Put

ToRTCM3 Msg1064

Methods

toRTCM3 :: Msg1064 -> Msg

msg1064_header :: Lens' Msg1064 GlonassClockCorrectionHeader

msg1064_corrections :: Lens' Msg1064 [GlonassClockCorrection]