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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GpsOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsOrbitCorrectionHeader

readList :: ReadS [GpsOrbitCorrectionHeader]

readPrec :: ReadPrec GpsOrbitCorrectionHeader

readListPrec :: ReadPrec [GpsOrbitCorrectionHeader]

Show GpsOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsOrbitCorrectionHeader -> ShowS

show :: GpsOrbitCorrectionHeader -> String

showList :: [GpsOrbitCorrectionHeader] -> ShowS

ToJSON GpsOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsOrbitCorrectionHeader -> Value

toEncoding :: GpsOrbitCorrectionHeader -> Encoding

toJSONList :: [GpsOrbitCorrectionHeader] -> Value

toEncodingList :: [GpsOrbitCorrectionHeader] -> Encoding

FromJSON GpsOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsOrbitCorrectionHeader

parseJSONList :: Value -> Parser [GpsOrbitCorrectionHeader]

BinaryBit GpsOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsOrbitCorrectionHeader

gpsOrbitCorrectionHeader_datum :: Lens' GpsOrbitCorrectionHeader Bool

gpsOrbitCorrectionHeader_epochs :: Lens' GpsOrbitCorrectionHeader Word32

gpsOrbitCorrectionHeader_iod :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_multiple :: Lens' GpsOrbitCorrectionHeader Bool

gpsOrbitCorrectionHeader_n :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_num :: Lens' GpsOrbitCorrectionHeader Word16

gpsOrbitCorrectionHeader_provider :: Lens' GpsOrbitCorrectionHeader Word16

gpsOrbitCorrectionHeader_solution :: Lens' GpsOrbitCorrectionHeader Word8

gpsOrbitCorrectionHeader_updateInterval :: Lens' GpsOrbitCorrectionHeader Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GpsOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsOrbitCorrection

readList :: ReadS [GpsOrbitCorrection]

readPrec :: ReadPrec GpsOrbitCorrection

readListPrec :: ReadPrec [GpsOrbitCorrection]

Show GpsOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsOrbitCorrection -> ShowS

show :: GpsOrbitCorrection -> String

showList :: [GpsOrbitCorrection] -> ShowS

ToJSON GpsOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsOrbitCorrection -> Value

toEncoding :: GpsOrbitCorrection -> Encoding

toJSONList :: [GpsOrbitCorrection] -> Value

toEncodingList :: [GpsOrbitCorrection] -> Encoding

FromJSON GpsOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsOrbitCorrection

parseJSONList :: Value -> Parser [GpsOrbitCorrection]

BinaryBit GpsOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsOrbitCorrection

gpsOrbitCorrection_deltaAlongTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_deltaCrossTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_deltaRadial :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_dotDeltaAlongTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_dotDeltaCrossTrack :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_dotDeltaRadial :: Lens' GpsOrbitCorrection Int32

gpsOrbitCorrection_iode :: Lens' GpsOrbitCorrection Word8

gpsOrbitCorrection_sat :: Lens' GpsOrbitCorrection Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GpsClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsClockCorrectionHeader

readList :: ReadS [GpsClockCorrectionHeader]

readPrec :: ReadPrec GpsClockCorrectionHeader

readListPrec :: ReadPrec [GpsClockCorrectionHeader]

Show GpsClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsClockCorrectionHeader -> ShowS

show :: GpsClockCorrectionHeader -> String

showList :: [GpsClockCorrectionHeader] -> ShowS

ToJSON GpsClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsClockCorrectionHeader -> Value

toEncoding :: GpsClockCorrectionHeader -> Encoding

toJSONList :: [GpsClockCorrectionHeader] -> Value

toEncodingList :: [GpsClockCorrectionHeader] -> Encoding

FromJSON GpsClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsClockCorrectionHeader

parseJSONList :: Value -> Parser [GpsClockCorrectionHeader]

BinaryBit GpsClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsClockCorrectionHeader

gpsClockCorrectionHeader_epochs :: Lens' GpsClockCorrectionHeader Word32

gpsClockCorrectionHeader_iod :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_multiple :: Lens' GpsClockCorrectionHeader Bool

gpsClockCorrectionHeader_n :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_num :: Lens' GpsClockCorrectionHeader Word16

gpsClockCorrectionHeader_provider :: Lens' GpsClockCorrectionHeader Word16

gpsClockCorrectionHeader_solution :: Lens' GpsClockCorrectionHeader Word8

gpsClockCorrectionHeader_updateInterval :: Lens' GpsClockCorrectionHeader Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GpsClockCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsClockCorrection

readList :: ReadS [GpsClockCorrection]

readPrec :: ReadPrec GpsClockCorrection

readListPrec :: ReadPrec [GpsClockCorrection]

Show GpsClockCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsClockCorrection -> ShowS

show :: GpsClockCorrection -> String

showList :: [GpsClockCorrection] -> ShowS

ToJSON GpsClockCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsClockCorrection -> Value

toEncoding :: GpsClockCorrection -> Encoding

toJSONList :: [GpsClockCorrection] -> Value

toEncodingList :: [GpsClockCorrection] -> Encoding

FromJSON GpsClockCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsClockCorrection

parseJSONList :: Value -> Parser [GpsClockCorrection]

BinaryBit GpsClockCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsClockCorrection

gpsClockCorrection_deltaClockC0 :: Lens' GpsClockCorrection Int32

gpsClockCorrection_deltaClockC1 :: Lens' GpsClockCorrection Int32

gpsClockCorrection_deltaClockC2 :: Lens' GpsClockCorrection Int32

gpsClockCorrection_sat :: Lens' GpsClockCorrection Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GlonassOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassOrbitCorrectionHeader

readList :: ReadS [GlonassOrbitCorrectionHeader]

readPrec :: ReadPrec GlonassOrbitCorrectionHeader

readListPrec :: ReadPrec [GlonassOrbitCorrectionHeader]

Show GlonassOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassOrbitCorrectionHeader -> ShowS

show :: GlonassOrbitCorrectionHeader -> String

showList :: [GlonassOrbitCorrectionHeader] -> ShowS

ToJSON GlonassOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassOrbitCorrectionHeader -> Value

toEncoding :: GlonassOrbitCorrectionHeader -> Encoding

toJSONList :: [GlonassOrbitCorrectionHeader] -> Value

toEncodingList :: [GlonassOrbitCorrectionHeader] -> Encoding

FromJSON GlonassOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassOrbitCorrectionHeader

parseJSONList :: Value -> Parser [GlonassOrbitCorrectionHeader]

BinaryBit GlonassOrbitCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassOrbitCorrectionHeader

glonassOrbitCorrectionHeader_datum :: Lens' GlonassOrbitCorrectionHeader Bool

glonassOrbitCorrectionHeader_epochs :: Lens' GlonassOrbitCorrectionHeader Word32

glonassOrbitCorrectionHeader_iod :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_multiple :: Lens' GlonassOrbitCorrectionHeader Bool

glonassOrbitCorrectionHeader_n :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_num :: Lens' GlonassOrbitCorrectionHeader Word16

glonassOrbitCorrectionHeader_provider :: Lens' GlonassOrbitCorrectionHeader Word16

glonassOrbitCorrectionHeader_solution :: Lens' GlonassOrbitCorrectionHeader Word8

glonassOrbitCorrectionHeader_updateInterval :: Lens' GlonassOrbitCorrectionHeader Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GlonassOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassOrbitCorrection

readList :: ReadS [GlonassOrbitCorrection]

readPrec :: ReadPrec GlonassOrbitCorrection

readListPrec :: ReadPrec [GlonassOrbitCorrection]

Show GlonassOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassOrbitCorrection -> ShowS

show :: GlonassOrbitCorrection -> String

showList :: [GlonassOrbitCorrection] -> ShowS

ToJSON GlonassOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassOrbitCorrection -> Value

toEncoding :: GlonassOrbitCorrection -> Encoding

toJSONList :: [GlonassOrbitCorrection] -> Value

toEncodingList :: [GlonassOrbitCorrection] -> Encoding

FromJSON GlonassOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassOrbitCorrection

parseJSONList :: Value -> Parser [GlonassOrbitCorrection]

BinaryBit GlonassOrbitCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassOrbitCorrection

glonassOrbitCorrection_deltaAlongTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_deltaCrossTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_deltaRadial :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_dotDeltaAlongTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_dotDeltaCrossTrack :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_dotDeltaRadial :: Lens' GlonassOrbitCorrection Int32

glonassOrbitCorrection_iode :: Lens' GlonassOrbitCorrection Word8

glonassOrbitCorrection_sat :: Lens' GlonassOrbitCorrection Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GlonassClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassClockCorrectionHeader

readList :: ReadS [GlonassClockCorrectionHeader]

readPrec :: ReadPrec GlonassClockCorrectionHeader

readListPrec :: ReadPrec [GlonassClockCorrectionHeader]

Show GlonassClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassClockCorrectionHeader -> ShowS

show :: GlonassClockCorrectionHeader -> String

showList :: [GlonassClockCorrectionHeader] -> ShowS

ToJSON GlonassClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassClockCorrectionHeader -> Value

toEncoding :: GlonassClockCorrectionHeader -> Encoding

toJSONList :: [GlonassClockCorrectionHeader] -> Value

toEncodingList :: [GlonassClockCorrectionHeader] -> Encoding

FromJSON GlonassClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassClockCorrectionHeader

parseJSONList :: Value -> Parser [GlonassClockCorrectionHeader]

BinaryBit GlonassClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassClockCorrectionHeader

glonassClockCorrectionHeader_epochs :: Lens' GlonassClockCorrectionHeader Word32

glonassClockCorrectionHeader_iod :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_multiple :: Lens' GlonassClockCorrectionHeader Bool

glonassClockCorrectionHeader_n :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_num :: Lens' GlonassClockCorrectionHeader Word16

glonassClockCorrectionHeader_provider :: Lens' GlonassClockCorrectionHeader Word16

glonassClockCorrectionHeader_solution :: Lens' GlonassClockCorrectionHeader Word8

glonassClockCorrectionHeader_updateInterval :: Lens' GlonassClockCorrectionHeader Word8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read GlonassClockCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassClockCorrection

readList :: ReadS [GlonassClockCorrection]

readPrec :: ReadPrec GlonassClockCorrection

readListPrec :: ReadPrec [GlonassClockCorrection]

Show GlonassClockCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassClockCorrection -> ShowS

show :: GlonassClockCorrection -> String

showList :: [GlonassClockCorrection] -> ShowS

ToJSON GlonassClockCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassClockCorrection -> Value

toEncoding :: GlonassClockCorrection -> Encoding

toJSONList :: [GlonassClockCorrection] -> Value

toEncodingList :: [GlonassClockCorrection] -> Encoding

FromJSON GlonassClockCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassClockCorrection

parseJSONList :: Value -> Parser [GlonassClockCorrection]

BinaryBit GlonassClockCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassClockCorrection

glonassClockCorrection_deltaClockC0 :: Lens' GlonassClockCorrection Int32

glonassClockCorrection_deltaClockC1 :: Lens' GlonassClockCorrection Int32

glonassClockCorrection_deltaClockC2 :: Lens' GlonassClockCorrection Int32

glonassClockCorrection_sat :: Lens' GlonassClockCorrection Word8

data GpsOrbitClockCorrectionHeader

GpsOrbitClockCorrectionHeader.

GPS orbit and clock correction header.

Constructors

GpsOrbitClockCorrectionHeader

Fields

• _gpsOrbitClockCorrectionHeader_num :: Word16

  Message number.

• _gpsOrbitClockCorrectionHeader_epochs :: Word32

  GPS epoch time.

• _gpsOrbitClockCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _gpsOrbitClockCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _gpsOrbitClockCorrectionHeader_datum :: Bool

  Satellite reference datum.

• _gpsOrbitClockCorrectionHeader_iod :: Word8

  IOD SSR.

• _gpsOrbitClockCorrectionHeader_provider :: Word16

  SSR provider id.

• _gpsOrbitClockCorrectionHeader_solution :: Word8

  SSR solution id.

• _gpsOrbitClockCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsOrbitClockCorrectionHeader -> GpsOrbitClockCorrectionHeader -> Bool

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

Read GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsOrbitClockCorrectionHeader

readList :: ReadS [GpsOrbitClockCorrectionHeader]

readPrec :: ReadPrec GpsOrbitClockCorrectionHeader

readListPrec :: ReadPrec [GpsOrbitClockCorrectionHeader]

Show GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsOrbitClockCorrectionHeader -> ShowS

show :: GpsOrbitClockCorrectionHeader -> String

showList :: [GpsOrbitClockCorrectionHeader] -> ShowS

ToJSON GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsOrbitClockCorrectionHeader -> Value

toEncoding :: GpsOrbitClockCorrectionHeader -> Encoding

toJSONList :: [GpsOrbitClockCorrectionHeader] -> Value

toEncodingList :: [GpsOrbitClockCorrectionHeader] -> Encoding

FromJSON GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsOrbitClockCorrectionHeader

parseJSONList :: Value -> Parser [GpsOrbitClockCorrectionHeader]

BinaryBit GpsOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsOrbitClockCorrectionHeader

gpsOrbitClockCorrectionHeader_datum :: Lens' GpsOrbitClockCorrectionHeader Bool

gpsOrbitClockCorrectionHeader_epochs :: Lens' GpsOrbitClockCorrectionHeader Word32

gpsOrbitClockCorrectionHeader_iod :: Lens' GpsOrbitClockCorrectionHeader Word8

gpsOrbitClockCorrectionHeader_multiple :: Lens' GpsOrbitClockCorrectionHeader Bool

gpsOrbitClockCorrectionHeader_n :: Lens' GpsOrbitClockCorrectionHeader Word8

gpsOrbitClockCorrectionHeader_num :: Lens' GpsOrbitClockCorrectionHeader Word16

gpsOrbitClockCorrectionHeader_provider :: Lens' GpsOrbitClockCorrectionHeader Word16

gpsOrbitClockCorrectionHeader_solution :: Lens' GpsOrbitClockCorrectionHeader Word8

gpsOrbitClockCorrectionHeader_updateInterval :: Lens' GpsOrbitClockCorrectionHeader Word8

data GpsOrbitClockCorrection

GpsOrbitClockCorrectionMessage.

GPS orbit correction message.

Constructors

GpsOrbitClockCorrection

Fields

• _gpsOrbitClockCorrection_sat :: Word8

  GPS satellite id.

• _gpsOrbitClockCorrection_iode :: Word8

  GPS IODE.

• _gpsOrbitClockCorrection_deltaRadial :: Int32

  Delta Radial.

• _gpsOrbitClockCorrection_deltaAlongTrack :: Int32

  Delta Along-Track.

• _gpsOrbitClockCorrection_deltaCrossTrack :: Int32

  Delta Cross-Track.

• _gpsOrbitClockCorrection_dotDeltaRadial :: Int32

  Dot Delta Radial.

• _gpsOrbitClockCorrection_dotDeltaAlongTrack :: Int32

  Dot Delta Along-Track.

• _gpsOrbitClockCorrection_dotDeltaCrossTrack :: Int32

  Dot Delta Cross-Track.

• _gpsOrbitClockCorrection_deltaClockC0 :: Int32

  Delta clock C0.

• _gpsOrbitClockCorrection_deltaClockC1 :: Int32

  Delta clock C1.

• _gpsOrbitClockCorrection_deltaClockC2 :: Int32

  Delta clock C2.

Instances

Eq GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsOrbitClockCorrection -> GpsOrbitClockCorrection -> Bool

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

Read GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsOrbitClockCorrection

readList :: ReadS [GpsOrbitClockCorrection]

readPrec :: ReadPrec GpsOrbitClockCorrection

readListPrec :: ReadPrec [GpsOrbitClockCorrection]

Show GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsOrbitClockCorrection -> ShowS

show :: GpsOrbitClockCorrection -> String

showList :: [GpsOrbitClockCorrection] -> ShowS

ToJSON GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsOrbitClockCorrection -> Value

toEncoding :: GpsOrbitClockCorrection -> Encoding

toJSONList :: [GpsOrbitClockCorrection] -> Value

toEncodingList :: [GpsOrbitClockCorrection] -> Encoding

FromJSON GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsOrbitClockCorrection

parseJSONList :: Value -> Parser [GpsOrbitClockCorrection]

BinaryBit GpsOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsOrbitClockCorrection

gpsOrbitClockCorrection_deltaAlongTrack :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_deltaClockC0 :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_deltaClockC1 :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_deltaClockC2 :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_deltaCrossTrack :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_deltaRadial :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_dotDeltaAlongTrack :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_dotDeltaCrossTrack :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_dotDeltaRadial :: Lens' GpsOrbitClockCorrection Int32

gpsOrbitClockCorrection_iode :: Lens' GpsOrbitClockCorrection Word8

gpsOrbitClockCorrection_sat :: Lens' GpsOrbitClockCorrection Word8

data GlonassOrbitClockCorrectionHeader

GlonassOrbitClockCorrectionHeader.

GLONASS orbit correction header.

Constructors

GlonassOrbitClockCorrectionHeader

Fields

• _glonassOrbitClockCorrectionHeader_num :: Word16

  Message number.

• _glonassOrbitClockCorrectionHeader_epochs :: Word32

  GLONASS epoch time.

• _glonassOrbitClockCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _glonassOrbitClockCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _glonassOrbitClockCorrectionHeader_datum :: Bool

  Satellite reference datum.

• _glonassOrbitClockCorrectionHeader_iod :: Word8

  IOD SSR.

• _glonassOrbitClockCorrectionHeader_provider :: Word16

  SSR provider id.

• _glonassOrbitClockCorrectionHeader_solution :: Word8

  SSR solution id.

• _glonassOrbitClockCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassOrbitClockCorrectionHeader -> GlonassOrbitClockCorrectionHeader -> Bool

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

Read GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassOrbitClockCorrectionHeader

readList :: ReadS [GlonassOrbitClockCorrectionHeader]

readPrec :: ReadPrec GlonassOrbitClockCorrectionHeader

readListPrec :: ReadPrec [GlonassOrbitClockCorrectionHeader]

Show GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassOrbitClockCorrectionHeader -> ShowS

show :: GlonassOrbitClockCorrectionHeader -> String

showList :: [GlonassOrbitClockCorrectionHeader] -> ShowS

ToJSON GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassOrbitClockCorrectionHeader -> Value

toEncoding :: GlonassOrbitClockCorrectionHeader -> Encoding

toJSONList :: [GlonassOrbitClockCorrectionHeader] -> Value

toEncodingList :: [GlonassOrbitClockCorrectionHeader] -> Encoding

FromJSON GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassOrbitClockCorrectionHeader

parseJSONList :: Value -> Parser [GlonassOrbitClockCorrectionHeader]

BinaryBit GlonassOrbitClockCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassOrbitClockCorrectionHeader

glonassOrbitClockCorrectionHeader_datum :: Lens' GlonassOrbitClockCorrectionHeader Bool

glonassOrbitClockCorrectionHeader_epochs :: Lens' GlonassOrbitClockCorrectionHeader Word32

glonassOrbitClockCorrectionHeader_iod :: Lens' GlonassOrbitClockCorrectionHeader Word8

glonassOrbitClockCorrectionHeader_multiple :: Lens' GlonassOrbitClockCorrectionHeader Bool

glonassOrbitClockCorrectionHeader_n :: Lens' GlonassOrbitClockCorrectionHeader Word8

glonassOrbitClockCorrectionHeader_num :: Lens' GlonassOrbitClockCorrectionHeader Word16

glonassOrbitClockCorrectionHeader_provider :: Lens' GlonassOrbitClockCorrectionHeader Word16

glonassOrbitClockCorrectionHeader_solution :: Lens' GlonassOrbitClockCorrectionHeader Word8

glonassOrbitClockCorrectionHeader_updateInterval :: Lens' GlonassOrbitClockCorrectionHeader Word8

data GlonassOrbitClockCorrection

GlonassOrbitClockCorrectionMessage.

GLONASS orbit correction message.

Constructors

GlonassOrbitClockCorrection

Fields

• _glonassOrbitClockCorrection_sat :: Word8

  GLONASS satellite id.

• _glonassOrbitClockCorrection_iode :: Word8

  GLONASS IODE.

• _glonassOrbitClockCorrection_deltaRadial :: Int32

  Delta Radial.

• _glonassOrbitClockCorrection_deltaAlongTrack :: Int32

  Delta Along-Track.

• _glonassOrbitClockCorrection_deltaCrossTrack :: Int32

  Delta Cross-Track.

• _glonassOrbitClockCorrection_dotDeltaRadial :: Int32

  Dot Delta Radial.

• _glonassOrbitClockCorrection_dotDeltaAlongTrack :: Int32

  Dot Delta Along-Track.

• _glonassOrbitClockCorrection_dotDeltaCrossTrack :: Int32

  Dot Delta Cross-Track.

• _glonassOrbitClockCorrection_deltaClockC0 :: Int32

  Delta clock C0.

• _glonassOrbitClockCorrection_deltaClockC1 :: Int32

  Delta clock C1.

• _glonassOrbitClockCorrection_deltaClockC2 :: Int32

  Delta clock C2.

Instances

Eq GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassOrbitClockCorrection -> GlonassOrbitClockCorrection -> Bool

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

Read GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassOrbitClockCorrection

readList :: ReadS [GlonassOrbitClockCorrection]

readPrec :: ReadPrec GlonassOrbitClockCorrection

readListPrec :: ReadPrec [GlonassOrbitClockCorrection]

Show GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassOrbitClockCorrection -> ShowS

show :: GlonassOrbitClockCorrection -> String

showList :: [GlonassOrbitClockCorrection] -> ShowS

ToJSON GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassOrbitClockCorrection -> Value

toEncoding :: GlonassOrbitClockCorrection -> Encoding

toJSONList :: [GlonassOrbitClockCorrection] -> Value

toEncodingList :: [GlonassOrbitClockCorrection] -> Encoding

FromJSON GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassOrbitClockCorrection

parseJSONList :: Value -> Parser [GlonassOrbitClockCorrection]

BinaryBit GlonassOrbitClockCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassOrbitClockCorrection

glonassOrbitClockCorrection_deltaAlongTrack :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_deltaClockC0 :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_deltaClockC1 :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_deltaClockC2 :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_deltaCrossTrack :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_deltaRadial :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_dotDeltaAlongTrack :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_dotDeltaCrossTrack :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_dotDeltaRadial :: Lens' GlonassOrbitClockCorrection Int32

glonassOrbitClockCorrection_iode :: Lens' GlonassOrbitClockCorrection Word8

glonassOrbitClockCorrection_sat :: Lens' GlonassOrbitClockCorrection Word8

data GpsCodeBiasCorrectionHeader

GpsCodeBiasCorrectionHeader.

GPS code bias correction header.

Constructors

GpsCodeBiasCorrectionHeader

Fields

• _gpsCodeBiasCorrectionHeader_num :: Word16

  Message number.

• _gpsCodeBiasCorrectionHeader_epochs :: Word32

  GPS epoch time.

• _gpsCodeBiasCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _gpsCodeBiasCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _gpsCodeBiasCorrectionHeader_iod :: Word8

  IOD SSR.

• _gpsCodeBiasCorrectionHeader_provider :: Word16

  SSR provider id.

• _gpsCodeBiasCorrectionHeader_solution :: Word8

  SSR solution id.

• _gpsCodeBiasCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsCodeBiasCorrectionHeader -> GpsCodeBiasCorrectionHeader -> Bool

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

Read GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsCodeBiasCorrectionHeader

readList :: ReadS [GpsCodeBiasCorrectionHeader]

readPrec :: ReadPrec GpsCodeBiasCorrectionHeader

readListPrec :: ReadPrec [GpsCodeBiasCorrectionHeader]

Show GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsCodeBiasCorrectionHeader -> ShowS

show :: GpsCodeBiasCorrectionHeader -> String

showList :: [GpsCodeBiasCorrectionHeader] -> ShowS

ToJSON GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsCodeBiasCorrectionHeader -> Value

toEncoding :: GpsCodeBiasCorrectionHeader -> Encoding

toJSONList :: [GpsCodeBiasCorrectionHeader] -> Value

toEncodingList :: [GpsCodeBiasCorrectionHeader] -> Encoding

FromJSON GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsCodeBiasCorrectionHeader

parseJSONList :: Value -> Parser [GpsCodeBiasCorrectionHeader]

BinaryBit GpsCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsCodeBiasCorrectionHeader

gpsCodeBiasCorrectionHeader_epochs :: Lens' GpsCodeBiasCorrectionHeader Word32

gpsCodeBiasCorrectionHeader_iod :: Lens' GpsCodeBiasCorrectionHeader Word8

gpsCodeBiasCorrectionHeader_multiple :: Lens' GpsCodeBiasCorrectionHeader Bool

gpsCodeBiasCorrectionHeader_n :: Lens' GpsCodeBiasCorrectionHeader Word8

gpsCodeBiasCorrectionHeader_num :: Lens' GpsCodeBiasCorrectionHeader Word16

gpsCodeBiasCorrectionHeader_provider :: Lens' GpsCodeBiasCorrectionHeader Word16

gpsCodeBiasCorrectionHeader_solution :: Lens' GpsCodeBiasCorrectionHeader Word8

gpsCodeBiasCorrectionHeader_updateInterval :: Lens' GpsCodeBiasCorrectionHeader Word8

data GpsCodeBias

GpsCodeBias.

GPS code bias.

Constructors

GpsCodeBias

Fields

• _gpsCodeBias_signal :: Word8

  GPS signal.

• _gpsCodeBias_codeBias :: Int16

  GPS code bias.

Instances

Eq GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsCodeBias -> GpsCodeBias -> Bool

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

Read GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsCodeBias

readList :: ReadS [GpsCodeBias]

readPrec :: ReadPrec GpsCodeBias

readListPrec :: ReadPrec [GpsCodeBias]

Show GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsCodeBias -> ShowS

show :: GpsCodeBias -> String

showList :: [GpsCodeBias] -> ShowS

ToJSON GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsCodeBias -> Value

toEncoding :: GpsCodeBias -> Encoding

toJSONList :: [GpsCodeBias] -> Value

toEncodingList :: [GpsCodeBias] -> Encoding

FromJSON GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsCodeBias

parseJSONList :: Value -> Parser [GpsCodeBias]

BinaryBit GpsCodeBias

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsCodeBias

gpsCodeBias_codeBias :: Lens' GpsCodeBias Int16

gpsCodeBias_signal :: Lens' GpsCodeBias Word8

data GpsCodeBiasCorrection

GpsCodeBiasCorrectionMessage.

GPS code bias correction message.

Constructors

GpsCodeBiasCorrection

Fields

• _gpsCodeBiasCorrection_sat :: Word8

  GPS satellite id.

• _gpsCodeBiasCorrection_n :: Word8

  Number of biases.

• _gpsCodeBiasCorrection_codeBiases :: [GpsCodeBias]

  GPS code biases.

Instances

Eq GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsCodeBiasCorrection -> GpsCodeBiasCorrection -> Bool

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

Read GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsCodeBiasCorrection

readList :: ReadS [GpsCodeBiasCorrection]

readPrec :: ReadPrec GpsCodeBiasCorrection

readListPrec :: ReadPrec [GpsCodeBiasCorrection]

Show GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsCodeBiasCorrection -> ShowS

show :: GpsCodeBiasCorrection -> String

showList :: [GpsCodeBiasCorrection] -> ShowS

ToJSON GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsCodeBiasCorrection -> Value

toEncoding :: GpsCodeBiasCorrection -> Encoding

toJSONList :: [GpsCodeBiasCorrection] -> Value

toEncodingList :: [GpsCodeBiasCorrection] -> Encoding

FromJSON GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsCodeBiasCorrection

parseJSONList :: Value -> Parser [GpsCodeBiasCorrection]

BinaryBit GpsCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsCodeBiasCorrection

gpsCodeBiasCorrection_codeBiases :: Lens' GpsCodeBiasCorrection [GpsCodeBias]

gpsCodeBiasCorrection_n :: Lens' GpsCodeBiasCorrection Word8

gpsCodeBiasCorrection_sat :: Lens' GpsCodeBiasCorrection Word8

data GlonassCodeBiasCorrectionHeader

GlonassCodeBiasCorrectionHeader.

GLONASS code bias correction header.

Constructors

GlonassCodeBiasCorrectionHeader

Fields

• _glonassCodeBiasCorrectionHeader_num :: Word16

  Message number.

• _glonassCodeBiasCorrectionHeader_epochs :: Word32

  GLONASS epoch time.

• _glonassCodeBiasCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _glonassCodeBiasCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _glonassCodeBiasCorrectionHeader_iod :: Word8

  IOD SSR.

• _glonassCodeBiasCorrectionHeader_provider :: Word16

  SSR provider id.

• _glonassCodeBiasCorrectionHeader_solution :: Word8

  SSR solution id.

• _glonassCodeBiasCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassCodeBiasCorrectionHeader -> GlonassCodeBiasCorrectionHeader -> Bool

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

Read GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassCodeBiasCorrectionHeader

readList :: ReadS [GlonassCodeBiasCorrectionHeader]

readPrec :: ReadPrec GlonassCodeBiasCorrectionHeader

readListPrec :: ReadPrec [GlonassCodeBiasCorrectionHeader]

Show GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassCodeBiasCorrectionHeader -> ShowS

show :: GlonassCodeBiasCorrectionHeader -> String

showList :: [GlonassCodeBiasCorrectionHeader] -> ShowS

ToJSON GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassCodeBiasCorrectionHeader -> Value

toEncoding :: GlonassCodeBiasCorrectionHeader -> Encoding

toJSONList :: [GlonassCodeBiasCorrectionHeader] -> Value

toEncodingList :: [GlonassCodeBiasCorrectionHeader] -> Encoding

FromJSON GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassCodeBiasCorrectionHeader

parseJSONList :: Value -> Parser [GlonassCodeBiasCorrectionHeader]

BinaryBit GlonassCodeBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassCodeBiasCorrectionHeader

glonassCodeBiasCorrectionHeader_epochs :: Lens' GlonassCodeBiasCorrectionHeader Word32

glonassCodeBiasCorrectionHeader_iod :: Lens' GlonassCodeBiasCorrectionHeader Word8

glonassCodeBiasCorrectionHeader_multiple :: Lens' GlonassCodeBiasCorrectionHeader Bool

glonassCodeBiasCorrectionHeader_n :: Lens' GlonassCodeBiasCorrectionHeader Word8

glonassCodeBiasCorrectionHeader_num :: Lens' GlonassCodeBiasCorrectionHeader Word16

glonassCodeBiasCorrectionHeader_provider :: Lens' GlonassCodeBiasCorrectionHeader Word16

glonassCodeBiasCorrectionHeader_solution :: Lens' GlonassCodeBiasCorrectionHeader Word8

glonassCodeBiasCorrectionHeader_updateInterval :: Lens' GlonassCodeBiasCorrectionHeader Word8

data GlonassCodeBias

GlonassCodeBias.

GLONASS code bias.

Constructors

GlonassCodeBias

Fields

• _glonassCodeBias_signal :: Word8

  GLONASS signal.

• _glonassCodeBias_codeBias :: Int16

  GLONASS code bias.

Instances

Eq GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassCodeBias -> GlonassCodeBias -> Bool

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

Read GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassCodeBias

readList :: ReadS [GlonassCodeBias]

readPrec :: ReadPrec GlonassCodeBias

readListPrec :: ReadPrec [GlonassCodeBias]

Show GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassCodeBias -> ShowS

show :: GlonassCodeBias -> String

showList :: [GlonassCodeBias] -> ShowS

ToJSON GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassCodeBias -> Value

toEncoding :: GlonassCodeBias -> Encoding

toJSONList :: [GlonassCodeBias] -> Value

toEncodingList :: [GlonassCodeBias] -> Encoding

FromJSON GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassCodeBias

parseJSONList :: Value -> Parser [GlonassCodeBias]

BinaryBit GlonassCodeBias

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassCodeBias

glonassCodeBias_codeBias :: Lens' GlonassCodeBias Int16

glonassCodeBias_signal :: Lens' GlonassCodeBias Word8

data GlonassCodeBiasCorrection

GlonassCodeBiasCorrectionMessage.

GLONASS code bias correction message.

Constructors

GlonassCodeBiasCorrection

Fields

• _glonassCodeBiasCorrection_sat :: Word8

  GLONASS satellite id.

• _glonassCodeBiasCorrection_n :: Word8

  Number of biases.

• _glonassCodeBiasCorrection_codeBiases :: [GlonassCodeBias]

  GLONASS code biases.

Instances

Eq GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassCodeBiasCorrection -> GlonassCodeBiasCorrection -> Bool

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

Read GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassCodeBiasCorrection

readList :: ReadS [GlonassCodeBiasCorrection]

readPrec :: ReadPrec GlonassCodeBiasCorrection

readListPrec :: ReadPrec [GlonassCodeBiasCorrection]

Show GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassCodeBiasCorrection -> ShowS

show :: GlonassCodeBiasCorrection -> String

showList :: [GlonassCodeBiasCorrection] -> ShowS

ToJSON GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassCodeBiasCorrection -> Value

toEncoding :: GlonassCodeBiasCorrection -> Encoding

toJSONList :: [GlonassCodeBiasCorrection] -> Value

toEncodingList :: [GlonassCodeBiasCorrection] -> Encoding

FromJSON GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassCodeBiasCorrection

parseJSONList :: Value -> Parser [GlonassCodeBiasCorrection]

BinaryBit GlonassCodeBiasCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassCodeBiasCorrection

glonassCodeBiasCorrection_codeBiases :: Lens' GlonassCodeBiasCorrection [GlonassCodeBias]

glonassCodeBiasCorrection_n :: Lens' GlonassCodeBiasCorrection Word8

glonassCodeBiasCorrection_sat :: Lens' GlonassCodeBiasCorrection Word8

data GpsPhaseBiasCorrectionHeader

GpsPhaseBiasCorrectionHeader.

GPS phase bias correction header.

Constructors

GpsPhaseBiasCorrectionHeader

Fields

• _gpsPhaseBiasCorrectionHeader_num :: Word16

  Message number.

• _gpsPhaseBiasCorrectionHeader_epochs :: Word32

  GPS epoch time.

• _gpsPhaseBiasCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _gpsPhaseBiasCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _gpsPhaseBiasCorrectionHeader_iod :: Word8

  IOD SSR.

• _gpsPhaseBiasCorrectionHeader_provider :: Word16

  SSR provider id.

• _gpsPhaseBiasCorrectionHeader_solution :: Word8

  SSR solution id.

• _gpsPhaseBiasCorrectionHeader_dispersive :: Bool

  Dispersive Bias Consistency Indicator.

• _gpsPhaseBiasCorrectionHeader_mw :: Bool

  MW Consistency Indicator.

• _gpsPhaseBiasCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsPhaseBiasCorrectionHeader -> GpsPhaseBiasCorrectionHeader -> Bool

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

Read GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsPhaseBiasCorrectionHeader

readList :: ReadS [GpsPhaseBiasCorrectionHeader]

readPrec :: ReadPrec GpsPhaseBiasCorrectionHeader

readListPrec :: ReadPrec [GpsPhaseBiasCorrectionHeader]

Show GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsPhaseBiasCorrectionHeader -> ShowS

show :: GpsPhaseBiasCorrectionHeader -> String

showList :: [GpsPhaseBiasCorrectionHeader] -> ShowS

ToJSON GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsPhaseBiasCorrectionHeader -> Value

toEncoding :: GpsPhaseBiasCorrectionHeader -> Encoding

toJSONList :: [GpsPhaseBiasCorrectionHeader] -> Value

toEncodingList :: [GpsPhaseBiasCorrectionHeader] -> Encoding

FromJSON GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsPhaseBiasCorrectionHeader

parseJSONList :: Value -> Parser [GpsPhaseBiasCorrectionHeader]

BinaryBit GpsPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsPhaseBiasCorrectionHeader

gpsPhaseBiasCorrectionHeader_dispersive :: Lens' GpsPhaseBiasCorrectionHeader Bool

gpsPhaseBiasCorrectionHeader_epochs :: Lens' GpsPhaseBiasCorrectionHeader Word32

gpsPhaseBiasCorrectionHeader_iod :: Lens' GpsPhaseBiasCorrectionHeader Word8

gpsPhaseBiasCorrectionHeader_multiple :: Lens' GpsPhaseBiasCorrectionHeader Bool

gpsPhaseBiasCorrectionHeader_mw :: Lens' GpsPhaseBiasCorrectionHeader Bool

gpsPhaseBiasCorrectionHeader_n :: Lens' GpsPhaseBiasCorrectionHeader Word8

gpsPhaseBiasCorrectionHeader_num :: Lens' GpsPhaseBiasCorrectionHeader Word16

gpsPhaseBiasCorrectionHeader_provider :: Lens' GpsPhaseBiasCorrectionHeader Word16

gpsPhaseBiasCorrectionHeader_solution :: Lens' GpsPhaseBiasCorrectionHeader Word8

gpsPhaseBiasCorrectionHeader_updateInterval :: Lens' GpsPhaseBiasCorrectionHeader Word8

data GpsPhaseBias

GpsPhaseBias.

GPS phase bias.

Constructors

GpsPhaseBias

Fields

• _gpsPhaseBias_signal :: Word8

  GPS signal.

• _gpsPhaseBias_integer :: Bool

  Signal Integer Indicator.

• _gpsPhaseBias_wideLaneInteger :: Word8

  Signals wide-lane integer indicator.

• _gpsPhaseBias_discontinuityCounter :: Word8

  Signal Discontinuity Counter.

• _gpsPhaseBias_phaseBias :: Int32

  GPS phase bias.

Instances

Eq GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsPhaseBias -> GpsPhaseBias -> Bool

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

Read GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsPhaseBias

readList :: ReadS [GpsPhaseBias]

readPrec :: ReadPrec GpsPhaseBias

readListPrec :: ReadPrec [GpsPhaseBias]

Show GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsPhaseBias -> ShowS

show :: GpsPhaseBias -> String

showList :: [GpsPhaseBias] -> ShowS

ToJSON GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsPhaseBias -> Value

toEncoding :: GpsPhaseBias -> Encoding

toJSONList :: [GpsPhaseBias] -> Value

toEncodingList :: [GpsPhaseBias] -> Encoding

FromJSON GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsPhaseBias

parseJSONList :: Value -> Parser [GpsPhaseBias]

BinaryBit GpsPhaseBias

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsPhaseBias

gpsPhaseBias_discontinuityCounter :: Lens' GpsPhaseBias Word8

gpsPhaseBias_integer :: Lens' GpsPhaseBias Bool

gpsPhaseBias_phaseBias :: Lens' GpsPhaseBias Int32

gpsPhaseBias_signal :: Lens' GpsPhaseBias Word8

gpsPhaseBias_wideLaneInteger :: Lens' GpsPhaseBias Word8

data GpsPhaseBiasCorrection

GpsPhaseBiasCorrectionMessage.

GPS phase bias correction message.

Constructors

GpsPhaseBiasCorrection

Fields

• _gpsPhaseBiasCorrection_sat :: Word8

  GPS satellite id.

• _gpsPhaseBiasCorrection_n :: Word8

  Number of biases.

• _gpsPhaseBiasCorrection_yawAngle :: Word16

  Yaw angle.

• _gpsPhaseBiasCorrection_yawRate :: Int8

  Yaw rate.

• _gpsPhaseBiasCorrection_phaseBiases :: [GpsPhaseBias]

  GPS phase biases.

Instances

Eq GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GpsPhaseBiasCorrection -> GpsPhaseBiasCorrection -> Bool

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

Read GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GpsPhaseBiasCorrection

readList :: ReadS [GpsPhaseBiasCorrection]

readPrec :: ReadPrec GpsPhaseBiasCorrection

readListPrec :: ReadPrec [GpsPhaseBiasCorrection]

Show GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GpsPhaseBiasCorrection -> ShowS

show :: GpsPhaseBiasCorrection -> String

showList :: [GpsPhaseBiasCorrection] -> ShowS

ToJSON GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GpsPhaseBiasCorrection -> Value

toEncoding :: GpsPhaseBiasCorrection -> Encoding

toJSONList :: [GpsPhaseBiasCorrection] -> Value

toEncodingList :: [GpsPhaseBiasCorrection] -> Encoding

FromJSON GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GpsPhaseBiasCorrection

parseJSONList :: Value -> Parser [GpsPhaseBiasCorrection]

BinaryBit GpsPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GpsPhaseBiasCorrection

gpsPhaseBiasCorrection_n :: Lens' GpsPhaseBiasCorrection Word8

gpsPhaseBiasCorrection_phaseBiases :: Lens' GpsPhaseBiasCorrection [GpsPhaseBias]

gpsPhaseBiasCorrection_sat :: Lens' GpsPhaseBiasCorrection Word8

gpsPhaseBiasCorrection_yawAngle :: Lens' GpsPhaseBiasCorrection Word16

gpsPhaseBiasCorrection_yawRate :: Lens' GpsPhaseBiasCorrection Int8

data GlonassPhaseBiasCorrectionHeader

GlonassPhaseBiasCorrectionHeader.

GLONASS phase bias correction header.

Constructors

GlonassPhaseBiasCorrectionHeader

Fields

• _glonassPhaseBiasCorrectionHeader_num :: Word16

  Message number.

• _glonassPhaseBiasCorrectionHeader_epochs :: Word32

  GLONASS epoch time.

• _glonassPhaseBiasCorrectionHeader_updateInterval :: Word8

  SSR update interval.

• _glonassPhaseBiasCorrectionHeader_multiple :: Bool

  Multiple message indicator.

• _glonassPhaseBiasCorrectionHeader_iod :: Word8

  IOD SSR.

• _glonassPhaseBiasCorrectionHeader_provider :: Word16

  SSR provider id.

• _glonassPhaseBiasCorrectionHeader_solution :: Word8

  SSR solution id.

• _glonassPhaseBiasCorrectionHeader_dispersive :: Bool

  Dispersive Bias Consistency Indicator.

• _glonassPhaseBiasCorrectionHeader_mw :: Bool

  MW Consistency Indicator.

• _glonassPhaseBiasCorrectionHeader_n :: Word8

  Number of satellites.

Instances

Eq GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassPhaseBiasCorrectionHeader -> GlonassPhaseBiasCorrectionHeader -> Bool

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

Read GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassPhaseBiasCorrectionHeader

readList :: ReadS [GlonassPhaseBiasCorrectionHeader]

readPrec :: ReadPrec GlonassPhaseBiasCorrectionHeader

readListPrec :: ReadPrec [GlonassPhaseBiasCorrectionHeader]

Show GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassPhaseBiasCorrectionHeader -> ShowS

show :: GlonassPhaseBiasCorrectionHeader -> String

showList :: [GlonassPhaseBiasCorrectionHeader] -> ShowS

ToJSON GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassPhaseBiasCorrectionHeader -> Value

toEncoding :: GlonassPhaseBiasCorrectionHeader -> Encoding

toJSONList :: [GlonassPhaseBiasCorrectionHeader] -> Value

toEncodingList :: [GlonassPhaseBiasCorrectionHeader] -> Encoding

FromJSON GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassPhaseBiasCorrectionHeader

parseJSONList :: Value -> Parser [GlonassPhaseBiasCorrectionHeader]

BinaryBit GlonassPhaseBiasCorrectionHeader

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassPhaseBiasCorrectionHeader

glonassPhaseBiasCorrectionHeader_dispersive :: Lens' GlonassPhaseBiasCorrectionHeader Bool

glonassPhaseBiasCorrectionHeader_epochs :: Lens' GlonassPhaseBiasCorrectionHeader Word32

glonassPhaseBiasCorrectionHeader_iod :: Lens' GlonassPhaseBiasCorrectionHeader Word8

glonassPhaseBiasCorrectionHeader_multiple :: Lens' GlonassPhaseBiasCorrectionHeader Bool

glonassPhaseBiasCorrectionHeader_mw :: Lens' GlonassPhaseBiasCorrectionHeader Bool

glonassPhaseBiasCorrectionHeader_n :: Lens' GlonassPhaseBiasCorrectionHeader Word8

glonassPhaseBiasCorrectionHeader_num :: Lens' GlonassPhaseBiasCorrectionHeader Word16

glonassPhaseBiasCorrectionHeader_provider :: Lens' GlonassPhaseBiasCorrectionHeader Word16

glonassPhaseBiasCorrectionHeader_solution :: Lens' GlonassPhaseBiasCorrectionHeader Word8

glonassPhaseBiasCorrectionHeader_updateInterval :: Lens' GlonassPhaseBiasCorrectionHeader Word8

data GlonassPhaseBias

GlonassPhaseBias.

GLONASS phase bias.

Constructors

GlonassPhaseBias

Fields

• _glonassPhaseBias_signal :: Word8

  GLONASS signal.

• _glonassPhaseBias_integer :: Bool

  Signal Integer Indicator.

• _glonassPhaseBias_wideLaneInteger :: Word8

  Signals wide-lane integer indicator.

• _glonassPhaseBias_discontinuityCounter :: Word8

  Signal Discontinuity Counter.

• _glonassPhaseBias_phaseBias :: Int32

  GLONASS phase bias.

Instances

Eq GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassPhaseBias -> GlonassPhaseBias -> Bool

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

Read GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassPhaseBias

readList :: ReadS [GlonassPhaseBias]

readPrec :: ReadPrec GlonassPhaseBias

readListPrec :: ReadPrec [GlonassPhaseBias]

Show GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassPhaseBias -> ShowS

show :: GlonassPhaseBias -> String

showList :: [GlonassPhaseBias] -> ShowS

ToJSON GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassPhaseBias -> Value

toEncoding :: GlonassPhaseBias -> Encoding

toJSONList :: [GlonassPhaseBias] -> Value

toEncodingList :: [GlonassPhaseBias] -> Encoding

FromJSON GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassPhaseBias

parseJSONList :: Value -> Parser [GlonassPhaseBias]

BinaryBit GlonassPhaseBias

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassPhaseBias

glonassPhaseBias_discontinuityCounter :: Lens' GlonassPhaseBias Word8

glonassPhaseBias_integer :: Lens' GlonassPhaseBias Bool

glonassPhaseBias_phaseBias :: Lens' GlonassPhaseBias Int32

glonassPhaseBias_signal :: Lens' GlonassPhaseBias Word8

glonassPhaseBias_wideLaneInteger :: Lens' GlonassPhaseBias Word8

data GlonassPhaseBiasCorrection

GlonassPhaseBiasCorrectionMessage.

GLONASS phase bias correction message.

Constructors

GlonassPhaseBiasCorrection

Fields

• _glonassPhaseBiasCorrection_sat :: Word8

  GLONASS satellite id.

• _glonassPhaseBiasCorrection_n :: Word8

  Number of biases.

• _glonassPhaseBiasCorrection_yawAngle :: Word16

  Yaw angle.

• _glonassPhaseBiasCorrection_yawRate :: Int8

  Yaw rate.

• _glonassPhaseBiasCorrection_phaseBiases :: [GlonassPhaseBias]

  GLONASS phase biases.

Instances

Eq GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

(==) :: GlonassPhaseBiasCorrection -> GlonassPhaseBiasCorrection -> Bool

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

Read GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS GlonassPhaseBiasCorrection

readList :: ReadS [GlonassPhaseBiasCorrection]

readPrec :: ReadPrec GlonassPhaseBiasCorrection

readListPrec :: ReadPrec [GlonassPhaseBiasCorrection]

Show GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> GlonassPhaseBiasCorrection -> ShowS

show :: GlonassPhaseBiasCorrection -> String

showList :: [GlonassPhaseBiasCorrection] -> ShowS

ToJSON GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

toJSON :: GlonassPhaseBiasCorrection -> Value

toEncoding :: GlonassPhaseBiasCorrection -> Encoding

toJSONList :: [GlonassPhaseBiasCorrection] -> Value

toEncodingList :: [GlonassPhaseBiasCorrection] -> Encoding

FromJSON GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser GlonassPhaseBiasCorrection

parseJSONList :: Value -> Parser [GlonassPhaseBiasCorrection]

BinaryBit GlonassPhaseBiasCorrection

Defined in Data.RTCM3.SSR

Methods

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

getBits :: Int -> BitGet GlonassPhaseBiasCorrection

glonassPhaseBiasCorrection_n :: Lens' GlonassPhaseBiasCorrection Word8

glonassPhaseBiasCorrection_phaseBiases :: Lens' GlonassPhaseBiasCorrection [GlonassPhaseBias]

glonassPhaseBiasCorrection_sat :: Lens' GlonassPhaseBiasCorrection Word8

glonassPhaseBiasCorrection_yawAngle :: Lens' GlonassPhaseBiasCorrection Word16

glonassPhaseBiasCorrection_yawRate :: Lens' GlonassPhaseBiasCorrection Int8

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read Msg1057

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1057

readList :: ReadS [Msg1057]

readPrec :: ReadPrec Msg1057

readListPrec :: ReadPrec [Msg1057]

Show Msg1057

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1057 -> ShowS

show :: Msg1057 -> String

showList :: [Msg1057] -> ShowS

ToJSON Msg1057

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1057 -> Value

toEncoding :: Msg1057 -> Encoding

toJSONList :: [Msg1057] -> Value

toEncodingList :: [Msg1057] -> Encoding

FromJSON Msg1057

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1057

parseJSONList :: Value -> Parser [Msg1057]

Binary Msg1057

Defined in Data.RTCM3.SSR

Methods

put :: Msg1057 -> Put

get :: Get Msg1057

putList :: [Msg1057] -> Put

ToRTCM3 Msg1057

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1057 -> Msg

msg1057 :: Word16

msg1057_corrections :: Lens' Msg1057 [GpsOrbitCorrection]

msg1057_header :: Lens' Msg1057 GpsOrbitCorrectionHeader

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read Msg1058

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1058

readList :: ReadS [Msg1058]

readPrec :: ReadPrec Msg1058

readListPrec :: ReadPrec [Msg1058]

Show Msg1058

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1058 -> ShowS

show :: Msg1058 -> String

showList :: [Msg1058] -> ShowS

ToJSON Msg1058

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1058 -> Value

toEncoding :: Msg1058 -> Encoding

toJSONList :: [Msg1058] -> Value

toEncodingList :: [Msg1058] -> Encoding

FromJSON Msg1058

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1058

parseJSONList :: Value -> Parser [Msg1058]

Binary Msg1058

Defined in Data.RTCM3.SSR

Methods

put :: Msg1058 -> Put

get :: Get Msg1058

putList :: [Msg1058] -> Put

ToRTCM3 Msg1058

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1058 -> Msg

msg1058 :: Word16

msg1058_corrections :: Lens' Msg1058 [GpsClockCorrection]

msg1058_header :: Lens' Msg1058 GpsClockCorrectionHeader

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read Msg1063

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1063

readList :: ReadS [Msg1063]

readPrec :: ReadPrec Msg1063

readListPrec :: ReadPrec [Msg1063]

Show Msg1063

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1063 -> ShowS

show :: Msg1063 -> String

showList :: [Msg1063] -> ShowS

ToJSON Msg1063

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1063 -> Value

toEncoding :: Msg1063 -> Encoding

toJSONList :: [Msg1063] -> Value

toEncodingList :: [Msg1063] -> Encoding

FromJSON Msg1063

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1063

parseJSONList :: Value -> Parser [Msg1063]

Binary Msg1063

Defined in Data.RTCM3.SSR

Methods

put :: Msg1063 -> Put

get :: Get Msg1063

putList :: [Msg1063] -> Put

ToRTCM3 Msg1063

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1063 -> Msg

msg1063 :: Word16

msg1063_corrections :: Lens' Msg1063 [GlonassOrbitCorrection]

msg1063_header :: Lens' Msg1063 GlonassOrbitCorrectionHeader

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

Defined in Data.RTCM3.SSR

Methods

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

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

Read Msg1064

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1064

readList :: ReadS [Msg1064]

readPrec :: ReadPrec Msg1064

readListPrec :: ReadPrec [Msg1064]

Show Msg1064

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1064 -> ShowS

show :: Msg1064 -> String

showList :: [Msg1064] -> ShowS

ToJSON Msg1064

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1064 -> Value

toEncoding :: Msg1064 -> Encoding

toJSONList :: [Msg1064] -> Value

toEncodingList :: [Msg1064] -> Encoding

FromJSON Msg1064

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1064

parseJSONList :: Value -> Parser [Msg1064]

Binary Msg1064

Defined in Data.RTCM3.SSR

Methods

put :: Msg1064 -> Put

get :: Get Msg1064

putList :: [Msg1064] -> Put

ToRTCM3 Msg1064

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1064 -> Msg

msg1064 :: Word16

msg1064_corrections :: Lens' Msg1064 [GlonassClockCorrection]

msg1064_header :: Lens' Msg1064 GlonassClockCorrectionHeader

data Msg1060

Msg 1060.

RTCMv3 message 1060.

Constructors

Msg1060

Fields

• _msg1060_header :: GpsOrbitClockCorrectionHeader

  GPS orbit correction header.

• _msg1060_corrections :: [GpsOrbitClockCorrection]

  GPS orbit corrections.

Instances

Eq Msg1060

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1060 -> Msg1060 -> Bool

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

Read Msg1060

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1060

readList :: ReadS [Msg1060]

readPrec :: ReadPrec Msg1060

readListPrec :: ReadPrec [Msg1060]

Show Msg1060

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1060 -> ShowS

show :: Msg1060 -> String

showList :: [Msg1060] -> ShowS

ToJSON Msg1060

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1060 -> Value

toEncoding :: Msg1060 -> Encoding

toJSONList :: [Msg1060] -> Value

toEncodingList :: [Msg1060] -> Encoding

FromJSON Msg1060

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1060

parseJSONList :: Value -> Parser [Msg1060]

Binary Msg1060

Defined in Data.RTCM3.SSR

Methods

put :: Msg1060 -> Put

get :: Get Msg1060

putList :: [Msg1060] -> Put

ToRTCM3 Msg1060

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1060 -> Msg

msg1060 :: Word16

msg1060_corrections :: Lens' Msg1060 [GpsOrbitClockCorrection]

msg1060_header :: Lens' Msg1060 GpsOrbitClockCorrectionHeader

data Msg1066

Msg 1066.

RTCMv3 message 1066.

Constructors

Msg1066

Fields

• _msg1066_header :: GlonassOrbitClockCorrectionHeader

  GLONASS orbit correction header.

• _msg1066_corrections :: [GlonassOrbitClockCorrection]

  GLONASS orbit corrections.

Instances

Eq Msg1066

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1066 -> Msg1066 -> Bool

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

Read Msg1066

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1066

readList :: ReadS [Msg1066]

readPrec :: ReadPrec Msg1066

readListPrec :: ReadPrec [Msg1066]

Show Msg1066

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1066 -> ShowS

show :: Msg1066 -> String

showList :: [Msg1066] -> ShowS

ToJSON Msg1066

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1066 -> Value

toEncoding :: Msg1066 -> Encoding

toJSONList :: [Msg1066] -> Value

toEncodingList :: [Msg1066] -> Encoding

FromJSON Msg1066

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1066

parseJSONList :: Value -> Parser [Msg1066]

Binary Msg1066

Defined in Data.RTCM3.SSR

Methods

put :: Msg1066 -> Put

get :: Get Msg1066

putList :: [Msg1066] -> Put

ToRTCM3 Msg1066

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1066 -> Msg

msg1066 :: Word16

msg1066_corrections :: Lens' Msg1066 [GlonassOrbitClockCorrection]

msg1066_header :: Lens' Msg1066 GlonassOrbitClockCorrectionHeader

data Msg1059

Msg 1059.

RTCMv3 message 1059.

Constructors

Msg1059

Fields

• _msg1059_header :: GpsCodeBiasCorrectionHeader

  GPS code bias correction header.

• _msg1059_corrections :: [GpsCodeBiasCorrection]

  GPS code bias corrections.

Instances

Eq Msg1059

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1059 -> Msg1059 -> Bool

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

Read Msg1059

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1059

readList :: ReadS [Msg1059]

readPrec :: ReadPrec Msg1059

readListPrec :: ReadPrec [Msg1059]

Show Msg1059

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1059 -> ShowS

show :: Msg1059 -> String

showList :: [Msg1059] -> ShowS

ToJSON Msg1059

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1059 -> Value

toEncoding :: Msg1059 -> Encoding

toJSONList :: [Msg1059] -> Value

toEncodingList :: [Msg1059] -> Encoding

FromJSON Msg1059

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1059

parseJSONList :: Value -> Parser [Msg1059]

Binary Msg1059

Defined in Data.RTCM3.SSR

Methods

put :: Msg1059 -> Put

get :: Get Msg1059

putList :: [Msg1059] -> Put

ToRTCM3 Msg1059

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1059 -> Msg

msg1059 :: Word16

msg1059_corrections :: Lens' Msg1059 [GpsCodeBiasCorrection]

msg1059_header :: Lens' Msg1059 GpsCodeBiasCorrectionHeader

data Msg1065

Msg 1065.

RTCMv3 message 1065.

Constructors

Msg1065

Fields

• _msg1065_header :: GlonassCodeBiasCorrectionHeader

  GLONASS code bias correction header.

• _msg1065_corrections :: [GlonassCodeBiasCorrection]

  GLONASS code bias corrections.

Instances

Eq Msg1065

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1065 -> Msg1065 -> Bool

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

Read Msg1065

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1065

readList :: ReadS [Msg1065]

readPrec :: ReadPrec Msg1065

readListPrec :: ReadPrec [Msg1065]

Show Msg1065

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1065 -> ShowS

show :: Msg1065 -> String

showList :: [Msg1065] -> ShowS

ToJSON Msg1065

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1065 -> Value

toEncoding :: Msg1065 -> Encoding

toJSONList :: [Msg1065] -> Value

toEncodingList :: [Msg1065] -> Encoding

FromJSON Msg1065

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1065

parseJSONList :: Value -> Parser [Msg1065]

Binary Msg1065

Defined in Data.RTCM3.SSR

Methods

put :: Msg1065 -> Put

get :: Get Msg1065

putList :: [Msg1065] -> Put

ToRTCM3 Msg1065

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1065 -> Msg

msg1065 :: Word16

msg1065_corrections :: Lens' Msg1065 [GlonassCodeBiasCorrection]

msg1065_header :: Lens' Msg1065 GlonassCodeBiasCorrectionHeader

data Msg1265

Msg 1265.

RTCMv3 message 1265.

Constructors

Msg1265

Fields

• _msg1265_header :: GpsPhaseBiasCorrectionHeader

  GPS phase bias correction header.

• _msg1265_corrections :: [GpsPhaseBiasCorrection]

  GPS phase bias corrections.

Instances

Eq Msg1265

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1265 -> Msg1265 -> Bool

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

Read Msg1265

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1265

readList :: ReadS [Msg1265]

readPrec :: ReadPrec Msg1265

readListPrec :: ReadPrec [Msg1265]

Show Msg1265

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1265 -> ShowS

show :: Msg1265 -> String

showList :: [Msg1265] -> ShowS

ToJSON Msg1265

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1265 -> Value

toEncoding :: Msg1265 -> Encoding

toJSONList :: [Msg1265] -> Value

toEncodingList :: [Msg1265] -> Encoding

FromJSON Msg1265

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1265

parseJSONList :: Value -> Parser [Msg1265]

Binary Msg1265

Defined in Data.RTCM3.SSR

Methods

put :: Msg1265 -> Put

get :: Get Msg1265

putList :: [Msg1265] -> Put

ToRTCM3 Msg1265

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1265 -> Msg

msg1265 :: Word16

msg1265_corrections :: Lens' Msg1265 [GpsPhaseBiasCorrection]

msg1265_header :: Lens' Msg1265 GpsPhaseBiasCorrectionHeader

data Msg1266

Msg 1266.

RTCMv3 message 1266.

Constructors

Msg1266

Fields

• _msg1266_header :: GlonassPhaseBiasCorrectionHeader

  GLONASS phase bias correction header.

• _msg1266_corrections :: [GlonassPhaseBiasCorrection]

  GLONASS phase bias corrections.

Instances

Eq Msg1266

Defined in Data.RTCM3.SSR

Methods

(==) :: Msg1266 -> Msg1266 -> Bool

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

Read Msg1266

Defined in Data.RTCM3.SSR

Methods

readsPrec :: Int -> ReadS Msg1266

readList :: ReadS [Msg1266]

readPrec :: ReadPrec Msg1266

readListPrec :: ReadPrec [Msg1266]

Show Msg1266

Defined in Data.RTCM3.SSR

Methods

showsPrec :: Int -> Msg1266 -> ShowS

show :: Msg1266 -> String

showList :: [Msg1266] -> ShowS

ToJSON Msg1266

Defined in Data.RTCM3.SSR

Methods

toJSON :: Msg1266 -> Value

toEncoding :: Msg1266 -> Encoding

toJSONList :: [Msg1266] -> Value

toEncodingList :: [Msg1266] -> Encoding

FromJSON Msg1266

Defined in Data.RTCM3.SSR

Methods

parseJSON :: Value -> Parser Msg1266

parseJSONList :: Value -> Parser [Msg1266]

Binary Msg1266

Defined in Data.RTCM3.SSR

Methods

put :: Msg1266 -> Put

get :: Get Msg1266

putList :: [Msg1266] -> Put

ToRTCM3 Msg1266

Defined in Data.RTCM3.SSR

Methods

toRTCM3 :: Msg1266 -> Msg

msg1266 :: Word16

msg1266_corrections :: Lens' Msg1266 [GlonassPhaseBiasCorrection]

msg1266_header :: Lens' Msg1266 GlonassPhaseBiasCorrectionHeader