-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Haskell bindings for RTCM.
--   
--   Haskell bindings for Radio Technical Commission For Maritime Services
--   (RTCM) standard, supporting GPS, GLONASS, Galileo and other
--   satellite-based position systems operation with one reference station
--   or a network.
@package rtcm
@version 0.2.39


-- | Error detection functions.
module Data.CRC24Q

-- | Calculate Qualcomm 24-bit Cyclical Redundancy Check (CRC-24Q).
crc24q :: ByteString -> Word24


-- | Internal stuff.
module Data.RTCM3.Internal
getInt8 :: Int -> BitGet Int8
getInt16be :: Int -> BitGet Int16
getInt32be :: Int -> BitGet Int32
getInt64be :: Int -> BitGet Int64
putInt8 :: Int -> Int8 -> BitPut ()
putInt16be :: Int -> Int16 -> BitPut ()
putInt32be :: Int -> Int32 -> BitPut ()
putInt64be :: Int -> Int64 -> BitPut ()
getSInt8 :: Int -> BitGet Int8
getSInt16be :: Int -> BitGet Int16
getSInt32be :: Int -> BitGet Int32
getSInt64be :: Int -> BitGet Int64
putSInt8 :: Int -> Int8 -> BitPut ()
putSInt16be :: Int -> Int16 -> BitPut ()
putSInt32be :: Int -> Int32 -> BitPut ()
putSInt64be :: Int -> Int64 -> BitPut ()
getWord24be :: Get Word24
putWord24be :: Word24 -> Put


-- | Common RTCMv3 type requirements, containers, and serialization
--   utilities.
module Data.RTCM3.Types
data Msg
Msg :: !Word16 -> !Bytes -> !Word24 -> Msg
[_msgRTCM3Len] :: Msg -> !Word16
[_msgRTCM3Payload] :: Msg -> !Bytes
[_msgRTCM3Crc] :: Msg -> !Word24
newtype Bytes
Bytes :: ByteString -> Bytes
[unBytes] :: Bytes -> ByteString
msgRTCM3Preamble :: Word8
class Binary a => ToRTCM3 a
toRTCM3 :: ToRTCM3 a => a -> Msg
class HasMsg c_alPM
msg :: HasMsg c_alPM => Lens' c_alPM Msg
msgRTCM3Crc :: HasMsg c_alPM => Lens' c_alPM Word24
msgRTCM3Len :: HasMsg c_alPM => Lens' c_alPM Word16
msgRTCM3Payload :: HasMsg c_alPM => Lens' c_alPM Bytes
checkCrc :: Word16 -> ByteString -> Word24
checkNum :: ByteString -> Word16
msgRTCM3Num :: HasMsg m => m -> Word16
instance Data.RTCM3.Types.HasMsg Data.RTCM3.Types.Msg
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Types.Bytes
instance Data.Aeson.Types.ToJSON.ToJSON Data.Word.Word24.Word24
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Types.Msg
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Types.Bytes
instance Data.Aeson.Types.FromJSON.FromJSON Data.Word.Word24.Word24
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Types.Msg
instance Data.Binary.Class.Binary Data.RTCM3.Types.Msg
instance GHC.Classes.Eq Data.RTCM3.Types.Msg
instance GHC.Read.Read Data.RTCM3.Types.Msg
instance GHC.Show.Show Data.RTCM3.Types.Msg
instance GHC.Classes.Eq Data.RTCM3.Types.Bytes
instance GHC.Read.Read Data.RTCM3.Types.Bytes
instance GHC.Show.Show Data.RTCM3.Types.Bytes


-- | RTCMv3 System.
module Data.RTCM3.System

-- | MessageHeader
--   
--   Messages and system parameters header.
data MessageHeader
MessageHeader :: Word16 -> Word16 -> Word16 -> Word32 -> Word8 -> Word8 -> MessageHeader

-- | Message number.
[_messageHeader_num] :: MessageHeader -> Word16

-- | Reference station id.
[_messageHeader_station] :: MessageHeader -> Word16

-- | Modified Julian Day Number.
[_messageHeader_mjd] :: MessageHeader -> Word16

-- | Seconds of Day.
[_messageHeader_seconds] :: MessageHeader -> Word32

-- | Number of messages.
[_messageHeader_n] :: MessageHeader -> Word8

-- | Leap Seconds.
[_messageHeader_leapSeconds] :: MessageHeader -> Word8
messageHeader_leapSeconds :: Lens' MessageHeader Word8
messageHeader_mjd :: Lens' MessageHeader Word16
messageHeader_n :: Lens' MessageHeader Word8
messageHeader_num :: Lens' MessageHeader Word16
messageHeader_seconds :: Lens' MessageHeader Word32
messageHeader_station :: Lens' MessageHeader Word16

-- | Message
--   
--   Transmitted message.
data Message
Message :: Word16 -> Bool -> Word16 -> Message

-- | Message number.
[_message_num] :: Message -> Word16

-- | Synchronous flag.
[_message_synchronous] :: Message -> Bool

-- | Transmission interval.
[_message_interval] :: Message -> Word16
message_interval :: Lens' Message Word16
message_num :: Lens' Message Word16
message_synchronous :: Lens' Message Bool

-- | TextMessage
--   
--   Informational text message.
data TextMessage
TextMessage :: Word16 -> Word16 -> Word16 -> Word32 -> Word8 -> Word8 -> Text -> TextMessage

-- | Message number.
[_textMessage_num] :: TextMessage -> Word16

-- | Reference station id.
[_textMessage_station] :: TextMessage -> Word16

-- | Modified Julian Day Number.
[_textMessage_mjd] :: TextMessage -> Word16

-- | Seconds of Day.
[_textMessage_seconds] :: TextMessage -> Word32

-- | Number of characters.
[_textMessage_characters] :: TextMessage -> Word8

-- | Number of UTF-8 code units.
[_textMessage_n] :: TextMessage -> Word8

-- | UTF-8 code units.
[_textMessage_text] :: TextMessage -> Text
textMessage_characters :: Lens' TextMessage Word8
textMessage_mjd :: Lens' TextMessage Word16
textMessage_n :: Lens' TextMessage Word8
textMessage_num :: Lens' TextMessage Word16
textMessage_seconds :: Lens' TextMessage Word32
textMessage_station :: Lens' TextMessage Word16
textMessage_text :: Lens' TextMessage Text

-- | Msg1013.
--   
--   RTCMv3 message 1013.
data Msg1013
Msg1013 :: MessageHeader -> [Message] -> Msg1013

-- | Messages header.
[_msg1013_header] :: Msg1013 -> MessageHeader

-- | Messages.
[_msg1013_messages] :: Msg1013 -> [Message]
msg1013 :: Word16
msg1013_header :: Lens' Msg1013 MessageHeader
msg1013_messages :: Lens' Msg1013 [Message]

-- | Msg1029.
--   
--   RTCMv3 message 1029.
newtype Msg1029
Msg1029 :: TextMessage -> Msg1029

-- | Text Messages.
[_msg1029_message] :: Msg1029 -> TextMessage
msg1029 :: Word16
msg1029_message :: Iso' Msg1029 TextMessage
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.System.Msg1029
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.System.Msg1029
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.System.Msg1029
instance Data.Binary.Class.Binary Data.RTCM3.System.Msg1029
instance GHC.Classes.Eq Data.RTCM3.System.Msg1029
instance GHC.Read.Read Data.RTCM3.System.Msg1029
instance GHC.Show.Show Data.RTCM3.System.Msg1029
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.System.Msg1013
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.System.Msg1013
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.System.Msg1013
instance Data.Binary.Class.Binary Data.RTCM3.System.Msg1013
instance GHC.Classes.Eq Data.RTCM3.System.Msg1013
instance GHC.Read.Read Data.RTCM3.System.Msg1013
instance GHC.Show.Show Data.RTCM3.System.Msg1013
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.System.TextMessage
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.System.TextMessage
instance Data.Binary.Bits.BinaryBit Data.RTCM3.System.TextMessage
instance GHC.Classes.Eq Data.RTCM3.System.TextMessage
instance GHC.Read.Read Data.RTCM3.System.TextMessage
instance GHC.Show.Show Data.RTCM3.System.TextMessage
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.System.Message
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.System.Message
instance Data.Binary.Bits.BinaryBit Data.RTCM3.System.Message
instance GHC.Classes.Eq Data.RTCM3.System.Message
instance GHC.Read.Read Data.RTCM3.System.Message
instance GHC.Show.Show Data.RTCM3.System.Message
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.System.MessageHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.System.MessageHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.System.MessageHeader
instance GHC.Classes.Eq Data.RTCM3.System.MessageHeader
instance GHC.Read.Read Data.RTCM3.System.MessageHeader
instance GHC.Show.Show Data.RTCM3.System.MessageHeader


-- | RTCMv3 messages for State Space Representation parameters.
module Data.RTCM3.SSR

-- | GpsOrbitCorrectionHeader.
--   
--   GPS orbit correction header.
data GpsOrbitCorrectionHeader
GpsOrbitCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GpsOrbitCorrectionHeader

-- | Message number.
[_gpsOrbitCorrectionHeader_num] :: GpsOrbitCorrectionHeader -> Word16

-- | GPS epoch time.
[_gpsOrbitCorrectionHeader_epochs] :: GpsOrbitCorrectionHeader -> Word32

-- | SSR update interval.
[_gpsOrbitCorrectionHeader_updateInterval] :: GpsOrbitCorrectionHeader -> Word8

-- | Multiple message indicator.
[_gpsOrbitCorrectionHeader_multiple] :: GpsOrbitCorrectionHeader -> Bool

-- | Satellite reference datum.
[_gpsOrbitCorrectionHeader_datum] :: GpsOrbitCorrectionHeader -> Bool

-- | IOD SSR.
[_gpsOrbitCorrectionHeader_iod] :: GpsOrbitCorrectionHeader -> Word8

-- | SSR provider id.
[_gpsOrbitCorrectionHeader_provider] :: GpsOrbitCorrectionHeader -> Word16

-- | SSR solution id.
[_gpsOrbitCorrectionHeader_solution] :: GpsOrbitCorrectionHeader -> Word8

-- | Number of satellites.
[_gpsOrbitCorrectionHeader_n] :: GpsOrbitCorrectionHeader -> Word8
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

-- | GpsOrbitCorrectionMessage.
--   
--   GPS orbit correction message.
data GpsOrbitCorrection
GpsOrbitCorrection :: Word8 -> Word8 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> GpsOrbitCorrection

-- | GPS satellite id.
[_gpsOrbitCorrection_sat] :: GpsOrbitCorrection -> Word8

-- | GPS IODE.
[_gpsOrbitCorrection_iode] :: GpsOrbitCorrection -> Word8

-- | Delta Radial.
[_gpsOrbitCorrection_deltaRadial] :: GpsOrbitCorrection -> Int32

-- | Delta Along-Track.
[_gpsOrbitCorrection_deltaAlongTrack] :: GpsOrbitCorrection -> Int32

-- | Delta Cross-Track.
[_gpsOrbitCorrection_deltaCrossTrack] :: GpsOrbitCorrection -> Int32

-- | Dot Delta Radial.
[_gpsOrbitCorrection_dotDeltaRadial] :: GpsOrbitCorrection -> Int32

-- | Dot Delta Along-Track.
[_gpsOrbitCorrection_dotDeltaAlongTrack] :: GpsOrbitCorrection -> Int32

-- | Dot Delta Cross-Track.
[_gpsOrbitCorrection_dotDeltaCrossTrack] :: GpsOrbitCorrection -> Int32
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

-- | GpsClockCorrectionHeader.
--   
--   GPS clock correction message.
data GpsClockCorrectionHeader
GpsClockCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GpsClockCorrectionHeader

-- | Message number.
[_gpsClockCorrectionHeader_num] :: GpsClockCorrectionHeader -> Word16

-- | GPS epoch time.
[_gpsClockCorrectionHeader_epochs] :: GpsClockCorrectionHeader -> Word32

-- | SSR update interval.
[_gpsClockCorrectionHeader_updateInterval] :: GpsClockCorrectionHeader -> Word8

-- | Multiple message indicator.
[_gpsClockCorrectionHeader_multiple] :: GpsClockCorrectionHeader -> Bool

-- | IOD SSR.
[_gpsClockCorrectionHeader_iod] :: GpsClockCorrectionHeader -> Word8

-- | SSR provider id.
[_gpsClockCorrectionHeader_provider] :: GpsClockCorrectionHeader -> Word16

-- | SSR solution id.
[_gpsClockCorrectionHeader_solution] :: GpsClockCorrectionHeader -> Word8

-- | Number of satellites.
[_gpsClockCorrectionHeader_n] :: GpsClockCorrectionHeader -> Word8
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

-- | GpsClockCorrectionMessage.
--   
--   GPS clock correction message.
data GpsClockCorrection
GpsClockCorrection :: Word8 -> Int32 -> Int32 -> Int32 -> GpsClockCorrection

-- | GPS satellite id.
[_gpsClockCorrection_sat] :: GpsClockCorrection -> Word8

-- | Delta clock C0.
[_gpsClockCorrection_deltaClockC0] :: GpsClockCorrection -> Int32

-- | Delta clock C1.
[_gpsClockCorrection_deltaClockC1] :: GpsClockCorrection -> Int32

-- | Delta clock C2.
[_gpsClockCorrection_deltaClockC2] :: GpsClockCorrection -> Int32
gpsClockCorrection_deltaClockC0 :: Lens' GpsClockCorrection Int32
gpsClockCorrection_deltaClockC1 :: Lens' GpsClockCorrection Int32
gpsClockCorrection_deltaClockC2 :: Lens' GpsClockCorrection Int32
gpsClockCorrection_sat :: Lens' GpsClockCorrection Word8

-- | GlonassOrbitCorrectionHeader.
--   
--   GLONASS orbit correction header.
data GlonassOrbitCorrectionHeader
GlonassOrbitCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GlonassOrbitCorrectionHeader

-- | Message number.
[_glonassOrbitCorrectionHeader_num] :: GlonassOrbitCorrectionHeader -> Word16

-- | GLONASS epoch time.
[_glonassOrbitCorrectionHeader_epochs] :: GlonassOrbitCorrectionHeader -> Word32

-- | SSR update interval.
[_glonassOrbitCorrectionHeader_updateInterval] :: GlonassOrbitCorrectionHeader -> Word8

-- | Multiple message indicator.
[_glonassOrbitCorrectionHeader_multiple] :: GlonassOrbitCorrectionHeader -> Bool

-- | Satellite reference datum.
[_glonassOrbitCorrectionHeader_datum] :: GlonassOrbitCorrectionHeader -> Bool

-- | IOD SSR.
[_glonassOrbitCorrectionHeader_iod] :: GlonassOrbitCorrectionHeader -> Word8

-- | SSR provider id.
[_glonassOrbitCorrectionHeader_provider] :: GlonassOrbitCorrectionHeader -> Word16

-- | SSR solution id.
[_glonassOrbitCorrectionHeader_solution] :: GlonassOrbitCorrectionHeader -> Word8

-- | Number of satellites.
[_glonassOrbitCorrectionHeader_n] :: GlonassOrbitCorrectionHeader -> Word8
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

-- | GlonassOrbitCorrectionMessage.
--   
--   GLONASS orbit correction message.
data GlonassOrbitCorrection
GlonassOrbitCorrection :: Word8 -> Word8 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> GlonassOrbitCorrection

-- | GLONASS satellite id.
[_glonassOrbitCorrection_sat] :: GlonassOrbitCorrection -> Word8

-- | GLONASS IODE.
[_glonassOrbitCorrection_iode] :: GlonassOrbitCorrection -> Word8

-- | Delta Radial.
[_glonassOrbitCorrection_deltaRadial] :: GlonassOrbitCorrection -> Int32

-- | Delta Along-Track.
[_glonassOrbitCorrection_deltaAlongTrack] :: GlonassOrbitCorrection -> Int32

-- | Delta Cross-Track.
[_glonassOrbitCorrection_deltaCrossTrack] :: GlonassOrbitCorrection -> Int32

-- | Dot Delta Radial.
[_glonassOrbitCorrection_dotDeltaRadial] :: GlonassOrbitCorrection -> Int32

-- | Dot Delta Along-Track.
[_glonassOrbitCorrection_dotDeltaAlongTrack] :: GlonassOrbitCorrection -> Int32

-- | Dot Delta Cross-Track.
[_glonassOrbitCorrection_dotDeltaCrossTrack] :: GlonassOrbitCorrection -> Int32
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

-- | GlonassClockCorrectionHeader.
--   
--   GLONASS clock correction message.
data GlonassClockCorrectionHeader
GlonassClockCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GlonassClockCorrectionHeader

-- | Message number.
[_glonassClockCorrectionHeader_num] :: GlonassClockCorrectionHeader -> Word16

-- | GLONASS epoch time.
[_glonassClockCorrectionHeader_epochs] :: GlonassClockCorrectionHeader -> Word32

-- | SSR update interval.
[_glonassClockCorrectionHeader_updateInterval] :: GlonassClockCorrectionHeader -> Word8

-- | Multiple message indicator.
[_glonassClockCorrectionHeader_multiple] :: GlonassClockCorrectionHeader -> Bool

-- | IOD SSR.
[_glonassClockCorrectionHeader_iod] :: GlonassClockCorrectionHeader -> Word8

-- | SSR provider id.
[_glonassClockCorrectionHeader_provider] :: GlonassClockCorrectionHeader -> Word16

-- | SSR solution id.
[_glonassClockCorrectionHeader_solution] :: GlonassClockCorrectionHeader -> Word8

-- | Number of satellites.
[_glonassClockCorrectionHeader_n] :: GlonassClockCorrectionHeader -> Word8
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

-- | GlonassClockCorrectionMessage.
--   
--   GLONASS clock correction message.
data GlonassClockCorrection
GlonassClockCorrection :: Word8 -> Int32 -> Int32 -> Int32 -> GlonassClockCorrection

-- | GLONASS satellite id.
[_glonassClockCorrection_sat] :: GlonassClockCorrection -> Word8

-- | Delta clock C0.
[_glonassClockCorrection_deltaClockC0] :: GlonassClockCorrection -> Int32

-- | Delta clock C1.
[_glonassClockCorrection_deltaClockC1] :: GlonassClockCorrection -> Int32

-- | Delta clock C2.
[_glonassClockCorrection_deltaClockC2] :: GlonassClockCorrection -> Int32
glonassClockCorrection_deltaClockC0 :: Lens' GlonassClockCorrection Int32
glonassClockCorrection_deltaClockC1 :: Lens' GlonassClockCorrection Int32
glonassClockCorrection_deltaClockC2 :: Lens' GlonassClockCorrection Int32
glonassClockCorrection_sat :: Lens' GlonassClockCorrection Word8

-- | GpsOrbitClockCorrectionHeader.
--   
--   GPS orbit and clock correction header.
data GpsOrbitClockCorrectionHeader
GpsOrbitClockCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GpsOrbitClockCorrectionHeader

-- | Message number.
[_gpsOrbitClockCorrectionHeader_num] :: GpsOrbitClockCorrectionHeader -> Word16

-- | GPS epoch time.
[_gpsOrbitClockCorrectionHeader_epochs] :: GpsOrbitClockCorrectionHeader -> Word32

-- | SSR update interval.
[_gpsOrbitClockCorrectionHeader_updateInterval] :: GpsOrbitClockCorrectionHeader -> Word8

-- | Multiple message indicator.
[_gpsOrbitClockCorrectionHeader_multiple] :: GpsOrbitClockCorrectionHeader -> Bool

-- | Satellite reference datum.
[_gpsOrbitClockCorrectionHeader_datum] :: GpsOrbitClockCorrectionHeader -> Bool

-- | IOD SSR.
[_gpsOrbitClockCorrectionHeader_iod] :: GpsOrbitClockCorrectionHeader -> Word8

-- | SSR provider id.
[_gpsOrbitClockCorrectionHeader_provider] :: GpsOrbitClockCorrectionHeader -> Word16

-- | SSR solution id.
[_gpsOrbitClockCorrectionHeader_solution] :: GpsOrbitClockCorrectionHeader -> Word8

-- | Number of satellites.
[_gpsOrbitClockCorrectionHeader_n] :: GpsOrbitClockCorrectionHeader -> Word8
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

-- | GpsOrbitClockCorrectionMessage.
--   
--   GPS orbit correction message.
data GpsOrbitClockCorrection
GpsOrbitClockCorrection :: Word8 -> Word8 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> GpsOrbitClockCorrection

-- | GPS satellite id.
[_gpsOrbitClockCorrection_sat] :: GpsOrbitClockCorrection -> Word8

-- | GPS IODE.
[_gpsOrbitClockCorrection_iode] :: GpsOrbitClockCorrection -> Word8

-- | Delta Radial.
[_gpsOrbitClockCorrection_deltaRadial] :: GpsOrbitClockCorrection -> Int32

-- | Delta Along-Track.
[_gpsOrbitClockCorrection_deltaAlongTrack] :: GpsOrbitClockCorrection -> Int32

-- | Delta Cross-Track.
[_gpsOrbitClockCorrection_deltaCrossTrack] :: GpsOrbitClockCorrection -> Int32

-- | Dot Delta Radial.
[_gpsOrbitClockCorrection_dotDeltaRadial] :: GpsOrbitClockCorrection -> Int32

-- | Dot Delta Along-Track.
[_gpsOrbitClockCorrection_dotDeltaAlongTrack] :: GpsOrbitClockCorrection -> Int32

-- | Dot Delta Cross-Track.
[_gpsOrbitClockCorrection_dotDeltaCrossTrack] :: GpsOrbitClockCorrection -> Int32

-- | Delta clock C0.
[_gpsOrbitClockCorrection_deltaClockC0] :: GpsOrbitClockCorrection -> Int32

-- | Delta clock C1.
[_gpsOrbitClockCorrection_deltaClockC1] :: GpsOrbitClockCorrection -> Int32

-- | Delta clock C2.
[_gpsOrbitClockCorrection_deltaClockC2] :: GpsOrbitClockCorrection -> Int32
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

-- | GlonassOrbitClockCorrectionHeader.
--   
--   GLONASS orbit correction header.
data GlonassOrbitClockCorrectionHeader
GlonassOrbitClockCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GlonassOrbitClockCorrectionHeader

-- | Message number.
[_glonassOrbitClockCorrectionHeader_num] :: GlonassOrbitClockCorrectionHeader -> Word16

-- | GLONASS epoch time.
[_glonassOrbitClockCorrectionHeader_epochs] :: GlonassOrbitClockCorrectionHeader -> Word32

-- | SSR update interval.
[_glonassOrbitClockCorrectionHeader_updateInterval] :: GlonassOrbitClockCorrectionHeader -> Word8

-- | Multiple message indicator.
[_glonassOrbitClockCorrectionHeader_multiple] :: GlonassOrbitClockCorrectionHeader -> Bool

-- | Satellite reference datum.
[_glonassOrbitClockCorrectionHeader_datum] :: GlonassOrbitClockCorrectionHeader -> Bool

-- | IOD SSR.
[_glonassOrbitClockCorrectionHeader_iod] :: GlonassOrbitClockCorrectionHeader -> Word8

-- | SSR provider id.
[_glonassOrbitClockCorrectionHeader_provider] :: GlonassOrbitClockCorrectionHeader -> Word16

-- | SSR solution id.
[_glonassOrbitClockCorrectionHeader_solution] :: GlonassOrbitClockCorrectionHeader -> Word8

-- | Number of satellites.
[_glonassOrbitClockCorrectionHeader_n] :: GlonassOrbitClockCorrectionHeader -> Word8
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

-- | GlonassOrbitClockCorrectionMessage.
--   
--   GLONASS orbit correction message.
data GlonassOrbitClockCorrection
GlonassOrbitClockCorrection :: Word8 -> Word8 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> GlonassOrbitClockCorrection

-- | GLONASS satellite id.
[_glonassOrbitClockCorrection_sat] :: GlonassOrbitClockCorrection -> Word8

-- | GLONASS IODE.
[_glonassOrbitClockCorrection_iode] :: GlonassOrbitClockCorrection -> Word8

-- | Delta Radial.
[_glonassOrbitClockCorrection_deltaRadial] :: GlonassOrbitClockCorrection -> Int32

-- | Delta Along-Track.
[_glonassOrbitClockCorrection_deltaAlongTrack] :: GlonassOrbitClockCorrection -> Int32

-- | Delta Cross-Track.
[_glonassOrbitClockCorrection_deltaCrossTrack] :: GlonassOrbitClockCorrection -> Int32

-- | Dot Delta Radial.
[_glonassOrbitClockCorrection_dotDeltaRadial] :: GlonassOrbitClockCorrection -> Int32

-- | Dot Delta Along-Track.
[_glonassOrbitClockCorrection_dotDeltaAlongTrack] :: GlonassOrbitClockCorrection -> Int32

-- | Dot Delta Cross-Track.
[_glonassOrbitClockCorrection_dotDeltaCrossTrack] :: GlonassOrbitClockCorrection -> Int32

-- | Delta clock C0.
[_glonassOrbitClockCorrection_deltaClockC0] :: GlonassOrbitClockCorrection -> Int32

-- | Delta clock C1.
[_glonassOrbitClockCorrection_deltaClockC1] :: GlonassOrbitClockCorrection -> Int32

-- | Delta clock C2.
[_glonassOrbitClockCorrection_deltaClockC2] :: GlonassOrbitClockCorrection -> Int32
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

-- | GpsCodeBiasCorrectionHeader.
--   
--   GPS code bias correction header.
data GpsCodeBiasCorrectionHeader
GpsCodeBiasCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GpsCodeBiasCorrectionHeader

-- | Message number.
[_gpsCodeBiasCorrectionHeader_num] :: GpsCodeBiasCorrectionHeader -> Word16

-- | GPS epoch time.
[_gpsCodeBiasCorrectionHeader_epochs] :: GpsCodeBiasCorrectionHeader -> Word32

-- | SSR update interval.
[_gpsCodeBiasCorrectionHeader_updateInterval] :: GpsCodeBiasCorrectionHeader -> Word8

-- | Multiple message indicator.
[_gpsCodeBiasCorrectionHeader_multiple] :: GpsCodeBiasCorrectionHeader -> Bool

-- | IOD SSR.
[_gpsCodeBiasCorrectionHeader_iod] :: GpsCodeBiasCorrectionHeader -> Word8

-- | SSR provider id.
[_gpsCodeBiasCorrectionHeader_provider] :: GpsCodeBiasCorrectionHeader -> Word16

-- | SSR solution id.
[_gpsCodeBiasCorrectionHeader_solution] :: GpsCodeBiasCorrectionHeader -> Word8

-- | Number of satellites.
[_gpsCodeBiasCorrectionHeader_n] :: GpsCodeBiasCorrectionHeader -> Word8
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

-- | GpsCodeBias.
--   
--   GPS code bias.
data GpsCodeBias
GpsCodeBias :: Word8 -> Int16 -> GpsCodeBias

-- | GPS signal.
[_gpsCodeBias_signal] :: GpsCodeBias -> Word8

-- | GPS code bias.
[_gpsCodeBias_codeBias] :: GpsCodeBias -> Int16
gpsCodeBias_codeBias :: Lens' GpsCodeBias Int16
gpsCodeBias_signal :: Lens' GpsCodeBias Word8

-- | GpsCodeBiasCorrectionMessage.
--   
--   GPS code bias correction message.
data GpsCodeBiasCorrection
GpsCodeBiasCorrection :: Word8 -> Word8 -> [GpsCodeBias] -> GpsCodeBiasCorrection

-- | GPS satellite id.
[_gpsCodeBiasCorrection_sat] :: GpsCodeBiasCorrection -> Word8

-- | Number of biases.
[_gpsCodeBiasCorrection_n] :: GpsCodeBiasCorrection -> Word8

-- | GPS code biases.
[_gpsCodeBiasCorrection_codeBiases] :: GpsCodeBiasCorrection -> [GpsCodeBias]
gpsCodeBiasCorrection_codeBiases :: Lens' GpsCodeBiasCorrection [GpsCodeBias]
gpsCodeBiasCorrection_n :: Lens' GpsCodeBiasCorrection Word8
gpsCodeBiasCorrection_sat :: Lens' GpsCodeBiasCorrection Word8

-- | GlonassCodeBiasCorrectionHeader.
--   
--   GLONASS code bias correction header.
data GlonassCodeBiasCorrectionHeader
GlonassCodeBiasCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Word8 -> GlonassCodeBiasCorrectionHeader

-- | Message number.
[_glonassCodeBiasCorrectionHeader_num] :: GlonassCodeBiasCorrectionHeader -> Word16

-- | GLONASS epoch time.
[_glonassCodeBiasCorrectionHeader_epochs] :: GlonassCodeBiasCorrectionHeader -> Word32

-- | SSR update interval.
[_glonassCodeBiasCorrectionHeader_updateInterval] :: GlonassCodeBiasCorrectionHeader -> Word8

-- | Multiple message indicator.
[_glonassCodeBiasCorrectionHeader_multiple] :: GlonassCodeBiasCorrectionHeader -> Bool

-- | IOD SSR.
[_glonassCodeBiasCorrectionHeader_iod] :: GlonassCodeBiasCorrectionHeader -> Word8

-- | SSR provider id.
[_glonassCodeBiasCorrectionHeader_provider] :: GlonassCodeBiasCorrectionHeader -> Word16

-- | SSR solution id.
[_glonassCodeBiasCorrectionHeader_solution] :: GlonassCodeBiasCorrectionHeader -> Word8

-- | Number of satellites.
[_glonassCodeBiasCorrectionHeader_n] :: GlonassCodeBiasCorrectionHeader -> Word8
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

-- | GlonassCodeBias.
--   
--   GLONASS code bias.
data GlonassCodeBias
GlonassCodeBias :: Word8 -> Int16 -> GlonassCodeBias

-- | GLONASS signal.
[_glonassCodeBias_signal] :: GlonassCodeBias -> Word8

-- | GLONASS code bias.
[_glonassCodeBias_codeBias] :: GlonassCodeBias -> Int16
glonassCodeBias_codeBias :: Lens' GlonassCodeBias Int16
glonassCodeBias_signal :: Lens' GlonassCodeBias Word8

-- | GlonassCodeBiasCorrectionMessage.
--   
--   GLONASS code bias correction message.
data GlonassCodeBiasCorrection
GlonassCodeBiasCorrection :: Word8 -> Word8 -> [GlonassCodeBias] -> GlonassCodeBiasCorrection

-- | GLONASS satellite id.
[_glonassCodeBiasCorrection_sat] :: GlonassCodeBiasCorrection -> Word8

-- | Number of biases.
[_glonassCodeBiasCorrection_n] :: GlonassCodeBiasCorrection -> Word8

-- | GLONASS code biases.
[_glonassCodeBiasCorrection_codeBiases] :: GlonassCodeBiasCorrection -> [GlonassCodeBias]
glonassCodeBiasCorrection_codeBiases :: Lens' GlonassCodeBiasCorrection [GlonassCodeBias]
glonassCodeBiasCorrection_n :: Lens' GlonassCodeBiasCorrection Word8
glonassCodeBiasCorrection_sat :: Lens' GlonassCodeBiasCorrection Word8

-- | GpsPhaseBiasCorrectionHeader.
--   
--   GPS phase bias correction header.
data GpsPhaseBiasCorrectionHeader
GpsPhaseBiasCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Bool -> Bool -> Word8 -> GpsPhaseBiasCorrectionHeader

-- | Message number.
[_gpsPhaseBiasCorrectionHeader_num] :: GpsPhaseBiasCorrectionHeader -> Word16

-- | GPS epoch time.
[_gpsPhaseBiasCorrectionHeader_epochs] :: GpsPhaseBiasCorrectionHeader -> Word32

-- | SSR update interval.
[_gpsPhaseBiasCorrectionHeader_updateInterval] :: GpsPhaseBiasCorrectionHeader -> Word8

-- | Multiple message indicator.
[_gpsPhaseBiasCorrectionHeader_multiple] :: GpsPhaseBiasCorrectionHeader -> Bool

-- | IOD SSR.
[_gpsPhaseBiasCorrectionHeader_iod] :: GpsPhaseBiasCorrectionHeader -> Word8

-- | SSR provider id.
[_gpsPhaseBiasCorrectionHeader_provider] :: GpsPhaseBiasCorrectionHeader -> Word16

-- | SSR solution id.
[_gpsPhaseBiasCorrectionHeader_solution] :: GpsPhaseBiasCorrectionHeader -> Word8

-- | Dispersive Bias Consistency Indicator.
[_gpsPhaseBiasCorrectionHeader_dispersive] :: GpsPhaseBiasCorrectionHeader -> Bool

-- | MW Consistency Indicator.
[_gpsPhaseBiasCorrectionHeader_mw] :: GpsPhaseBiasCorrectionHeader -> Bool

-- | Number of satellites.
[_gpsPhaseBiasCorrectionHeader_n] :: GpsPhaseBiasCorrectionHeader -> Word8
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

-- | GpsPhaseBias.
--   
--   GPS phase bias.
data GpsPhaseBias
GpsPhaseBias :: Word8 -> Bool -> Word8 -> Word8 -> Int32 -> GpsPhaseBias

-- | GPS signal.
[_gpsPhaseBias_signal] :: GpsPhaseBias -> Word8

-- | Signal Integer Indicator.
[_gpsPhaseBias_integer] :: GpsPhaseBias -> Bool

-- | Signals wide-lane integer indicator.
[_gpsPhaseBias_wideLaneInteger] :: GpsPhaseBias -> Word8

-- | Signal Discontinuity Counter.
[_gpsPhaseBias_discontinuityCounter] :: GpsPhaseBias -> Word8

-- | GPS phase bias.
[_gpsPhaseBias_phaseBias] :: GpsPhaseBias -> Int32
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

-- | GpsPhaseBiasCorrectionMessage.
--   
--   GPS phase bias correction message.
data GpsPhaseBiasCorrection
GpsPhaseBiasCorrection :: Word8 -> Word8 -> Word16 -> Int8 -> [GpsPhaseBias] -> GpsPhaseBiasCorrection

-- | GPS satellite id.
[_gpsPhaseBiasCorrection_sat] :: GpsPhaseBiasCorrection -> Word8

-- | Number of biases.
[_gpsPhaseBiasCorrection_n] :: GpsPhaseBiasCorrection -> Word8

-- | Yaw angle.
[_gpsPhaseBiasCorrection_yawAngle] :: GpsPhaseBiasCorrection -> Word16

-- | Yaw rate.
[_gpsPhaseBiasCorrection_yawRate] :: GpsPhaseBiasCorrection -> Int8

-- | GPS phase biases.
[_gpsPhaseBiasCorrection_phaseBiases] :: GpsPhaseBiasCorrection -> [GpsPhaseBias]
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

-- | GlonassPhaseBiasCorrectionHeader.
--   
--   GLONASS phase bias correction header.
data GlonassPhaseBiasCorrectionHeader
GlonassPhaseBiasCorrectionHeader :: Word16 -> Word32 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Bool -> Bool -> Word8 -> GlonassPhaseBiasCorrectionHeader

-- | Message number.
[_glonassPhaseBiasCorrectionHeader_num] :: GlonassPhaseBiasCorrectionHeader -> Word16

-- | GLONASS epoch time.
[_glonassPhaseBiasCorrectionHeader_epochs] :: GlonassPhaseBiasCorrectionHeader -> Word32

-- | SSR update interval.
[_glonassPhaseBiasCorrectionHeader_updateInterval] :: GlonassPhaseBiasCorrectionHeader -> Word8

-- | Multiple message indicator.
[_glonassPhaseBiasCorrectionHeader_multiple] :: GlonassPhaseBiasCorrectionHeader -> Bool

-- | IOD SSR.
[_glonassPhaseBiasCorrectionHeader_iod] :: GlonassPhaseBiasCorrectionHeader -> Word8

-- | SSR provider id.
[_glonassPhaseBiasCorrectionHeader_provider] :: GlonassPhaseBiasCorrectionHeader -> Word16

-- | SSR solution id.
[_glonassPhaseBiasCorrectionHeader_solution] :: GlonassPhaseBiasCorrectionHeader -> Word8

-- | Dispersive Bias Consistency Indicator.
[_glonassPhaseBiasCorrectionHeader_dispersive] :: GlonassPhaseBiasCorrectionHeader -> Bool

-- | MW Consistency Indicator.
[_glonassPhaseBiasCorrectionHeader_mw] :: GlonassPhaseBiasCorrectionHeader -> Bool

-- | Number of satellites.
[_glonassPhaseBiasCorrectionHeader_n] :: GlonassPhaseBiasCorrectionHeader -> Word8
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

-- | GlonassPhaseBias.
--   
--   GLONASS phase bias.
data GlonassPhaseBias
GlonassPhaseBias :: Word8 -> Bool -> Word8 -> Word8 -> Int32 -> GlonassPhaseBias

-- | GLONASS signal.
[_glonassPhaseBias_signal] :: GlonassPhaseBias -> Word8

-- | Signal Integer Indicator.
[_glonassPhaseBias_integer] :: GlonassPhaseBias -> Bool

-- | Signals wide-lane integer indicator.
[_glonassPhaseBias_wideLaneInteger] :: GlonassPhaseBias -> Word8

-- | Signal Discontinuity Counter.
[_glonassPhaseBias_discontinuityCounter] :: GlonassPhaseBias -> Word8

-- | GLONASS phase bias.
[_glonassPhaseBias_phaseBias] :: GlonassPhaseBias -> Int32
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

-- | GlonassPhaseBiasCorrectionMessage.
--   
--   GLONASS phase bias correction message.
data GlonassPhaseBiasCorrection
GlonassPhaseBiasCorrection :: Word8 -> Word8 -> Word16 -> Int8 -> [GlonassPhaseBias] -> GlonassPhaseBiasCorrection

-- | GLONASS satellite id.
[_glonassPhaseBiasCorrection_sat] :: GlonassPhaseBiasCorrection -> Word8

-- | Number of biases.
[_glonassPhaseBiasCorrection_n] :: GlonassPhaseBiasCorrection -> Word8

-- | Yaw angle.
[_glonassPhaseBiasCorrection_yawAngle] :: GlonassPhaseBiasCorrection -> Word16

-- | Yaw rate.
[_glonassPhaseBiasCorrection_yawRate] :: GlonassPhaseBiasCorrection -> Int8

-- | GLONASS phase biases.
[_glonassPhaseBiasCorrection_phaseBiases] :: GlonassPhaseBiasCorrection -> [GlonassPhaseBias]
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

-- | Msg 1057.
--   
--   RTCMv3 message 1057.
data Msg1057
Msg1057 :: GpsOrbitCorrectionHeader -> [GpsOrbitCorrection] -> Msg1057

-- | GPS orbit correction header.
[_msg1057_header] :: Msg1057 -> GpsOrbitCorrectionHeader

-- | GPS orbit corrections.
[_msg1057_corrections] :: Msg1057 -> [GpsOrbitCorrection]
msg1057 :: Word16
msg1057_corrections :: Lens' Msg1057 [GpsOrbitCorrection]
msg1057_header :: Lens' Msg1057 GpsOrbitCorrectionHeader

-- | Msg 1058.
--   
--   RTCMv3 message 1058.
data Msg1058
Msg1058 :: GpsClockCorrectionHeader -> [GpsClockCorrection] -> Msg1058

-- | GPS clock correction header.
[_msg1058_header] :: Msg1058 -> GpsClockCorrectionHeader

-- | GPS clock corrections.
[_msg1058_corrections] :: Msg1058 -> [GpsClockCorrection]
msg1058 :: Word16
msg1058_corrections :: Lens' Msg1058 [GpsClockCorrection]
msg1058_header :: Lens' Msg1058 GpsClockCorrectionHeader

-- | Msg 1063.
--   
--   RTCMv3 message 1063.
data Msg1063
Msg1063 :: GlonassOrbitCorrectionHeader -> [GlonassOrbitCorrection] -> Msg1063

-- | GLONASS orbit correction header.
[_msg1063_header] :: Msg1063 -> GlonassOrbitCorrectionHeader

-- | GLONASS orbit corrections.
[_msg1063_corrections] :: Msg1063 -> [GlonassOrbitCorrection]
msg1063 :: Word16
msg1063_corrections :: Lens' Msg1063 [GlonassOrbitCorrection]
msg1063_header :: Lens' Msg1063 GlonassOrbitCorrectionHeader

-- | Msg 1064.
--   
--   RTCMv3 message 1064.
data Msg1064
Msg1064 :: GlonassClockCorrectionHeader -> [GlonassClockCorrection] -> Msg1064

-- | GLONASS clock correction header.
[_msg1064_header] :: Msg1064 -> GlonassClockCorrectionHeader

-- | GLONASS clock corrections.
[_msg1064_corrections] :: Msg1064 -> [GlonassClockCorrection]
msg1064 :: Word16
msg1064_corrections :: Lens' Msg1064 [GlonassClockCorrection]
msg1064_header :: Lens' Msg1064 GlonassClockCorrectionHeader

-- | Msg 1060.
--   
--   RTCMv3 message 1060.
data Msg1060
Msg1060 :: GpsOrbitClockCorrectionHeader -> [GpsOrbitClockCorrection] -> Msg1060

-- | GPS orbit correction header.
[_msg1060_header] :: Msg1060 -> GpsOrbitClockCorrectionHeader

-- | GPS orbit corrections.
[_msg1060_corrections] :: Msg1060 -> [GpsOrbitClockCorrection]
msg1060 :: Word16
msg1060_corrections :: Lens' Msg1060 [GpsOrbitClockCorrection]
msg1060_header :: Lens' Msg1060 GpsOrbitClockCorrectionHeader

-- | Msg 1066.
--   
--   RTCMv3 message 1066.
data Msg1066
Msg1066 :: GlonassOrbitClockCorrectionHeader -> [GlonassOrbitClockCorrection] -> Msg1066

-- | GLONASS orbit correction header.
[_msg1066_header] :: Msg1066 -> GlonassOrbitClockCorrectionHeader

-- | GLONASS orbit corrections.
[_msg1066_corrections] :: Msg1066 -> [GlonassOrbitClockCorrection]
msg1066 :: Word16
msg1066_corrections :: Lens' Msg1066 [GlonassOrbitClockCorrection]
msg1066_header :: Lens' Msg1066 GlonassOrbitClockCorrectionHeader

-- | Msg 1059.
--   
--   RTCMv3 message 1059.
data Msg1059
Msg1059 :: GpsCodeBiasCorrectionHeader -> [GpsCodeBiasCorrection] -> Msg1059

-- | GPS code bias correction header.
[_msg1059_header] :: Msg1059 -> GpsCodeBiasCorrectionHeader

-- | GPS code bias corrections.
[_msg1059_corrections] :: Msg1059 -> [GpsCodeBiasCorrection]
msg1059 :: Word16
msg1059_corrections :: Lens' Msg1059 [GpsCodeBiasCorrection]
msg1059_header :: Lens' Msg1059 GpsCodeBiasCorrectionHeader

-- | Msg 1065.
--   
--   RTCMv3 message 1065.
data Msg1065
Msg1065 :: GlonassCodeBiasCorrectionHeader -> [GlonassCodeBiasCorrection] -> Msg1065

-- | GLONASS code bias correction header.
[_msg1065_header] :: Msg1065 -> GlonassCodeBiasCorrectionHeader

-- | GLONASS code bias corrections.
[_msg1065_corrections] :: Msg1065 -> [GlonassCodeBiasCorrection]
msg1065 :: Word16
msg1065_corrections :: Lens' Msg1065 [GlonassCodeBiasCorrection]
msg1065_header :: Lens' Msg1065 GlonassCodeBiasCorrectionHeader

-- | Msg 1265.
--   
--   RTCMv3 message 1265.
data Msg1265
Msg1265 :: GpsPhaseBiasCorrectionHeader -> [GpsPhaseBiasCorrection] -> Msg1265

-- | GPS phase bias correction header.
[_msg1265_header] :: Msg1265 -> GpsPhaseBiasCorrectionHeader

-- | GPS phase bias corrections.
[_msg1265_corrections] :: Msg1265 -> [GpsPhaseBiasCorrection]
msg1265 :: Word16
msg1265_corrections :: Lens' Msg1265 [GpsPhaseBiasCorrection]
msg1265_header :: Lens' Msg1265 GpsPhaseBiasCorrectionHeader

-- | Msg 1266.
--   
--   RTCMv3 message 1266.
data Msg1266
Msg1266 :: GlonassPhaseBiasCorrectionHeader -> [GlonassPhaseBiasCorrection] -> Msg1266

-- | GLONASS phase bias correction header.
[_msg1266_header] :: Msg1266 -> GlonassPhaseBiasCorrectionHeader

-- | GLONASS phase bias corrections.
[_msg1266_corrections] :: Msg1266 -> [GlonassPhaseBiasCorrection]
msg1266 :: Word16
msg1266_corrections :: Lens' Msg1266 [GlonassPhaseBiasCorrection]
msg1266_header :: Lens' Msg1266 GlonassPhaseBiasCorrectionHeader
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1266
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1266
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1266
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1266
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1266
instance GHC.Read.Read Data.RTCM3.SSR.Msg1266
instance GHC.Show.Show Data.RTCM3.SSR.Msg1266
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1265
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1265
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1265
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1265
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1265
instance GHC.Read.Read Data.RTCM3.SSR.Msg1265
instance GHC.Show.Show Data.RTCM3.SSR.Msg1265
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1065
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1065
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1065
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1065
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1065
instance GHC.Read.Read Data.RTCM3.SSR.Msg1065
instance GHC.Show.Show Data.RTCM3.SSR.Msg1065
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1059
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1059
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1059
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1059
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1059
instance GHC.Read.Read Data.RTCM3.SSR.Msg1059
instance GHC.Show.Show Data.RTCM3.SSR.Msg1059
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1066
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1066
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1066
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1066
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1066
instance GHC.Read.Read Data.RTCM3.SSR.Msg1066
instance GHC.Show.Show Data.RTCM3.SSR.Msg1066
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1060
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1060
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1060
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1060
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1060
instance GHC.Read.Read Data.RTCM3.SSR.Msg1060
instance GHC.Show.Show Data.RTCM3.SSR.Msg1060
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1064
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1064
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1064
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1064
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1064
instance GHC.Read.Read Data.RTCM3.SSR.Msg1064
instance GHC.Show.Show Data.RTCM3.SSR.Msg1064
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1063
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1063
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1063
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1063
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1063
instance GHC.Read.Read Data.RTCM3.SSR.Msg1063
instance GHC.Show.Show Data.RTCM3.SSR.Msg1063
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1058
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1058
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1058
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1058
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1058
instance GHC.Read.Read Data.RTCM3.SSR.Msg1058
instance GHC.Show.Show Data.RTCM3.SSR.Msg1058
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.SSR.Msg1057
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.Msg1057
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.Msg1057
instance Data.Binary.Class.Binary Data.RTCM3.SSR.Msg1057
instance GHC.Classes.Eq Data.RTCM3.SSR.Msg1057
instance GHC.Read.Read Data.RTCM3.SSR.Msg1057
instance GHC.Show.Show Data.RTCM3.SSR.Msg1057
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GlonassPhaseBiasCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassPhaseBias
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassPhaseBias
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassPhaseBias
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassPhaseBias
instance GHC.Read.Read Data.RTCM3.SSR.GlonassPhaseBias
instance GHC.Show.Show Data.RTCM3.SSR.GlonassPhaseBias
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GlonassPhaseBiasCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GpsPhaseBiasCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsPhaseBias
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsPhaseBias
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsPhaseBias
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsPhaseBias
instance GHC.Read.Read Data.RTCM3.SSR.GpsPhaseBias
instance GHC.Show.Show Data.RTCM3.SSR.GpsPhaseBias
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GpsPhaseBiasCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GlonassCodeBiasCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassCodeBias
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassCodeBias
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassCodeBias
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassCodeBias
instance GHC.Read.Read Data.RTCM3.SSR.GlonassCodeBias
instance GHC.Show.Show Data.RTCM3.SSR.GlonassCodeBias
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GlonassCodeBiasCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsCodeBiasCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsCodeBiasCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsCodeBiasCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsCodeBiasCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GpsCodeBiasCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GpsCodeBiasCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsCodeBias
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsCodeBias
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsCodeBias
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsCodeBias
instance GHC.Read.Read Data.RTCM3.SSR.GpsCodeBias
instance GHC.Show.Show Data.RTCM3.SSR.GpsCodeBias
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GpsCodeBiasCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GlonassOrbitClockCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GlonassOrbitClockCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsOrbitClockCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsOrbitClockCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsOrbitClockCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsOrbitClockCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GpsOrbitClockCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GpsOrbitClockCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GpsOrbitClockCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassClockCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassClockCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassClockCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassClockCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GlonassClockCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GlonassClockCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GlonassClockCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassOrbitCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassOrbitCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassOrbitCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassOrbitCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GlonassOrbitCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GlonassOrbitCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GlonassOrbitCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsClockCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsClockCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsClockCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsClockCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GpsClockCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GpsClockCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsClockCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsClockCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsClockCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsClockCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GpsClockCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GpsClockCorrectionHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsOrbitCorrection
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsOrbitCorrection
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsOrbitCorrection
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsOrbitCorrection
instance GHC.Read.Read Data.RTCM3.SSR.GpsOrbitCorrection
instance GHC.Show.Show Data.RTCM3.SSR.GpsOrbitCorrection
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.SSR.GpsOrbitCorrectionHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.SSR.GpsOrbitCorrectionHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.SSR.GpsOrbitCorrectionHeader
instance GHC.Classes.Eq Data.RTCM3.SSR.GpsOrbitCorrectionHeader
instance GHC.Read.Read Data.RTCM3.SSR.GpsOrbitCorrectionHeader
instance GHC.Show.Show Data.RTCM3.SSR.GpsOrbitCorrectionHeader


-- | RTCMv3 Observations.
module Data.RTCM3.Observations

-- | GpsObservationHeader.
--   
--   GPS RTK observation header.
data GpsObservationHeader
GpsObservationHeader :: Word16 -> Word16 -> Word32 -> Bool -> Word8 -> Bool -> Word8 -> GpsObservationHeader

-- | Message number.
[_gpsObservationHeader_num] :: GpsObservationHeader -> Word16

-- | Reference station id.
[_gpsObservationHeader_station] :: GpsObservationHeader -> Word16

-- | GPS epoch time.
[_gpsObservationHeader_tow] :: GpsObservationHeader -> Word32

-- | Synchronous GNSS flag.
[_gpsObservationHeader_synchronous] :: GpsObservationHeader -> Bool

-- | Number of GPS satellite observations.
[_gpsObservationHeader_n] :: GpsObservationHeader -> Word8

-- | GPS divergence-free smoothing indicator.
[_gpsObservationHeader_smoothing] :: GpsObservationHeader -> Bool

-- | GPS smoothing interval.
[_gpsObservationHeader_smoothingInterval] :: GpsObservationHeader -> Word8
gpsObservationHeader_n :: Lens' GpsObservationHeader Word8
gpsObservationHeader_num :: Lens' GpsObservationHeader Word16
gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool
gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8
gpsObservationHeader_station :: Lens' GpsObservationHeader Word16
gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool
gpsObservationHeader_tow :: Lens' GpsObservationHeader Word32

-- | GpsL1Observation.
--   
--   GPS RTK L1 observation.
data GpsL1Observation
GpsL1Observation :: Bool -> Word32 -> Int32 -> Word8 -> GpsL1Observation

-- | GPS L1 code indicator.
[_gpsL1Observation_code] :: GpsL1Observation -> Bool

-- | GPS L1 pseudorange.
[_gpsL1Observation_pseudorange] :: GpsL1Observation -> Word32

-- | GPS L1 phaserange - pseudorange.
[_gpsL1Observation_carrierMinusCode] :: GpsL1Observation -> Int32

-- | GPS L1 lock time indicator.
[_gpsL1Observation_lockTime] :: GpsL1Observation -> Word8
gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32
gpsL1Observation_code :: Lens' GpsL1Observation Bool
gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8
gpsL1Observation_pseudorange :: Lens' GpsL1Observation Word32

-- | GpsL1ExtObservation.
--   
--   GPS RTK L1 extended observation.
data GpsL1ExtObservation
GpsL1ExtObservation :: Word8 -> Word8 -> GpsL1ExtObservation

-- | GPS L1 pseudorange ambiguity.
[_gpsL1ExtObservation_ambiguity] :: GpsL1ExtObservation -> Word8

-- | GPS L1 carrier-to-noise ratio.
[_gpsL1ExtObservation_cnr] :: GpsL1ExtObservation -> Word8
gpsL1ExtObservation_ambiguity :: Lens' GpsL1ExtObservation Word8
gpsL1ExtObservation_cnr :: Lens' GpsL1ExtObservation Word8

-- | GpsL2Observation.
--   
--   GPS RTK L2 observation.
data GpsL2Observation
GpsL2Observation :: Word8 -> Int16 -> Int32 -> Word8 -> GpsL2Observation

-- | GPS L2 code indicator.
[_gpsL2Observation_code] :: GpsL2Observation -> Word8

-- | GPS L2-L1 pseudorange difference.
[_gpsL2Observation_pseudorangeDifference] :: GpsL2Observation -> Int16

-- | GPS L2 phaserange - L1 pseudorange.
[_gpsL2Observation_carrierMinusCode] :: GpsL2Observation -> Int32

-- | GPS L2 lock time indicator.
[_gpsL2Observation_lockTime] :: GpsL2Observation -> Word8
gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32
gpsL2Observation_code :: Lens' GpsL2Observation Word8
gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8
gpsL2Observation_pseudorangeDifference :: Lens' GpsL2Observation Int16

-- | GpsL2ExtObservation.
--   
--   GPS RTK L2 extended observation.
newtype GpsL2ExtObservation
GpsL2ExtObservation :: Word8 -> GpsL2ExtObservation

-- | GPS L2 carrier-to-noise ratio.
[_gpsL2ExtObservation_cnr] :: GpsL2ExtObservation -> Word8
gpsL2ExtObservation_cnr :: Iso' GpsL2ExtObservation Word8

-- | GlonassObservationHeader.
--   
--   GLONASS RTK observation header.
data GlonassObservationHeader
GlonassObservationHeader :: Word16 -> Word16 -> Word32 -> Bool -> Word8 -> Bool -> Word8 -> GlonassObservationHeader

-- | Message number.
[_glonassObservationHeader_num] :: GlonassObservationHeader -> Word16

-- | Reference station id.
[_glonassObservationHeader_station] :: GlonassObservationHeader -> Word16

-- | GLONASS epoch time.
[_glonassObservationHeader_epoch] :: GlonassObservationHeader -> Word32

-- | Synchronous GNSS flag.
[_glonassObservationHeader_synchronous] :: GlonassObservationHeader -> Bool

-- | Number of GLONASS satellite observations.
[_glonassObservationHeader_n] :: GlonassObservationHeader -> Word8

-- | GLONASS divergence-free smoothing indicator.
[_glonassObservationHeader_smoothing] :: GlonassObservationHeader -> Bool

-- | GLONASS smoothing interval.
[_glonassObservationHeader_smoothingInterval] :: GlonassObservationHeader -> Word8
glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32
glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8
glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16
glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool
glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8
glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16
glonassObservationHeader_synchronous :: Lens' GlonassObservationHeader Bool

-- | GlonassL1Observation.
--   
--   GLONASS RTK L1 observation.
data GlonassL1Observation
GlonassL1Observation :: Bool -> Word8 -> Word32 -> Int32 -> Word8 -> GlonassL1Observation

-- | GLONASS L1 code indicator.
[_glonassL1Observation_code] :: GlonassL1Observation -> Bool

-- | GLONASS satellite frequency channel number.
[_glonassL1Observation_frequency] :: GlonassL1Observation -> Word8

-- | GLONASS L1 pseudorange.
[_glonassL1Observation_pseudorange] :: GlonassL1Observation -> Word32

-- | GLONASS L1 phaserange - pseudorange.
[_glonassL1Observation_carrierMinusCode] :: GlonassL1Observation -> Int32

-- | GLONASS L1 lock time indicator.
[_glonassL1Observation_lockTime] :: GlonassL1Observation -> Word8
glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32
glonassL1Observation_code :: Lens' GlonassL1Observation Bool
glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8
glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8
glonassL1Observation_pseudorange :: Lens' GlonassL1Observation Word32

-- | GlonassL1ExtObservation.
--   
--   GLONASS RTK L1 extended observation.
data GlonassL1ExtObservation
GlonassL1ExtObservation :: Word8 -> Word8 -> GlonassL1ExtObservation

-- | GLONASS L1 pseudorange ambiguity.
[_glonassL1ExtObservation_ambiguity] :: GlonassL1ExtObservation -> Word8

-- | GLONASS L1 carrier-to-noise ratio.
[_glonassL1ExtObservation_cnr] :: GlonassL1ExtObservation -> Word8
glonassL1ExtObservation_ambiguity :: Lens' GlonassL1ExtObservation Word8
glonassL1ExtObservation_cnr :: Lens' GlonassL1ExtObservation Word8

-- | GlonassL2Observation.
--   
--   GLONASS RTK L2 observation.
data GlonassL2Observation
GlonassL2Observation :: Word8 -> Int16 -> Int32 -> Word8 -> GlonassL2Observation

-- | GLONASS L2 code indicator.
[_glonassL2Observation_code] :: GlonassL2Observation -> Word8

-- | GLONASS L2-L1 pseudorange difference.
[_glonassL2Observation_pseudorangeDifference] :: GlonassL2Observation -> Int16

-- | GLONASS L2 phaserange - L1 pseudorange.
[_glonassL2Observation_carrierMinusCode] :: GlonassL2Observation -> Int32

-- | GLONASS L2 lock time indicator.
[_glonassL2Observation_lockTime] :: GlonassL2Observation -> Word8
glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32
glonassL2Observation_code :: Lens' GlonassL2Observation Word8
glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8
glonassL2Observation_pseudorangeDifference :: Lens' GlonassL2Observation Int16

-- | GlonassL2ExtObservation.
--   
--   GLONASS RTK L2 extended observation.
newtype GlonassL2ExtObservation
GlonassL2ExtObservation :: Word8 -> GlonassL2ExtObservation

-- | GLONASS L2 carrier-to-noise ratio.
[_glonassL2ExtObservation_cnr] :: GlonassL2ExtObservation -> Word8
glonassL2ExtObservation_cnr :: Iso' GlonassL2ExtObservation Word8

-- | GlonassBias.
--   
--   GLONASS bias information.
data GlonassBias
GlonassBias :: Word16 -> Word16 -> Bool -> Word8 -> [Int16] -> GlonassBias

-- | Message number.
[_glonassBias_num] :: GlonassBias -> Word16

-- | Reference station id.
[_glonassBias_station] :: GlonassBias -> Word16

-- | GLONASS Code-Phase bias indicator.
[_glonassBias_bias] :: GlonassBias -> Bool

-- | GLONASS FDMA signals mask.
[_glonassBias_mask] :: GlonassBias -> Word8

-- | GLONASS code-phase biases.
[_glonassBias_biases] :: GlonassBias -> [Int16]
glonassBias_bias :: Lens' GlonassBias Bool
glonassBias_biases :: Lens' GlonassBias [Int16]
glonassBias_mask :: Lens' GlonassBias Word8
glonassBias_num :: Lens' GlonassBias Word16
glonassBias_station :: Lens' GlonassBias Word16

-- | Observation1001.
--   
--   GPS RTK L1 observation for message 1001.
data Observation1001
Observation1001 :: Word8 -> GpsL1Observation -> Observation1001

-- | GPS satellite id.
[_observation1001_sat] :: Observation1001 -> Word8

-- | GPS RTK L1 observation.
[_observation1001_l1] :: Observation1001 -> GpsL1Observation
msg1001 :: Word16
observation1001_l1 :: Lens' Observation1001 GpsL1Observation
observation1001_sat :: Lens' Observation1001 Word8

-- | Msg1001.
--   
--   RTCMv3 message 1001.
data Msg1001
Msg1001 :: GpsObservationHeader -> [Observation1001] -> Msg1001

-- | GPS observation header.
[_msg1001_header] :: Msg1001 -> GpsObservationHeader

-- | GPS RTK L1 observations.
[_msg1001_observations] :: Msg1001 -> [Observation1001]
msg1001_header :: Lens' Msg1001 GpsObservationHeader
msg1001_observations :: Lens' Msg1001 [Observation1001]

-- | Observation1002.
--   
--   GPS RTK L1 extended observation for message 1002.
data Observation1002
Observation1002 :: Word8 -> GpsL1Observation -> GpsL1ExtObservation -> Observation1002

-- | GPS satellite id.
[_observation1002_sat] :: Observation1002 -> Word8

-- | GPS RTK L1 observation.
[_observation1002_l1] :: Observation1002 -> GpsL1Observation

-- | GPS RTK L1 extended observation.
[_observation1002_l1e] :: Observation1002 -> GpsL1ExtObservation
msg1002 :: Word16
observation1002_l1 :: Lens' Observation1002 GpsL1Observation
observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation
observation1002_sat :: Lens' Observation1002 Word8

-- | Msg1002.
--   
--   RTCMv3 message 1002.
data Msg1002
Msg1002 :: GpsObservationHeader -> [Observation1002] -> Msg1002

-- | GPS observation header.
[_msg1002_header] :: Msg1002 -> GpsObservationHeader

-- | GPS RTK L1 extended observations.
[_msg1002_observations] :: Msg1002 -> [Observation1002]
msg1002_header :: Lens' Msg1002 GpsObservationHeader
msg1002_observations :: Lens' Msg1002 [Observation1002]

-- | Observation1003.
--   
--   GPS RTK L1, L2 observation for message 1003.
data Observation1003
Observation1003 :: Word8 -> GpsL1Observation -> GpsL2Observation -> Observation1003

-- | GPS satellite id.
[_observation1003_sat] :: Observation1003 -> Word8

-- | GPS RTK L1 observation.
[_observation1003_l1] :: Observation1003 -> GpsL1Observation

-- | GPS RTK L2 observation.
[_observation1003_l2] :: Observation1003 -> GpsL2Observation
msg1003 :: Word16
observation1003_l1 :: Lens' Observation1003 GpsL1Observation
observation1003_l2 :: Lens' Observation1003 GpsL2Observation
observation1003_sat :: Lens' Observation1003 Word8

-- | Msg1003.
--   
--   RTCMv3 message 1003.
data Msg1003
Msg1003 :: GpsObservationHeader -> [Observation1003] -> Msg1003

-- | GPS observation header.
[_msg1003_header] :: Msg1003 -> GpsObservationHeader

-- | GPS RTK L1, L2 observations.
[_msg1003_observations] :: Msg1003 -> [Observation1003]
msg1003_header :: Lens' Msg1003 GpsObservationHeader
msg1003_observations :: Lens' Msg1003 [Observation1003]

-- | Observation1004.
--   
--   GPS RTK L1, L2 extended observation for message 1004.
data Observation1004
Observation1004 :: Word8 -> GpsL1Observation -> GpsL1ExtObservation -> GpsL2Observation -> GpsL2ExtObservation -> Observation1004

-- | GPS satellite id.
[_observation1004_sat] :: Observation1004 -> Word8

-- | GPS RTK L1 observation.
[_observation1004_l1] :: Observation1004 -> GpsL1Observation

-- | GPS RTK L1 extended observation.
[_observation1004_l1e] :: Observation1004 -> GpsL1ExtObservation

-- | GPS RTK L2 observation.
[_observation1004_l2] :: Observation1004 -> GpsL2Observation

-- | GPS RTK L2 extended observation.
[_observation1004_l2e] :: Observation1004 -> GpsL2ExtObservation
msg1004 :: Word16
observation1004_l1 :: Lens' Observation1004 GpsL1Observation
observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation
observation1004_l2 :: Lens' Observation1004 GpsL2Observation
observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation
observation1004_sat :: Lens' Observation1004 Word8

-- | Msg1004.
--   
--   RTCMv3 message 1004.
data Msg1004
Msg1004 :: GpsObservationHeader -> [Observation1004] -> Msg1004

-- | GPS observation header.
[_msg1004_header] :: Msg1004 -> GpsObservationHeader

-- | GPS RTK L1, L2 extended observations.
[_msg1004_observations] :: Msg1004 -> [Observation1004]
msg1004_header :: Lens' Msg1004 GpsObservationHeader
msg1004_observations :: Lens' Msg1004 [Observation1004]

-- | Observation1009.
--   
--   GLONASS RTK L1 observation for message 1009.
data Observation1009
Observation1009 :: Word8 -> GlonassL1Observation -> Observation1009

-- | GLONASS satellite id.
[_observation1009_sat] :: Observation1009 -> Word8

-- | GLONASS RTK L1 observation.
[_observation1009_l1] :: Observation1009 -> GlonassL1Observation
msg1009 :: Word16
observation1009_l1 :: Lens' Observation1009 GlonassL1Observation
observation1009_sat :: Lens' Observation1009 Word8

-- | Msg1009.
--   
--   RTCMv3 message 1009.
data Msg1009
Msg1009 :: GlonassObservationHeader -> [Observation1009] -> Msg1009

-- | GLONASS observation header.
[_msg1009_header] :: Msg1009 -> GlonassObservationHeader

-- | GLONASS RTK L1 observations.
[_msg1009_observations] :: Msg1009 -> [Observation1009]
msg1009_header :: Lens' Msg1009 GlonassObservationHeader
msg1009_observations :: Lens' Msg1009 [Observation1009]

-- | Observation1010.
--   
--   GLONASS RTK L1 extended observation for message 1010.
data Observation1010
Observation1010 :: Word8 -> GlonassL1Observation -> GlonassL1ExtObservation -> Observation1010

-- | GLONASS satellite id.
[_observation1010_sat] :: Observation1010 -> Word8

-- | GLONASS RTK L1 observation.
[_observation1010_l1] :: Observation1010 -> GlonassL1Observation

-- | GLONASS RTK L1 extended observation.
[_observation1010_l1e] :: Observation1010 -> GlonassL1ExtObservation
msg1010 :: Word16
observation1010_l1 :: Lens' Observation1010 GlonassL1Observation
observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation
observation1010_sat :: Lens' Observation1010 Word8

-- | Msg1010.
--   
--   RTCMv3 message 1010.
data Msg1010
Msg1010 :: GlonassObservationHeader -> [Observation1010] -> Msg1010

-- | GLONASS observation header.
[_msg1010_header] :: Msg1010 -> GlonassObservationHeader

-- | GLONASS RTK L1 extended observations.
[_msg1010_observations] :: Msg1010 -> [Observation1010]
msg1010_header :: Lens' Msg1010 GlonassObservationHeader
msg1010_observations :: Lens' Msg1010 [Observation1010]

-- | Observation1011.
--   
--   GLONASS RTK L1, L2 observation for message 1011.
data Observation1011
Observation1011 :: Word8 -> GlonassL1Observation -> GlonassL2Observation -> Observation1011

-- | GLONASS satellite id.
[_observation1011_sat] :: Observation1011 -> Word8

-- | GLONASS RTK L1 observation.
[_observation1011_l1] :: Observation1011 -> GlonassL1Observation

-- | GLONASS RTK L2 observation.
[_observation1011_l2] :: Observation1011 -> GlonassL2Observation
msg1011 :: Word16
observation1011_l1 :: Lens' Observation1011 GlonassL1Observation
observation1011_l2 :: Lens' Observation1011 GlonassL2Observation
observation1011_sat :: Lens' Observation1011 Word8

-- | Msg1011.
--   
--   RTCMv3 message 1011.
data Msg1011
Msg1011 :: GlonassObservationHeader -> [Observation1011] -> Msg1011

-- | GLONASS observation header.
[_msg1011_header] :: Msg1011 -> GlonassObservationHeader

-- | GLONASS RTK L1, L2 observations.
[_msg1011_observations] :: Msg1011 -> [Observation1011]
msg1011_header :: Lens' Msg1011 GlonassObservationHeader
msg1011_observations :: Lens' Msg1011 [Observation1011]

-- | Observation1012.
--   
--   GLONASS RTK L1, L2 extended observation for message 1012.
data Observation1012
Observation1012 :: Word8 -> GlonassL1Observation -> GlonassL1ExtObservation -> GlonassL2Observation -> GlonassL2ExtObservation -> Observation1012

-- | GLONASS satellite id.
[_observation1012_sat] :: Observation1012 -> Word8

-- | GLONASS RTK L1 observation.
[_observation1012_l1] :: Observation1012 -> GlonassL1Observation

-- | GLONASS RTK L1 extended observation.
[_observation1012_l1e] :: Observation1012 -> GlonassL1ExtObservation

-- | GLONASS RTK L2 observation.
[_observation1012_l2] :: Observation1012 -> GlonassL2Observation

-- | GLONASS RTK L2 extended observation.
[_observation1012_l2e] :: Observation1012 -> GlonassL2ExtObservation
msg1012 :: Word16
observation1012_l1 :: Lens' Observation1012 GlonassL1Observation
observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation
observation1012_l2 :: Lens' Observation1012 GlonassL2Observation
observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation
observation1012_sat :: Lens' Observation1012 Word8

-- | Msg1012.
--   
--   RTCMv3 message 1012.
data Msg1012
Msg1012 :: GlonassObservationHeader -> [Observation1012] -> Msg1012

-- | GLONASS observation header.
[_msg1012_header] :: Msg1012 -> GlonassObservationHeader

-- | GLONASS RTK L1, L2 extended observations.
[_msg1012_observations] :: Msg1012 -> [Observation1012]
msg1012_header :: Lens' Msg1012 GlonassObservationHeader
msg1012_observations :: Lens' Msg1012 [Observation1012]

-- | Msg1230.
--   
--   RTCMv3 message 1230.
newtype Msg1230
Msg1230 :: GlonassBias -> Msg1230

-- | GLONASS bias.
[_msg1230_bias] :: Msg1230 -> GlonassBias
msg1230 :: Word16
msg1230_bias :: Iso' Msg1230 GlonassBias
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1230
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1230
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1230
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1230
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1230
instance GHC.Read.Read Data.RTCM3.Observations.Msg1230
instance GHC.Show.Show Data.RTCM3.Observations.Msg1230
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1012
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1012
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1012
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1012
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1012
instance GHC.Read.Read Data.RTCM3.Observations.Msg1012
instance GHC.Show.Show Data.RTCM3.Observations.Msg1012
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1012
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1012
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1012
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1012
instance GHC.Read.Read Data.RTCM3.Observations.Observation1012
instance GHC.Show.Show Data.RTCM3.Observations.Observation1012
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1011
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1011
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1011
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1011
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1011
instance GHC.Read.Read Data.RTCM3.Observations.Msg1011
instance GHC.Show.Show Data.RTCM3.Observations.Msg1011
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1011
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1011
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1011
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1011
instance GHC.Read.Read Data.RTCM3.Observations.Observation1011
instance GHC.Show.Show Data.RTCM3.Observations.Observation1011
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1010
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1010
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1010
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1010
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1010
instance GHC.Read.Read Data.RTCM3.Observations.Msg1010
instance GHC.Show.Show Data.RTCM3.Observations.Msg1010
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1010
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1010
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1010
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1010
instance GHC.Read.Read Data.RTCM3.Observations.Observation1010
instance GHC.Show.Show Data.RTCM3.Observations.Observation1010
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1009
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1009
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1009
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1009
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1009
instance GHC.Read.Read Data.RTCM3.Observations.Msg1009
instance GHC.Show.Show Data.RTCM3.Observations.Msg1009
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1009
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1009
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1009
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1009
instance GHC.Read.Read Data.RTCM3.Observations.Observation1009
instance GHC.Show.Show Data.RTCM3.Observations.Observation1009
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1004
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1004
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1004
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1004
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1004
instance GHC.Read.Read Data.RTCM3.Observations.Msg1004
instance GHC.Show.Show Data.RTCM3.Observations.Msg1004
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1004
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1004
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1004
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1004
instance GHC.Read.Read Data.RTCM3.Observations.Observation1004
instance GHC.Show.Show Data.RTCM3.Observations.Observation1004
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1003
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1003
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1003
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1003
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1003
instance GHC.Read.Read Data.RTCM3.Observations.Msg1003
instance GHC.Show.Show Data.RTCM3.Observations.Msg1003
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1003
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1003
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1003
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1003
instance GHC.Read.Read Data.RTCM3.Observations.Observation1003
instance GHC.Show.Show Data.RTCM3.Observations.Observation1003
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1002
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1002
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1002
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1002
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1002
instance GHC.Read.Read Data.RTCM3.Observations.Msg1002
instance GHC.Show.Show Data.RTCM3.Observations.Msg1002
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1002
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1002
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1002
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1002
instance GHC.Read.Read Data.RTCM3.Observations.Observation1002
instance GHC.Show.Show Data.RTCM3.Observations.Observation1002
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Observations.Msg1001
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Msg1001
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Msg1001
instance Data.Binary.Class.Binary Data.RTCM3.Observations.Msg1001
instance GHC.Classes.Eq Data.RTCM3.Observations.Msg1001
instance GHC.Read.Read Data.RTCM3.Observations.Msg1001
instance GHC.Show.Show Data.RTCM3.Observations.Msg1001
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.Observation1001
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.Observation1001
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.Observation1001
instance GHC.Classes.Eq Data.RTCM3.Observations.Observation1001
instance GHC.Read.Read Data.RTCM3.Observations.Observation1001
instance GHC.Show.Show Data.RTCM3.Observations.Observation1001
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassBias
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassBias
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassBias
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassBias
instance GHC.Read.Read Data.RTCM3.Observations.GlonassBias
instance GHC.Show.Show Data.RTCM3.Observations.GlonassBias
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassL2ExtObservation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassL2ExtObservation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassL2ExtObservation
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassL2ExtObservation
instance GHC.Read.Read Data.RTCM3.Observations.GlonassL2ExtObservation
instance GHC.Show.Show Data.RTCM3.Observations.GlonassL2ExtObservation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassL2Observation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassL2Observation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassL2Observation
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassL2Observation
instance GHC.Read.Read Data.RTCM3.Observations.GlonassL2Observation
instance GHC.Show.Show Data.RTCM3.Observations.GlonassL2Observation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassL1ExtObservation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassL1ExtObservation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassL1ExtObservation
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassL1ExtObservation
instance GHC.Read.Read Data.RTCM3.Observations.GlonassL1ExtObservation
instance GHC.Show.Show Data.RTCM3.Observations.GlonassL1ExtObservation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassL1Observation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassL1Observation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassL1Observation
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassL1Observation
instance GHC.Read.Read Data.RTCM3.Observations.GlonassL1Observation
instance GHC.Show.Show Data.RTCM3.Observations.GlonassL1Observation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GlonassObservationHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GlonassObservationHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GlonassObservationHeader
instance GHC.Classes.Eq Data.RTCM3.Observations.GlonassObservationHeader
instance GHC.Read.Read Data.RTCM3.Observations.GlonassObservationHeader
instance GHC.Show.Show Data.RTCM3.Observations.GlonassObservationHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GpsL2ExtObservation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GpsL2ExtObservation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GpsL2ExtObservation
instance GHC.Classes.Eq Data.RTCM3.Observations.GpsL2ExtObservation
instance GHC.Read.Read Data.RTCM3.Observations.GpsL2ExtObservation
instance GHC.Show.Show Data.RTCM3.Observations.GpsL2ExtObservation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GpsL2Observation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GpsL2Observation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GpsL2Observation
instance GHC.Classes.Eq Data.RTCM3.Observations.GpsL2Observation
instance GHC.Read.Read Data.RTCM3.Observations.GpsL2Observation
instance GHC.Show.Show Data.RTCM3.Observations.GpsL2Observation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GpsL1ExtObservation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GpsL1ExtObservation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GpsL1ExtObservation
instance GHC.Classes.Eq Data.RTCM3.Observations.GpsL1ExtObservation
instance GHC.Read.Read Data.RTCM3.Observations.GpsL1ExtObservation
instance GHC.Show.Show Data.RTCM3.Observations.GpsL1ExtObservation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GpsL1Observation
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GpsL1Observation
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GpsL1Observation
instance GHC.Classes.Eq Data.RTCM3.Observations.GpsL1Observation
instance GHC.Read.Read Data.RTCM3.Observations.GpsL1Observation
instance GHC.Show.Show Data.RTCM3.Observations.GpsL1Observation
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Observations.GpsObservationHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Observations.GpsObservationHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Observations.GpsObservationHeader
instance GHC.Classes.Eq Data.RTCM3.Observations.GpsObservationHeader
instance GHC.Read.Read Data.RTCM3.Observations.GpsObservationHeader
instance GHC.Show.Show Data.RTCM3.Observations.GpsObservationHeader


-- | RTCMv3 messages for Multiple Signal Messages.
module Data.RTCM3.MSM

-- | MsmHeader.
--   
--   MSM observation header.
data MsmHeader
MsmHeader :: Word16 -> Word16 -> Word32 -> Bool -> Word8 -> Word8 -> Word8 -> Word8 -> Bool -> Word8 -> Word64 -> Word32 -> Word64 -> MsmHeader

-- | Message number.
[_msmHeader_num] :: MsmHeader -> Word16

-- | Reference station id.
[_msmHeader_station] :: MsmHeader -> Word16

-- | GNSS epoch time.
[_msmHeader_epoch] :: MsmHeader -> Word32

-- | Multiple message indicator.
[_msmHeader_multiple] :: MsmHeader -> Bool

-- | Issue of data station.
[_msmHeader_iods] :: MsmHeader -> Word8

-- | Reserved.
[_msmHeader_reserved] :: MsmHeader -> Word8

-- | Clock steering indicator.
[_msmHeader_clockSteering] :: MsmHeader -> Word8

-- | External clock indicator.
[_msmHeader_externalClock] :: MsmHeader -> Word8

-- | GNSS divergence-free smoothing indicator.
[_msmHeader_smoothing] :: MsmHeader -> Bool

-- | GNSS smoothing interval.
[_msmHeader_smoothingInterval] :: MsmHeader -> Word8

-- | GNSS satellite mask.
[_msmHeader_satelliteMask] :: MsmHeader -> Word64

-- | GNSS signal mask.
[_msmHeader_signalMask] :: MsmHeader -> Word32

-- | GNSS cell mask.
[_msmHeader_cellMask] :: MsmHeader -> Word64
msmHeader_cellMask :: Lens' MsmHeader Word64
msmHeader_clockSteering :: Lens' MsmHeader Word8
msmHeader_epoch :: Lens' MsmHeader Word32
msmHeader_externalClock :: Lens' MsmHeader Word8
msmHeader_iods :: Lens' MsmHeader Word8
msmHeader_multiple :: Lens' MsmHeader Bool
msmHeader_num :: Lens' MsmHeader Word16
msmHeader_reserved :: Lens' MsmHeader Word8
msmHeader_satelliteMask :: Lens' MsmHeader Word64
msmHeader_signalMask :: Lens' MsmHeader Word32
msmHeader_smoothing :: Lens' MsmHeader Bool
msmHeader_smoothingInterval :: Lens' MsmHeader Word8
msmHeader_station :: Lens' MsmHeader Word16

-- | Msm46SatelliteData.
--   
--   MSM46 satellite data.
data Msm46SatelliteData
Msm46SatelliteData :: [Word8] -> [Word16] -> Msm46SatelliteData

-- | The number of integer milliseconds in GNSS Satellite rough ranges.
[_msm46SatelliteData_ranges] :: Msm46SatelliteData -> [Word8]

-- | GNSS Satellite rough ranges modulo 1 millisecond.
[_msm46SatelliteData_rangesModulo] :: Msm46SatelliteData -> [Word16]
msm46SatelliteData_ranges :: Lens' Msm46SatelliteData [Word8]
msm46SatelliteData_rangesModulo :: Lens' Msm46SatelliteData [Word16]

-- | Msm57SatelliteData
--   
--   MSM57 satellite data.
data Msm57SatelliteData
Msm57SatelliteData :: [Word8] -> [Word8] -> [Word16] -> [Word16] -> Msm57SatelliteData

-- | The number of integer milliseconds in GNSS Satellite rough ranges.
[_msm57SatelliteData_ranges] :: Msm57SatelliteData -> [Word8]

-- | Extended satellite information.
[_msm57SatelliteData_extendeds] :: Msm57SatelliteData -> [Word8]

-- | GNSS Satellite rough ranges modulo 1 millisecond.
[_msm57SatelliteData_rangesModulo] :: Msm57SatelliteData -> [Word16]

-- | GNSS Satellite rough PhaseRangeRates.
[_msm57SatelliteData_phaseRangeRates] :: Msm57SatelliteData -> [Word16]

-- | Get Bits for Msm4SatelliteData.
getBitsMsm46SatelliteData :: Int -> BitGet Msm46SatelliteData

-- | Put Bits for Msm46SatelliteData.
putBitsMsm46SatelliteData :: Msm46SatelliteData -> BitPut ()
msm57SatelliteData_extendeds :: Lens' Msm57SatelliteData [Word8]
msm57SatelliteData_phaseRangeRates :: Lens' Msm57SatelliteData [Word16]
msm57SatelliteData_ranges :: Lens' Msm57SatelliteData [Word8]
msm57SatelliteData_rangesModulo :: Lens' Msm57SatelliteData [Word16]

-- | Msm4SignalData.
--   
--   MSM4 signal data.
data Msm4SignalData
Msm4SignalData :: [Int16] -> [Int32] -> [Word8] -> [Bool] -> [Word8] -> Msm4SignalData

-- | GNSS signal fine pseudoranges.
[_msm4SignalData_pseudoranges] :: Msm4SignalData -> [Int16]

-- | GNSS signal fine phaserange data.
[_msm4SignalData_phaseranges] :: Msm4SignalData -> [Int32]

-- | GNSS phaserange lock time indicators.
[_msm4SignalData_lockTimes] :: Msm4SignalData -> [Word8]

-- | Half-cycle ambiguity indicators.
[_msm4SignalData_halfCycles] :: Msm4SignalData -> [Bool]

-- | GNSS signal CNRs.
[_msm4SignalData_cnrs] :: Msm4SignalData -> [Word8]

-- | Get Bits for Msm57SatelliteData.
getBitsMsm57SatelliteData :: Int -> BitGet Msm57SatelliteData

-- | Put Bits for Msm4SatelliteData.
putBitsMsm57SatelliteData :: Msm57SatelliteData -> BitPut ()
msm4SignalData_cnrs :: Lens' Msm4SignalData [Word8]
msm4SignalData_halfCycles :: Lens' Msm4SignalData [Bool]
msm4SignalData_lockTimes :: Lens' Msm4SignalData [Word8]
msm4SignalData_phaseranges :: Lens' Msm4SignalData [Int32]
msm4SignalData_pseudoranges :: Lens' Msm4SignalData [Int16]

-- | Msm5SignalData.
--   
--   MSM5 signal data.
data Msm5SignalData
Msm5SignalData :: [Int16] -> [Int32] -> [Word8] -> [Bool] -> [Word8] -> [Int16] -> Msm5SignalData

-- | GNSS signal fine pseudoranges.
[_msm5SignalData_pseudoranges] :: Msm5SignalData -> [Int16]

-- | GNSS signal fine phaserange data.
[_msm5SignalData_phaseranges] :: Msm5SignalData -> [Int32]

-- | GNSS phaserange lock time indicators.
[_msm5SignalData_lockTimes] :: Msm5SignalData -> [Word8]

-- | Half-cycle ambiguity indicators.
[_msm5SignalData_halfCycles] :: Msm5SignalData -> [Bool]

-- | GNSS signal CNRs.
[_msm5SignalData_cnrs] :: Msm5SignalData -> [Word8]

-- | GNSS signal fine phaserangerates.
[_msm5SignalData_phaseRangeRates] :: Msm5SignalData -> [Int16]

-- | Get Bits for Msm4SignalData.
getBitsMsm4SignalData :: Int -> BitGet Msm4SignalData

-- | Put Bits for Msm4SignalData.
putBitsMsm4SignalData :: Msm4SignalData -> BitPut ()
msm5SignalData_cnrs :: Lens' Msm5SignalData [Word8]
msm5SignalData_halfCycles :: Lens' Msm5SignalData [Bool]
msm5SignalData_lockTimes :: Lens' Msm5SignalData [Word8]
msm5SignalData_phaseRangeRates :: Lens' Msm5SignalData [Int16]
msm5SignalData_phaseranges :: Lens' Msm5SignalData [Int32]
msm5SignalData_pseudoranges :: Lens' Msm5SignalData [Int16]

-- | Msm6SignalData.
--   
--   MSM6 signal data.
data Msm6SignalData
Msm6SignalData :: [Int32] -> [Int32] -> [Word16] -> [Bool] -> [Word16] -> Msm6SignalData

-- | GNSS signal fine pseudoranges.
[_msm6SignalData_pseudoranges] :: Msm6SignalData -> [Int32]

-- | GNSS signal fine phaserange data.
[_msm6SignalData_phaseranges] :: Msm6SignalData -> [Int32]

-- | GNSS phaserange lock time indicators.
[_msm6SignalData_lockTimes] :: Msm6SignalData -> [Word16]

-- | Half-cycle ambiguity indicators.
[_msm6SignalData_halfCycles] :: Msm6SignalData -> [Bool]

-- | GNSS signal CNRs.
[_msm6SignalData_cnrs] :: Msm6SignalData -> [Word16]

-- | Get Bits for Msm5SignalData.
getBitsMsm5SignalData :: Int -> BitGet Msm5SignalData

-- | Put Bits for Msm5SignalData.
putBitsMsm5SignalData :: Msm5SignalData -> BitPut ()
msm6SignalData_cnrs :: Lens' Msm6SignalData [Word16]
msm6SignalData_halfCycles :: Lens' Msm6SignalData [Bool]
msm6SignalData_lockTimes :: Lens' Msm6SignalData [Word16]
msm6SignalData_phaseranges :: Lens' Msm6SignalData [Int32]
msm6SignalData_pseudoranges :: Lens' Msm6SignalData [Int32]

-- | Msm7SignalData.
--   
--   MSM7 signal data.
data Msm7SignalData
Msm7SignalData :: [Int32] -> [Int32] -> [Word16] -> [Bool] -> [Word16] -> [Int16] -> Msm7SignalData

-- | GNSS signal fine pseudoranges.
[_msm7SignalData_pseudoranges] :: Msm7SignalData -> [Int32]

-- | GNSS signal fine phaserange data.
[_msm7SignalData_phaseranges] :: Msm7SignalData -> [Int32]

-- | GNSS phaserange lock time indicators.
[_msm7SignalData_lockTimes] :: Msm7SignalData -> [Word16]

-- | Half-cycle ambiguity indicators.
[_msm7SignalData_halfCycles] :: Msm7SignalData -> [Bool]

-- | GNSS signal CNRs.
[_msm7SignalData_cnrs] :: Msm7SignalData -> [Word16]

-- | GNSS signal fine phaserangerates.
[_msm7SignalData_phaseRangeRates] :: Msm7SignalData -> [Int16]

-- | Get Bits for Msm6SignalData.
getBitsMsm6SignalData :: Int -> BitGet Msm6SignalData

-- | Put Bits for Msm6SignalData.
putBitsMsm6SignalData :: Msm6SignalData -> BitPut ()
msm7SignalData_cnrs :: Lens' Msm7SignalData [Word16]
msm7SignalData_halfCycles :: Lens' Msm7SignalData [Bool]
msm7SignalData_lockTimes :: Lens' Msm7SignalData [Word16]
msm7SignalData_phaseRangeRates :: Lens' Msm7SignalData [Int16]
msm7SignalData_phaseranges :: Lens' Msm7SignalData [Int32]
msm7SignalData_pseudoranges :: Lens' Msm7SignalData [Int32]

-- | Message 1074
--   
--   RTCMv3 message 1074.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1074
Msg1074 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1074

-- | MSM header.
[_msg1074_header] :: Msg1074 -> MsmHeader

-- | MSM satellite data.
[_msg1074_satelliteData] :: Msg1074 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1074_signalData] :: Msg1074 -> Msm4SignalData

-- | Get Bits for Msm7SignalData.
getBitsMsm7SignalData :: Int -> BitGet Msm7SignalData

-- | Put Bits for Msm7SignalData.
putBitsMsm7SignalData :: Msm7SignalData -> BitPut ()
msg1074 :: Word16
msg1074_header :: Lens' Msg1074 MsmHeader
msg1074_satelliteData :: Lens' Msg1074 Msm46SatelliteData
msg1074_signalData :: Lens' Msg1074 Msm4SignalData

-- | Message 1075
--   
--   RTCMv3 message 1075.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1075
Msg1075 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1075

-- | MSM header.
[_msg1075_header] :: Msg1075 -> MsmHeader

-- | MSM satellite data.
[_msg1075_satelliteData] :: Msg1075 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1075_signalData] :: Msg1075 -> Msm5SignalData
msg1075 :: Word16
msg1075_header :: Lens' Msg1075 MsmHeader
msg1075_satelliteData :: Lens' Msg1075 Msm57SatelliteData
msg1075_signalData :: Lens' Msg1075 Msm5SignalData

-- | Message 1076
--   
--   RTCMv3 message 1076.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1076
Msg1076 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1076

-- | MSM header.
[_msg1076_header] :: Msg1076 -> MsmHeader

-- | MSM satellite data.
[_msg1076_satelliteData] :: Msg1076 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1076_signalData] :: Msg1076 -> Msm6SignalData
msg1076 :: Word16
msg1076_header :: Lens' Msg1076 MsmHeader
msg1076_satelliteData :: Lens' Msg1076 Msm46SatelliteData
msg1076_signalData :: Lens' Msg1076 Msm6SignalData

-- | Message 1077
--   
--   RTCMv3 message 1077.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1077
Msg1077 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1077

-- | MSM header.
[_msg1077_header] :: Msg1077 -> MsmHeader

-- | MSM satellite data.
[_msg1077_satelliteData] :: Msg1077 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1077_signalData] :: Msg1077 -> Msm7SignalData
msg1077 :: Word16
msg1077_header :: Lens' Msg1077 MsmHeader
msg1077_satelliteData :: Lens' Msg1077 Msm57SatelliteData
msg1077_signalData :: Lens' Msg1077 Msm7SignalData

-- | Message 1084
--   
--   RTCMv3 message 1084.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1084
Msg1084 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1084

-- | MSM header.
[_msg1084_header] :: Msg1084 -> MsmHeader

-- | MSM satellite data.
[_msg1084_satelliteData] :: Msg1084 -> Msm46SatelliteData

-- | MSM satellite data.
[_msg1084_signalData] :: Msg1084 -> Msm4SignalData
msg1084 :: Word16
msg1084_header :: Lens' Msg1084 MsmHeader
msg1084_satelliteData :: Lens' Msg1084 Msm46SatelliteData
msg1084_signalData :: Lens' Msg1084 Msm4SignalData

-- | Message 1085
--   
--   RTCMv3 message 1085.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1085
Msg1085 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1085

-- | MSM header.
[_msg1085_header] :: Msg1085 -> MsmHeader

-- | MSM satellite data.
[_msg1085_satelliteData] :: Msg1085 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1085_signalData] :: Msg1085 -> Msm5SignalData
msg1085 :: Word16
msg1085_header :: Lens' Msg1085 MsmHeader
msg1085_satelliteData :: Lens' Msg1085 Msm57SatelliteData
msg1085_signalData :: Lens' Msg1085 Msm5SignalData

-- | Message 1086
--   
--   RTCMv3 message 1086.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1086
Msg1086 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1086

-- | MSM header.
[_msg1086_header] :: Msg1086 -> MsmHeader

-- | MSM satellite data.
[_msg1086_satelliteData] :: Msg1086 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1086_signalData] :: Msg1086 -> Msm6SignalData
msg1086 :: Word16
msg1086_header :: Lens' Msg1086 MsmHeader
msg1086_satelliteData :: Lens' Msg1086 Msm46SatelliteData
msg1086_signalData :: Lens' Msg1086 Msm6SignalData

-- | Message 1087
--   
--   RTCMv3 message 1087.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1087
Msg1087 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1087

-- | MSM header.
[_msg1087_header] :: Msg1087 -> MsmHeader

-- | MSM satellite data.
[_msg1087_satelliteData] :: Msg1087 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1087_signalData] :: Msg1087 -> Msm7SignalData
msg1087 :: Word16
msg1087_header :: Lens' Msg1087 MsmHeader
msg1087_satelliteData :: Lens' Msg1087 Msm57SatelliteData
msg1087_signalData :: Lens' Msg1087 Msm7SignalData

-- | Message 1094
--   
--   RTCMv3 message 1094.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1094
Msg1094 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1094

-- | MSM header.
[_msg1094_header] :: Msg1094 -> MsmHeader

-- | MSM satellite data.
[_msg1094_satelliteData] :: Msg1094 -> Msm46SatelliteData

-- | MSM satellite data.
[_msg1094_signalData] :: Msg1094 -> Msm4SignalData
msg1094 :: Word16
msg1094_header :: Lens' Msg1094 MsmHeader
msg1094_satelliteData :: Lens' Msg1094 Msm46SatelliteData
msg1094_signalData :: Lens' Msg1094 Msm4SignalData

-- | Message 1095
--   
--   RTCMv3 message 1095.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1095
Msg1095 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1095

-- | MSM header.
[_msg1095_header] :: Msg1095 -> MsmHeader

-- | MSM satellite data.
[_msg1095_satelliteData] :: Msg1095 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1095_signalData] :: Msg1095 -> Msm5SignalData
msg1095 :: Word16
msg1095_header :: Lens' Msg1095 MsmHeader
msg1095_satelliteData :: Lens' Msg1095 Msm57SatelliteData
msg1095_signalData :: Lens' Msg1095 Msm5SignalData

-- | Message 1096
--   
--   RTCMv3 message 1096.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1096
Msg1096 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1096

-- | MSM header.
[_msg1096_header] :: Msg1096 -> MsmHeader

-- | MSM satellite data.
[_msg1096_satelliteData] :: Msg1096 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1096_signalData] :: Msg1096 -> Msm6SignalData
msg1096 :: Word16
msg1096_header :: Lens' Msg1096 MsmHeader
msg1096_satelliteData :: Lens' Msg1096 Msm46SatelliteData
msg1096_signalData :: Lens' Msg1096 Msm6SignalData

-- | Message 1097
--   
--   RTCMv3 message 1097.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1097
Msg1097 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1097

-- | MSM header.
[_msg1097_header] :: Msg1097 -> MsmHeader

-- | MSM satellite data.
[_msg1097_satelliteData] :: Msg1097 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1097_signalData] :: Msg1097 -> Msm7SignalData
msg1097 :: Word16
msg1097_header :: Lens' Msg1097 MsmHeader
msg1097_satelliteData :: Lens' Msg1097 Msm57SatelliteData
msg1097_signalData :: Lens' Msg1097 Msm7SignalData

-- | Message 1104
--   
--   RTCMv3 message 1104.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1104
Msg1104 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1104

-- | MSM header.
[_msg1104_header] :: Msg1104 -> MsmHeader

-- | MSM satellite data.
[_msg1104_satelliteData] :: Msg1104 -> Msm46SatelliteData

-- | MSM satellite data.
[_msg1104_signalData] :: Msg1104 -> Msm4SignalData
msg1104 :: Word16
msg1104_header :: Lens' Msg1104 MsmHeader
msg1104_satelliteData :: Lens' Msg1104 Msm46SatelliteData
msg1104_signalData :: Lens' Msg1104 Msm4SignalData

-- | Message 1105
--   
--   RTCMv3 message 1105.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1105
Msg1105 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1105

-- | MSM header.
[_msg1105_header] :: Msg1105 -> MsmHeader

-- | MSM satellite data.
[_msg1105_satelliteData] :: Msg1105 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1105_signalData] :: Msg1105 -> Msm5SignalData
msg1105 :: Word16
msg1105_header :: Lens' Msg1105 MsmHeader
msg1105_satelliteData :: Lens' Msg1105 Msm57SatelliteData
msg1105_signalData :: Lens' Msg1105 Msm5SignalData

-- | Message 1106
--   
--   RTCMv3 message 1106.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1106
Msg1106 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1106

-- | MSM header.
[_msg1106_header] :: Msg1106 -> MsmHeader

-- | MSM satellite data.
[_msg1106_satelliteData] :: Msg1106 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1106_signalData] :: Msg1106 -> Msm6SignalData
msg1106 :: Word16
msg1106_header :: Lens' Msg1106 MsmHeader
msg1106_satelliteData :: Lens' Msg1106 Msm46SatelliteData
msg1106_signalData :: Lens' Msg1106 Msm6SignalData

-- | Message 1107
--   
--   RTCMv3 message 1107.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1107
Msg1107 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1107

-- | MSM header.
[_msg1107_header] :: Msg1107 -> MsmHeader

-- | MSM satellite data.
[_msg1107_satelliteData] :: Msg1107 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1107_signalData] :: Msg1107 -> Msm7SignalData
msg1107 :: Word16
msg1107_header :: Lens' Msg1107 MsmHeader
msg1107_satelliteData :: Lens' Msg1107 Msm57SatelliteData
msg1107_signalData :: Lens' Msg1107 Msm7SignalData

-- | Message 1114
--   
--   RTCMv3 message 1114.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1114
Msg1114 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1114

-- | MSM header.
[_msg1114_header] :: Msg1114 -> MsmHeader

-- | MSM satellite data.
[_msg1114_satelliteData] :: Msg1114 -> Msm46SatelliteData

-- | MSM satellite data.
[_msg1114_signalData] :: Msg1114 -> Msm4SignalData
msg1114 :: Word16
msg1114_header :: Lens' Msg1114 MsmHeader
msg1114_satelliteData :: Lens' Msg1114 Msm46SatelliteData
msg1114_signalData :: Lens' Msg1114 Msm4SignalData

-- | Message 1115
--   
--   RTCMv3 message 1115.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1115
Msg1115 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1115

-- | MSM header.
[_msg1115_header] :: Msg1115 -> MsmHeader

-- | MSM satellite data.
[_msg1115_satelliteData] :: Msg1115 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1115_signalData] :: Msg1115 -> Msm5SignalData
msg1115 :: Word16
msg1115_header :: Lens' Msg1115 MsmHeader
msg1115_satelliteData :: Lens' Msg1115 Msm57SatelliteData
msg1115_signalData :: Lens' Msg1115 Msm5SignalData

-- | Message 1116
--   
--   RTCMv3 message 1116.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1116
Msg1116 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1116

-- | MSM header.
[_msg1116_header] :: Msg1116 -> MsmHeader

-- | MSM satellite data.
[_msg1116_satelliteData] :: Msg1116 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1116_signalData] :: Msg1116 -> Msm6SignalData
msg1116 :: Word16
msg1116_header :: Lens' Msg1116 MsmHeader
msg1116_satelliteData :: Lens' Msg1116 Msm46SatelliteData
msg1116_signalData :: Lens' Msg1116 Msm6SignalData

-- | Message 1117
--   
--   RTCMv3 message 1117.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1117
Msg1117 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1117

-- | MSM header.
[_msg1117_header] :: Msg1117 -> MsmHeader

-- | MSM satellite data.
[_msg1117_satelliteData] :: Msg1117 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1117_signalData] :: Msg1117 -> Msm7SignalData
msg1117 :: Word16
msg1117_header :: Lens' Msg1117 MsmHeader
msg1117_satelliteData :: Lens' Msg1117 Msm57SatelliteData
msg1117_signalData :: Lens' Msg1117 Msm7SignalData

-- | Message 1124
--   
--   RTCMv3 message 1124.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1124
Msg1124 :: MsmHeader -> Msm46SatelliteData -> Msm4SignalData -> Msg1124

-- | MSM header.
[_msg1124_header] :: Msg1124 -> MsmHeader

-- | MSM satellite data.
[_msg1124_satelliteData] :: Msg1124 -> Msm46SatelliteData

-- | MSM satellite data.
[_msg1124_signalData] :: Msg1124 -> Msm4SignalData
msg1124 :: Word16
msg1124_header :: Lens' Msg1124 MsmHeader
msg1124_satelliteData :: Lens' Msg1124 Msm46SatelliteData
msg1124_signalData :: Lens' Msg1124 Msm4SignalData

-- | Message 1125
--   
--   RTCMv3 message 1125.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1125
Msg1125 :: MsmHeader -> Msm57SatelliteData -> Msm5SignalData -> Msg1125

-- | MSM header.
[_msg1125_header] :: Msg1125 -> MsmHeader

-- | MSM satellite data.
[_msg1125_satelliteData] :: Msg1125 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1125_signalData] :: Msg1125 -> Msm5SignalData
msg1125 :: Word16
msg1125_header :: Lens' Msg1125 MsmHeader
msg1125_satelliteData :: Lens' Msg1125 Msm57SatelliteData
msg1125_signalData :: Lens' Msg1125 Msm5SignalData

-- | Message 1126
--   
--   RTCMv3 message 1126.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1126
Msg1126 :: MsmHeader -> Msm46SatelliteData -> Msm6SignalData -> Msg1126

-- | MSM header.
[_msg1126_header] :: Msg1126 -> MsmHeader

-- | MSM satellite data.
[_msg1126_satelliteData] :: Msg1126 -> Msm46SatelliteData

-- | MSM signal data.
[_msg1126_signalData] :: Msg1126 -> Msm6SignalData
msg1126 :: Word16
msg1126_header :: Lens' Msg1126 MsmHeader
msg1126_satelliteData :: Lens' Msg1126 Msm46SatelliteData
msg1126_signalData :: Lens' Msg1126 Msm6SignalData

-- | Message 1127
--   
--   RTCMv3 message 1127.
--   
--   See RTCM spec and MSM signal specification for more information about
--   these fields.
data Msg1127
Msg1127 :: MsmHeader -> Msm57SatelliteData -> Msm7SignalData -> Msg1127

-- | MSM header.
[_msg1127_header] :: Msg1127 -> MsmHeader

-- | MSM satellite data.
[_msg1127_satelliteData] :: Msg1127 -> Msm57SatelliteData

-- | MSM signal data.
[_msg1127_signalData] :: Msg1127 -> Msm7SignalData
msg1127 :: Word16
msg1127_header :: Lens' Msg1127 MsmHeader
msg1127_satelliteData :: Lens' Msg1127 Msm57SatelliteData
msg1127_signalData :: Lens' Msg1127 Msm7SignalData
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1127
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1127
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1127
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1127
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1127
instance GHC.Read.Read Data.RTCM3.MSM.Msg1127
instance GHC.Show.Show Data.RTCM3.MSM.Msg1127
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1126
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1126
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1126
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1126
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1126
instance GHC.Read.Read Data.RTCM3.MSM.Msg1126
instance GHC.Show.Show Data.RTCM3.MSM.Msg1126
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1125
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1125
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1125
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1125
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1125
instance GHC.Read.Read Data.RTCM3.MSM.Msg1125
instance GHC.Show.Show Data.RTCM3.MSM.Msg1125
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1124
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1124
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1124
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1124
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1124
instance GHC.Read.Read Data.RTCM3.MSM.Msg1124
instance GHC.Show.Show Data.RTCM3.MSM.Msg1124
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1117
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1117
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1117
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1117
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1117
instance GHC.Read.Read Data.RTCM3.MSM.Msg1117
instance GHC.Show.Show Data.RTCM3.MSM.Msg1117
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1116
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1116
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1116
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1116
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1116
instance GHC.Read.Read Data.RTCM3.MSM.Msg1116
instance GHC.Show.Show Data.RTCM3.MSM.Msg1116
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1115
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1115
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1115
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1115
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1115
instance GHC.Read.Read Data.RTCM3.MSM.Msg1115
instance GHC.Show.Show Data.RTCM3.MSM.Msg1115
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1114
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1114
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1114
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1114
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1114
instance GHC.Read.Read Data.RTCM3.MSM.Msg1114
instance GHC.Show.Show Data.RTCM3.MSM.Msg1114
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1107
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1107
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1107
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1107
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1107
instance GHC.Read.Read Data.RTCM3.MSM.Msg1107
instance GHC.Show.Show Data.RTCM3.MSM.Msg1107
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1106
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1106
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1106
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1106
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1106
instance GHC.Read.Read Data.RTCM3.MSM.Msg1106
instance GHC.Show.Show Data.RTCM3.MSM.Msg1106
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1105
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1105
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1105
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1105
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1105
instance GHC.Read.Read Data.RTCM3.MSM.Msg1105
instance GHC.Show.Show Data.RTCM3.MSM.Msg1105
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1104
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1104
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1104
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1104
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1104
instance GHC.Read.Read Data.RTCM3.MSM.Msg1104
instance GHC.Show.Show Data.RTCM3.MSM.Msg1104
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1097
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1097
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1097
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1097
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1097
instance GHC.Read.Read Data.RTCM3.MSM.Msg1097
instance GHC.Show.Show Data.RTCM3.MSM.Msg1097
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1096
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1096
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1096
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1096
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1096
instance GHC.Read.Read Data.RTCM3.MSM.Msg1096
instance GHC.Show.Show Data.RTCM3.MSM.Msg1096
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1095
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1095
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1095
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1095
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1095
instance GHC.Read.Read Data.RTCM3.MSM.Msg1095
instance GHC.Show.Show Data.RTCM3.MSM.Msg1095
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1094
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1094
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1094
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1094
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1094
instance GHC.Read.Read Data.RTCM3.MSM.Msg1094
instance GHC.Show.Show Data.RTCM3.MSM.Msg1094
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1087
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1087
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1087
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1087
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1087
instance GHC.Read.Read Data.RTCM3.MSM.Msg1087
instance GHC.Show.Show Data.RTCM3.MSM.Msg1087
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1086
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1086
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1086
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1086
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1086
instance GHC.Read.Read Data.RTCM3.MSM.Msg1086
instance GHC.Show.Show Data.RTCM3.MSM.Msg1086
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1085
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1085
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1085
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1085
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1085
instance GHC.Read.Read Data.RTCM3.MSM.Msg1085
instance GHC.Show.Show Data.RTCM3.MSM.Msg1085
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1084
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1084
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1084
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1084
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1084
instance GHC.Read.Read Data.RTCM3.MSM.Msg1084
instance GHC.Show.Show Data.RTCM3.MSM.Msg1084
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1077
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1077
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1077
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1077
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1077
instance GHC.Read.Read Data.RTCM3.MSM.Msg1077
instance GHC.Show.Show Data.RTCM3.MSM.Msg1077
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1076
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1076
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1076
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1076
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1076
instance GHC.Read.Read Data.RTCM3.MSM.Msg1076
instance GHC.Show.Show Data.RTCM3.MSM.Msg1076
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1075
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1075
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1075
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1075
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1075
instance GHC.Read.Read Data.RTCM3.MSM.Msg1075
instance GHC.Show.Show Data.RTCM3.MSM.Msg1075
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.MSM.Msg1074
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msg1074
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msg1074
instance Data.Binary.Class.Binary Data.RTCM3.MSM.Msg1074
instance GHC.Classes.Eq Data.RTCM3.MSM.Msg1074
instance GHC.Read.Read Data.RTCM3.MSM.Msg1074
instance GHC.Show.Show Data.RTCM3.MSM.Msg1074
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm7SignalData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm7SignalData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm7SignalData
instance GHC.Read.Read Data.RTCM3.MSM.Msm7SignalData
instance GHC.Show.Show Data.RTCM3.MSM.Msm7SignalData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm6SignalData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm6SignalData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm6SignalData
instance GHC.Read.Read Data.RTCM3.MSM.Msm6SignalData
instance GHC.Show.Show Data.RTCM3.MSM.Msm6SignalData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm5SignalData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm5SignalData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm5SignalData
instance GHC.Read.Read Data.RTCM3.MSM.Msm5SignalData
instance GHC.Show.Show Data.RTCM3.MSM.Msm5SignalData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm4SignalData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm4SignalData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm4SignalData
instance GHC.Read.Read Data.RTCM3.MSM.Msm4SignalData
instance GHC.Show.Show Data.RTCM3.MSM.Msm4SignalData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm57SatelliteData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm57SatelliteData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm57SatelliteData
instance GHC.Read.Read Data.RTCM3.MSM.Msm57SatelliteData
instance GHC.Show.Show Data.RTCM3.MSM.Msm57SatelliteData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.Msm46SatelliteData
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.Msm46SatelliteData
instance GHC.Classes.Eq Data.RTCM3.MSM.Msm46SatelliteData
instance GHC.Read.Read Data.RTCM3.MSM.Msm46SatelliteData
instance GHC.Show.Show Data.RTCM3.MSM.Msm46SatelliteData
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.MSM.MsmHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.MSM.MsmHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.MSM.MsmHeader
instance GHC.Classes.Eq Data.RTCM3.MSM.MsmHeader
instance GHC.Read.Read Data.RTCM3.MSM.MsmHeader
instance GHC.Show.Show Data.RTCM3.MSM.MsmHeader


-- | RTCMv3 Ephemerides messages
module Data.RTCM3.Ephemerides

-- | GpsEphemerisHeader.
--   
--   GPS and Glonass Ephemeris header.
data GpsEphemerisHeader
GpsEphemerisHeader :: Word16 -> Word8 -> GpsEphemerisHeader

-- | Message number.
[_gpsEphemerisHeader_num] :: GpsEphemerisHeader -> Word16

-- | GPS/Glonass satellite ID.
[_gpsEphemerisHeader_sat] :: GpsEphemerisHeader -> Word8
gpsEphemerisHeader_num :: Lens' GpsEphemerisHeader Word16
gpsEphemerisHeader_sat :: Lens' GpsEphemerisHeader Word8
data GpsEphemeris
GpsEphemeris :: Word16 -> Word8 -> Word8 -> Int16 -> Word8 -> Word16 -> Int8 -> Int16 -> Int32 -> Word16 -> Int16 -> Int16 -> Int32 -> Int16 -> Word32 -> Int16 -> Word32 -> Word16 -> Int16 -> Int32 -> Int16 -> Int32 -> Int16 -> Int32 -> Int32 -> Int8 -> Word8 -> Bool -> Bool -> GpsEphemeris

-- | GPS week number, mod 1024 (0-1023).
[_gpsEphemeris_wn] :: GpsEphemeris -> Word16

-- | GPS SV accuracy
[_gpsEphemeris_svAccuracy] :: GpsEphemeris -> Word8

-- | GPS code on L2: 00 reserved, 01 P code on, 10 C/A code on, 11 L2C on.
[_gpsEphemeris_codeOnL2] :: GpsEphemeris -> Word8

-- | GPS IDOT (rate of inclination angle). Unit: semi-circles/sec. Scale
--   factor: 2^(-43)
[_gpsEphemeris_idot] :: GpsEphemeris -> Int16

-- | GPS IODE.
[_gpsEphemeris_iode] :: GpsEphemeris -> Word8

-- | GPS t_oc. Unit: Seconds. Scale factor: 2^4
[_gpsEphemeris_toc] :: GpsEphemeris -> Word16

-- | GPS a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
[_gpsEphemeris_af2] :: GpsEphemeris -> Int8

-- | GPS a_f1. Unit: sec/sec. Scale factor: 2^(-43)
[_gpsEphemeris_af1] :: GpsEphemeris -> Int16

-- | GPS a_f0. Unit: seconds. Scale factor: 2^(-31)
[_gpsEphemeris_af0] :: GpsEphemeris -> Int32

-- | GPS iodc.
[_gpsEphemeris_iodc] :: GpsEphemeris -> Word16

-- | GPS C_rs. Unit: Meters. Scale factor: 2^(-5)
[_gpsEphemeris_c_rs] :: GpsEphemeris -> Int16

-- | GPS delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
[_gpsEphemeris_dn] :: GpsEphemeris -> Int16

-- | GPS M_0. Unit: semi-circles. Scale factor: 2^(-31)
[_gpsEphemeris_m0] :: GpsEphemeris -> Int32

-- | GPS C_uc. Unit: radians. Scale factor: 2^(-29)
[_gpsEphemeris_c_uc] :: GpsEphemeris -> Int16

-- | GPS Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
[_gpsEphemeris_ecc] :: GpsEphemeris -> Word32

-- | GPS C_us. Unit: radians. Scale factor: 2^(-29)
[_gpsEphemeris_c_us] :: GpsEphemeris -> Int16

-- | GPS A^(1<i>2). Unit: meters^(1</i>2). Scale factor: 2^(-19)
[_gpsEphemeris_sqrta] :: GpsEphemeris -> Word32

-- | GPS t_oe. Unit: seconds. Scale factor: 2^4
[_gpsEphemeris_toe] :: GpsEphemeris -> Word16

-- | GPS C_ic. Unit: radians. Scale factor: 2^(-29)
[_gpsEphemeris_c_ic] :: GpsEphemeris -> Int16

-- | GPS Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
[_gpsEphemeris_omega0] :: GpsEphemeris -> Int32

-- | GPS C_is. Unit: radians. Scale factor: 2^(-29)
[_gpsEphemeris_c_is] :: GpsEphemeris -> Int16

-- | GPS i_0 (inclination angle at reference time; inc). Unit:
--   semi-circles. Scale factor: 2^(-31)
[_gpsEphemeris_i0] :: GpsEphemeris -> Int32

-- | GPS C_rc. Unit: meters. Scale factor: 2^(-5)
[_gpsEphemeris_c_rc] :: GpsEphemeris -> Int16

-- | GPS Argument of Perigee (omega, w). Unit: semi-circles. Scale factor:
--   2^(-31)
[_gpsEphemeris_w] :: GpsEphemeris -> Int32

-- | GPS Omegadot - rate or right ascension. Unit: semi-circles/sec. Scale
--   factor: 2^(-43)
[_gpsEphemeris_omegadot] :: GpsEphemeris -> Int32

-- | GPS t_GD. Unit: seconds. Scale factor: 2^(-31)
[_gpsEphemeris_tgd] :: GpsEphemeris -> Int8

-- | GPS SV health
[_gpsEphemeris_svHealth] :: GpsEphemeris -> Word8

-- | GPS L2P data flag
[_gpsEphemeris_l2pFlag] :: GpsEphemeris -> Bool

-- | GPS fit interval
[_gpsEphemeris_fitInterval] :: GpsEphemeris -> Bool
gpsEphemeris_af0 :: Lens' GpsEphemeris Int32
gpsEphemeris_af1 :: Lens' GpsEphemeris Int16
gpsEphemeris_af2 :: Lens' GpsEphemeris Int8
gpsEphemeris_c_ic :: Lens' GpsEphemeris Int16
gpsEphemeris_c_is :: Lens' GpsEphemeris Int16
gpsEphemeris_c_rc :: Lens' GpsEphemeris Int16
gpsEphemeris_c_rs :: Lens' GpsEphemeris Int16
gpsEphemeris_c_uc :: Lens' GpsEphemeris Int16
gpsEphemeris_c_us :: Lens' GpsEphemeris Int16
gpsEphemeris_codeOnL2 :: Lens' GpsEphemeris Word8
gpsEphemeris_dn :: Lens' GpsEphemeris Int16
gpsEphemeris_ecc :: Lens' GpsEphemeris Word32
gpsEphemeris_fitInterval :: Lens' GpsEphemeris Bool
gpsEphemeris_i0 :: Lens' GpsEphemeris Int32
gpsEphemeris_idot :: Lens' GpsEphemeris Int16
gpsEphemeris_iodc :: Lens' GpsEphemeris Word16
gpsEphemeris_iode :: Lens' GpsEphemeris Word8
gpsEphemeris_l2pFlag :: Lens' GpsEphemeris Bool
gpsEphemeris_m0 :: Lens' GpsEphemeris Int32
gpsEphemeris_omega0 :: Lens' GpsEphemeris Int32
gpsEphemeris_omegadot :: Lens' GpsEphemeris Int32
gpsEphemeris_sqrta :: Lens' GpsEphemeris Word32
gpsEphemeris_svAccuracy :: Lens' GpsEphemeris Word8
gpsEphemeris_svHealth :: Lens' GpsEphemeris Word8
gpsEphemeris_tgd :: Lens' GpsEphemeris Int8
gpsEphemeris_toc :: Lens' GpsEphemeris Word16
gpsEphemeris_toe :: Lens' GpsEphemeris Word16
gpsEphemeris_w :: Lens' GpsEphemeris Int32
gpsEphemeris_wn :: Lens' GpsEphemeris Word16
data GlonassEphemerisHeader
GlonassEphemerisHeader :: Word16 -> Word8 -> Word8 -> GlonassEphemerisHeader

-- | RTCM message number
[_glonassEphemerisHeader_num] :: GlonassEphemerisHeader -> Word16

-- | GLONASS Satellite ID (slot number)
[_glonassEphemerisHeader_sat] :: GlonassEphemerisHeader -> Word8

-- | Satellite frequency channel number
[_glonassEphemerisHeader_channel] :: GlonassEphemerisHeader -> Word8
glonassEphemerisHeader_channel :: Lens' GlonassEphemerisHeader Word8
glonassEphemerisHeader_num :: Lens' GlonassEphemerisHeader Word16
glonassEphemerisHeader_sat :: Lens' GlonassEphemerisHeader Word8
data GlonassEphemeris
GlonassEphemeris :: Bool -> Bool -> Word8 -> Word16 -> Bool -> Bool -> Word8 -> Int32 -> Int32 -> Int8 -> Int32 -> Int32 -> Int8 -> Int32 -> Int32 -> Int8 -> Bool -> Int16 -> Word8 -> Bool -> Int32 -> Int8 -> Word8 -> Bool -> Word8 -> Word16 -> Word8 -> Bool -> Word16 -> Int32 -> Word8 -> Int32 -> Bool -> Word8 -> GlonassEphemeris

-- | <tt>C_n</tt> word
[_glonassEphemeris_almanacHealth] :: GlonassEphemeris -> Bool

-- | Is GLONASS almanac health available?
[_glonassEphemeris_healthAvailability] :: GlonassEphemeris -> Bool

-- | GLONASS P1 word
[_glonassEphemeris_p1] :: GlonassEphemeris -> Word8

-- | Time referenced to the beginning of GLONASS subframe within the
--   current day. See DF107 on page 55 of the RTCM3.1 document for more
--   information.
[_glonassEphemeris_tk] :: GlonassEphemeris -> Word16

-- | MSB of B_n word: the ephemeris health flag
[_glonassEphemeris_bn_msb] :: GlonassEphemeris -> Bool

-- | GLONASS P2 word
[_glonassEphemeris_p2] :: GlonassEphemeris -> Bool

-- | Time to which GLONASS navigation data are referenced. Unit: 15 minutes
[_glonassEphemeris_tb] :: GlonassEphemeris -> Word8

-- | GLONASS <tt>x_n(t_b)</tt>, first time-derivative, given in PZ-90
--   datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_xndot] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>x_n(t_b)</tt>, given in PZ-90 datum. Unit: km Scale
--   factor: 2^(-11)
[_glonassEphemeris_xn] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>x_n(t_b)</tt>, second time-derivative, given in PZ-90
--   datum. Unit: km/s^2 Scale factor: 2^(-30)
[_glonassEphemeris_xndotdot] :: GlonassEphemeris -> Int8

-- | GLONASS <tt>y_n(t_b)</tt>, first time-derivative, given in PZ-90
--   datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_yndot] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>y_n(t_b)</tt>, given in PZ-90 datum. Unit: km Scale
--   factor: 2^(-11)
[_glonassEphemeris_yn] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>y_n(t_b)</tt>, second time-derivative, given in PZ-90
--   datum. Unit: km/s^2 Scale factor: 2^(-30)
[_glonassEphemeris_yndotdot] :: GlonassEphemeris -> Int8

-- | GLONASS <tt>z_n(t_b)</tt>, first time-derivative, given in PZ-90
--   datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_zndot] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>z_n(t_b)</tt>, given in PZ-90 datum. Unit: km Scale
--   factor: 2^(-11)
[_glonassEphemeris_zn] :: GlonassEphemeris -> Int32

-- | GLONASS <tt>z_n(t_b)</tt>, second time-derivative, given in PZ-90
--   datum. Unit: km/s^2 Scale factor: 2^(-30)
[_glonassEphemeris_zndotdot] :: GlonassEphemeris -> Int8

-- | GLONASS P3 word
[_glonassEphemeris_p3] :: GlonassEphemeris -> Bool

-- | Relative deviation of predicted carrier from nominal value. Scale
--   factor: 2^(-40)
[_glonassEphemeris_gammaN] :: GlonassEphemeris -> Int16

-- | GLONASS-M P-word
[_glonassEphemeris_mp] :: GlonassEphemeris -> Word8

-- | GLONASS-M I_n word extracted from third string of the subframe [this
--   is the extent of the explanation given in the RTCM document]
[_glonassEphemeris_mi3] :: GlonassEphemeris -> Bool

-- | GLONASS <tt>tau_n(t_b)</tt>, correction to the satellite time relative
--   to GLONASS system time. Units: seconds Scale factor: 2^(-30)
[_glonassEphemeris_tauN] :: GlonassEphemeris -> Int32

-- | GLONASS time difference between navigation RF signal transmitted in L2
--   sub-band and navigation RF signal transmitted in L1 sub-band Units:
--   seconds Scale factor: 2^(-30)
[_glonassEphemeris_mdeltatau] :: GlonassEphemeris -> Int8

-- | GLONASS E_n, age of GLONASS navigation data Units: days Scale factor:
--   1
[_glonassEphemeris_en] :: GlonassEphemeris -> Word8

-- | GLONASS-M P4 word
[_glonassEphemeris_mp4] :: GlonassEphemeris -> Bool

-- | GLONASS-M predicted satellite user range accuracy at time <tt>t_b</tt>
[_glonassEphemeris_mft] :: GlonassEphemeris -> Word8

-- | GLONASS_M calendar number of day within four-year interval starting
--   from the first of January in a leap year Units: days Scale factor: 1
[_glonassEphemeris_mnt] :: GlonassEphemeris -> Word16

-- | Type of GLONASS satellite: [<tt>01</tt>] -&gt; GLONASS-M [<tt>00</tt>]
--   -&gt; non-GLONASS-M
[_glonassEphemeris_mM] :: GlonassEphemeris -> Word8

-- | Are the remaining fields ("additional data") valid?
[_glonassEphemeris_additional] :: GlonassEphemeris -> Bool

-- | GLONASS calendar number of day within the four-year period to which
--   <tt>tau_c</tt> is referenced. Units: days Scale factor: 1
[_glonassEphemeris_nA] :: GlonassEphemeris -> Word16

-- | GLONASS <tt>tau_c</tt>: difference between GLONASS system time and
--   UTC(SU), referenced to <a>_glonassEphemeris_nA</a>. Units: seconds
--   Scale factor: 2^(-31)
[_glonassEphemeris_tauC] :: GlonassEphemeris -> Int32

-- | GLONASS-M <tt>N_4</tt>: four-year interval number starting from 1996
--   Units: 4 years
[_glonassEphemeris_mn4] :: GlonassEphemeris -> Word8

-- | GLONASS-M <tt>tau_gps</tt>: correction to GPS system time relative to
--   GLONASS system time. Units: seconds Scale factor: 2^(-30)
[_glonassEphemeris_mTauGps] :: GlonassEphemeris -> Int32

-- | GLONASS-M <tt>I_n</tt> word extracted from fifth string of the
--   subframe [this is the extent of the explanation given in the RTCM
--   document]
[_glonassEphemeris_mln5] :: GlonassEphemeris -> Bool

-- | Reserved field.
[_glonassEphemeris_reserved] :: GlonassEphemeris -> Word8
glonassEphemeris_additional :: Lens' GlonassEphemeris Bool
glonassEphemeris_almanacHealth :: Lens' GlonassEphemeris Bool
glonassEphemeris_bn_msb :: Lens' GlonassEphemeris Bool
glonassEphemeris_en :: Lens' GlonassEphemeris Word8
glonassEphemeris_gammaN :: Lens' GlonassEphemeris Int16
glonassEphemeris_healthAvailability :: Lens' GlonassEphemeris Bool
glonassEphemeris_mM :: Lens' GlonassEphemeris Word8
glonassEphemeris_mTauGps :: Lens' GlonassEphemeris Int32
glonassEphemeris_mdeltatau :: Lens' GlonassEphemeris Int8
glonassEphemeris_mft :: Lens' GlonassEphemeris Word8
glonassEphemeris_mi3 :: Lens' GlonassEphemeris Bool
glonassEphemeris_mln5 :: Lens' GlonassEphemeris Bool
glonassEphemeris_mn4 :: Lens' GlonassEphemeris Word8
glonassEphemeris_mnt :: Lens' GlonassEphemeris Word16
glonassEphemeris_mp :: Lens' GlonassEphemeris Word8
glonassEphemeris_mp4 :: Lens' GlonassEphemeris Bool
glonassEphemeris_nA :: Lens' GlonassEphemeris Word16
glonassEphemeris_p1 :: Lens' GlonassEphemeris Word8
glonassEphemeris_p2 :: Lens' GlonassEphemeris Bool
glonassEphemeris_p3 :: Lens' GlonassEphemeris Bool
glonassEphemeris_reserved :: Lens' GlonassEphemeris Word8
glonassEphemeris_tauC :: Lens' GlonassEphemeris Int32
glonassEphemeris_tauN :: Lens' GlonassEphemeris Int32
glonassEphemeris_tb :: Lens' GlonassEphemeris Word8
glonassEphemeris_tk :: Lens' GlonassEphemeris Word16
glonassEphemeris_xn :: Lens' GlonassEphemeris Int32
glonassEphemeris_xndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_xndotdot :: Lens' GlonassEphemeris Int8
glonassEphemeris_yn :: Lens' GlonassEphemeris Int32
glonassEphemeris_yndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_yndotdot :: Lens' GlonassEphemeris Int8
glonassEphemeris_zn :: Lens' GlonassEphemeris Int32
glonassEphemeris_zndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_zndotdot :: Lens' GlonassEphemeris Int8

-- | GalEphemerisHeader.
--   
--   Galileo Ephemeris header.
data GalEphemerisHeader
GalEphemerisHeader :: Word16 -> Word8 -> GalEphemerisHeader

-- | Message number.
[_galEphemerisHeader_num] :: GalEphemerisHeader -> Word16

-- | Galileo satellite ID.
[_galEphemerisHeader_sat] :: GalEphemerisHeader -> Word8
galEphemerisHeader_num :: Lens' GalEphemerisHeader Word16
galEphemerisHeader_sat :: Lens' GalEphemerisHeader Word8
data GalEphemerisFnav
GalEphemerisFnav :: Word16 -> Word16 -> Word8 -> Int16 -> Word16 -> Int8 -> Int32 -> Int32 -> Int16 -> Int16 -> Int32 -> Int16 -> Word32 -> Int16 -> Word32 -> Word16 -> Int16 -> Int32 -> Int16 -> Int32 -> Int16 -> Int32 -> Int32 -> Int16 -> Word8 -> Word8 -> Word8 -> GalEphemerisFnav

-- | Galileo week number, mod 1024 (0-1023).
[_galEphemerisFnav_wn] :: GalEphemerisFnav -> Word16

-- | Galileo IODnav.
[_galEphemerisFnav_iodnav] :: GalEphemerisFnav -> Word16

-- | Galileo SISA index
[_galEphemerisFnav_sisa] :: GalEphemerisFnav -> Word8

-- | Galileo IDOT (rate of inclination angle). Unit: semi-circles/sec.
--   Scale factor: 2^(-43)
[_galEphemerisFnav_idot] :: GalEphemerisFnav -> Int16

-- | Galileo t_oc. Unit: Seconds. Scale factor: 2^4
[_galEphemerisFnav_toc] :: GalEphemerisFnav -> Word16

-- | Galileo a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
[_galEphemerisFnav_af2] :: GalEphemerisFnav -> Int8

-- | Galileo a_f1. Unit: sec/sec. Scale factor: 2^(-43)
[_galEphemerisFnav_af1] :: GalEphemerisFnav -> Int32

-- | Galileo a_f0. Unit: seconds. Scale factor: 2^(-31)
[_galEphemerisFnav_af0] :: GalEphemerisFnav -> Int32

-- | Galileo C_rs. Unit: Meters. Scale factor: 2^(-5)
[_galEphemerisFnav_c_rs] :: GalEphemerisFnav -> Int16

-- | Galileo delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
[_galEphemerisFnav_dn] :: GalEphemerisFnav -> Int16

-- | Galileo M_0. Unit: semi-circles. Scale factor: 2^(-31)
[_galEphemerisFnav_m0] :: GalEphemerisFnav -> Int32

-- | Galileo C_uc. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisFnav_c_uc] :: GalEphemerisFnav -> Int16

-- | Galileo Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
[_galEphemerisFnav_ecc] :: GalEphemerisFnav -> Word32

-- | Galileo C_us. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisFnav_c_us] :: GalEphemerisFnav -> Int16

-- | Galileo A^(1<i>2). Unit: meters^(1</i>2). Scale factor: 2^(-19)
[_galEphemerisFnav_sqrta] :: GalEphemerisFnav -> Word32

-- | Galileo t_oe. Unit: seconds. Scale factor: 2^4
[_galEphemerisFnav_toe] :: GalEphemerisFnav -> Word16

-- | Galileo C_ic. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisFnav_c_ic] :: GalEphemerisFnav -> Int16

-- | Galileo Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
[_galEphemerisFnav_omega0] :: GalEphemerisFnav -> Int32

-- | Galileo C_is. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisFnav_c_is] :: GalEphemerisFnav -> Int16

-- | Galileo i_0 (inclination angle at reference time; inc). Unit:
--   semi-circles. Scale factor: 2^(-31)
[_galEphemerisFnav_i0] :: GalEphemerisFnav -> Int32

-- | Galileo C_rc. Unit: meters. Scale factor: 2^(-5)
[_galEphemerisFnav_c_rc] :: GalEphemerisFnav -> Int16

-- | Galileo Argument of Perigee (omega, w). Unit: semi-circles. Scale
--   factor: 2^(-31)
[_galEphemerisFnav_w] :: GalEphemerisFnav -> Int32

-- | Galileo Omegadot - rate or right ascension. Unit: semi-circles/sec.
--   Scale factor: 2^(-43)
[_galEphemerisFnav_omegadot] :: GalEphemerisFnav -> Int32

-- | Galileo E5a/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
[_galEphemerisFnav_bgdE5a] :: GalEphemerisFnav -> Int16

-- | Galileo nav health
[_galEphemerisFnav_nav_health] :: GalEphemerisFnav -> Word8

-- | Galileo signal validity
[_galEphemerisFnav_validity] :: GalEphemerisFnav -> Word8

-- | Reserved field.
[_galEphemerisFnav_reserved] :: GalEphemerisFnav -> Word8
galEphemerisFnav_af0 :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_af1 :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_af2 :: Lens' GalEphemerisFnav Int8
galEphemerisFnav_bgdE5a :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_ic :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_is :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_rc :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_rs :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_uc :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_c_us :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_dn :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_ecc :: Lens' GalEphemerisFnav Word32
galEphemerisFnav_i0 :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_idot :: Lens' GalEphemerisFnav Int16
galEphemerisFnav_iodnav :: Lens' GalEphemerisFnav Word16
galEphemerisFnav_m0 :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_nav_health :: Lens' GalEphemerisFnav Word8
galEphemerisFnav_omega0 :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_omegadot :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_reserved :: Lens' GalEphemerisFnav Word8
galEphemerisFnav_sisa :: Lens' GalEphemerisFnav Word8
galEphemerisFnav_sqrta :: Lens' GalEphemerisFnav Word32
galEphemerisFnav_toc :: Lens' GalEphemerisFnav Word16
galEphemerisFnav_toe :: Lens' GalEphemerisFnav Word16
galEphemerisFnav_validity :: Lens' GalEphemerisFnav Word8
galEphemerisFnav_w :: Lens' GalEphemerisFnav Int32
galEphemerisFnav_wn :: Lens' GalEphemerisFnav Word16
data GalEphemerisInav
GalEphemerisInav :: Word16 -> Word16 -> Word8 -> Int16 -> Word16 -> Int8 -> Int32 -> Int32 -> Int16 -> Int16 -> Int32 -> Int16 -> Word32 -> Int16 -> Word32 -> Word16 -> Int16 -> Int32 -> Int16 -> Int32 -> Int16 -> Int32 -> Int32 -> Int16 -> Int16 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> GalEphemerisInav

-- | Galileo week number, mod 1024 (0-1023).
[_galEphemerisInav_wn] :: GalEphemerisInav -> Word16

-- | Galileo IODnav.
[_galEphemerisInav_iodnav] :: GalEphemerisInav -> Word16

-- | Galileo SISA index
[_galEphemerisInav_sisa] :: GalEphemerisInav -> Word8

-- | Galileo IDOT (rate of inclination angle). Unit: semi-circles/sec.
--   Scale factor: 2^(-43)
[_galEphemerisInav_idot] :: GalEphemerisInav -> Int16

-- | Galileo t_oc. Unit: Seconds. Scale factor: 2^4
[_galEphemerisInav_toc] :: GalEphemerisInav -> Word16

-- | Galileo a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
[_galEphemerisInav_af2] :: GalEphemerisInav -> Int8

-- | Galileo a_f1. Unit: sec/sec. Scale factor: 2^(-43)
[_galEphemerisInav_af1] :: GalEphemerisInav -> Int32

-- | Galileo a_f0. Unit: seconds. Scale factor: 2^(-31)
[_galEphemerisInav_af0] :: GalEphemerisInav -> Int32

-- | Galileo C_rs. Unit: Meters. Scale factor: 2^(-5)
[_galEphemerisInav_c_rs] :: GalEphemerisInav -> Int16

-- | Galileo delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
[_galEphemerisInav_dn] :: GalEphemerisInav -> Int16

-- | Galileo M_0. Unit: semi-circles. Scale factor: 2^(-31)
[_galEphemerisInav_m0] :: GalEphemerisInav -> Int32

-- | Galileo C_uc. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisInav_c_uc] :: GalEphemerisInav -> Int16

-- | Galileo Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
[_galEphemerisInav_ecc] :: GalEphemerisInav -> Word32

-- | Galileo C_us. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisInav_c_us] :: GalEphemerisInav -> Int16

-- | Galileo A^(1<i>2). Unit: meters^(1</i>2). Scale factor: 2^(-19)
[_galEphemerisInav_sqrta] :: GalEphemerisInav -> Word32

-- | Galileo t_oe. Unit: seconds. Scale factor: 2^4
[_galEphemerisInav_toe] :: GalEphemerisInav -> Word16

-- | Galileo C_ic. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisInav_c_ic] :: GalEphemerisInav -> Int16

-- | Galileo Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
[_galEphemerisInav_omega0] :: GalEphemerisInav -> Int32

-- | Galileo C_is. Unit: radians. Scale factor: 2^(-29)
[_galEphemerisInav_c_is] :: GalEphemerisInav -> Int16

-- | Galileo i_0 (inclination angle at reference time; inc). Unit:
--   semi-circles. Scale factor: 2^(-31)
[_galEphemerisInav_i0] :: GalEphemerisInav -> Int32

-- | Galileo C_rc. Unit: meters. Scale factor: 2^(-5)
[_galEphemerisInav_c_rc] :: GalEphemerisInav -> Int16

-- | Galileo Argument of Perigee (omega, w). Unit: semi-circles. Scale
--   factor: 2^(-31)
[_galEphemerisInav_w] :: GalEphemerisInav -> Int32

-- | Galileo Omegadot - rate or right ascension. Unit: semi-circles/sec.
--   Scale factor: 2^(-43)
[_galEphemerisInav_omegadot] :: GalEphemerisInav -> Int32

-- | Galileo E5a/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
[_galEphemerisInav_bgdE5a] :: GalEphemerisInav -> Int16

-- | Galileo E5b/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
[_galEphemerisInav_bgdE5b] :: GalEphemerisInav -> Int16

-- | Galileo E5b signal health
[_galEphemerisInav_E5b_health] :: GalEphemerisInav -> Word8

-- | Galileo E5b data flag
[_galEphemerisInav_E5b_validity] :: GalEphemerisInav -> Word8

-- | Galileo E1b signal health
[_galEphemerisInav_E1b_health] :: GalEphemerisInav -> Word8

-- | Galileo E1b data flag
[_galEphemerisInav_E1b_validity] :: GalEphemerisInav -> Word8

-- | Reserved field.
[_galEphemerisInav_reserved] :: GalEphemerisInav -> Word8
galEphemerisInav_E1b_health :: Lens' GalEphemerisInav Word8
galEphemerisInav_E1b_validity :: Lens' GalEphemerisInav Word8
galEphemerisInav_E5b_health :: Lens' GalEphemerisInav Word8
galEphemerisInav_E5b_validity :: Lens' GalEphemerisInav Word8
galEphemerisInav_af0 :: Lens' GalEphemerisInav Int32
galEphemerisInav_af1 :: Lens' GalEphemerisInav Int32
galEphemerisInav_af2 :: Lens' GalEphemerisInav Int8
galEphemerisInav_bgdE5a :: Lens' GalEphemerisInav Int16
galEphemerisInav_bgdE5b :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_ic :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_is :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_rc :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_rs :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_uc :: Lens' GalEphemerisInav Int16
galEphemerisInav_c_us :: Lens' GalEphemerisInav Int16
galEphemerisInav_dn :: Lens' GalEphemerisInav Int16
galEphemerisInav_ecc :: Lens' GalEphemerisInav Word32
galEphemerisInav_i0 :: Lens' GalEphemerisInav Int32
galEphemerisInav_idot :: Lens' GalEphemerisInav Int16
galEphemerisInav_iodnav :: Lens' GalEphemerisInav Word16
galEphemerisInav_m0 :: Lens' GalEphemerisInav Int32
galEphemerisInav_omega0 :: Lens' GalEphemerisInav Int32
galEphemerisInav_omegadot :: Lens' GalEphemerisInav Int32
galEphemerisInav_reserved :: Lens' GalEphemerisInav Word8
galEphemerisInav_sisa :: Lens' GalEphemerisInav Word8
galEphemerisInav_sqrta :: Lens' GalEphemerisInav Word32
galEphemerisInav_toc :: Lens' GalEphemerisInav Word16
galEphemerisInav_toe :: Lens' GalEphemerisInav Word16
galEphemerisInav_w :: Lens' GalEphemerisInav Int32
galEphemerisInav_wn :: Lens' GalEphemerisInav Word16

-- | Msg 1019.
--   
--   RTCMv3 message 1019.
--   
--   See RTCM spec and GPS SPS Signal Specification, 2.4.3, for more
--   information about these fields.
data Msg1019
Msg1019 :: GpsEphemerisHeader -> GpsEphemeris -> Msg1019

-- | GPS ephemeris header.
[_msg1019_header] :: Msg1019 -> GpsEphemerisHeader

-- | GPS ephemeris body.
[_msg1019_ephemeris] :: Msg1019 -> GpsEphemeris
msg1019 :: Word16
msg1019_ephemeris :: Lens' Msg1019 GpsEphemeris
msg1019_header :: Lens' Msg1019 GpsEphemerisHeader

-- | Message 1020
--   
--   RTCMv3 message 1020.
--   
--   See RTCM spec and GLONASS signal specification for more information
--   about these fields.
data Msg1020
Msg1020 :: GlonassEphemerisHeader -> GlonassEphemeris -> Msg1020

-- | GLONASS ephemeris header.
[_msg1020_header] :: Msg1020 -> GlonassEphemerisHeader

-- | GLONASS ephemeris body.
[_msg1020_ephemeris] :: Msg1020 -> GlonassEphemeris
msg1020 :: Word16
msg1020_ephemeris :: Lens' Msg1020 GlonassEphemeris
msg1020_header :: Lens' Msg1020 GlonassEphemerisHeader

-- | Msg 1045.
--   
--   RTCMv3 message 1045.
--   
--   See RTCM spec and GPS SPS Signal Specification, 3.5.18, for more
--   information about these fields.
data Msg1045
Msg1045 :: GalEphemerisHeader -> GalEphemerisFnav -> Msg1045

-- | GAL ephemeris header.
[_msg1045_header] :: Msg1045 -> GalEphemerisHeader

-- | GAL ephemeris body.
[_msg1045_ephemeris] :: Msg1045 -> GalEphemerisFnav
msg1045 :: Word16
msg1045_ephemeris :: Lens' Msg1045 GalEphemerisFnav
msg1045_header :: Lens' Msg1045 GalEphemerisHeader

-- | Msg 1046.
--   
--   RTCMv3 message 1046.
--   
--   See RTCM spec and GPS SPS Signal Specification, 3.5.18, for more
--   information about these fields.
data Msg1046
Msg1046 :: GalEphemerisHeader -> GalEphemerisInav -> Msg1046

-- | GAL ephemeris header.
[_msg1046_header] :: Msg1046 -> GalEphemerisHeader

-- | GAL ephemeris body.
[_msg1046_ephemeris] :: Msg1046 -> GalEphemerisInav
msg1046 :: Word16
msg1046_ephemeris :: Lens' Msg1046 GalEphemerisInav
msg1046_header :: Lens' Msg1046 GalEphemerisHeader
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Ephemerides.Msg1046
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.Msg1046
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.Msg1046
instance Data.Binary.Class.Binary Data.RTCM3.Ephemerides.Msg1046
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.Msg1046
instance GHC.Read.Read Data.RTCM3.Ephemerides.Msg1046
instance GHC.Show.Show Data.RTCM3.Ephemerides.Msg1046
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Ephemerides.Msg1045
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.Msg1045
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.Msg1045
instance Data.Binary.Class.Binary Data.RTCM3.Ephemerides.Msg1045
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.Msg1045
instance GHC.Read.Read Data.RTCM3.Ephemerides.Msg1045
instance GHC.Show.Show Data.RTCM3.Ephemerides.Msg1045
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Ephemerides.Msg1020
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.Msg1020
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.Msg1020
instance Data.Binary.Class.Binary Data.RTCM3.Ephemerides.Msg1020
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.Msg1020
instance GHC.Read.Read Data.RTCM3.Ephemerides.Msg1020
instance GHC.Show.Show Data.RTCM3.Ephemerides.Msg1020
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Ephemerides.Msg1019
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.Msg1019
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.Msg1019
instance Data.Binary.Class.Binary Data.RTCM3.Ephemerides.Msg1019
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.Msg1019
instance GHC.Read.Read Data.RTCM3.Ephemerides.Msg1019
instance GHC.Show.Show Data.RTCM3.Ephemerides.Msg1019
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GalEphemerisInav
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GalEphemerisInav
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GalEphemerisInav
instance GHC.Read.Read Data.RTCM3.Ephemerides.GalEphemerisInav
instance GHC.Show.Show Data.RTCM3.Ephemerides.GalEphemerisInav
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GalEphemerisInav
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GalEphemerisFnav
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GalEphemerisFnav
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GalEphemerisFnav
instance GHC.Read.Read Data.RTCM3.Ephemerides.GalEphemerisFnav
instance GHC.Show.Show Data.RTCM3.Ephemerides.GalEphemerisFnav
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GalEphemerisFnav
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GalEphemerisHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GalEphemerisHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GalEphemerisHeader
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GalEphemerisHeader
instance GHC.Read.Read Data.RTCM3.Ephemerides.GalEphemerisHeader
instance GHC.Show.Show Data.RTCM3.Ephemerides.GalEphemerisHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GlonassEphemeris
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GlonassEphemeris
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GlonassEphemeris
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GlonassEphemeris
instance GHC.Read.Read Data.RTCM3.Ephemerides.GlonassEphemeris
instance GHC.Show.Show Data.RTCM3.Ephemerides.GlonassEphemeris
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance GHC.Read.Read Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance GHC.Show.Show Data.RTCM3.Ephemerides.GlonassEphemerisHeader
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GpsEphemeris
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GpsEphemeris
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GpsEphemeris
instance GHC.Read.Read Data.RTCM3.Ephemerides.GpsEphemeris
instance GHC.Show.Show Data.RTCM3.Ephemerides.GpsEphemeris
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GpsEphemeris
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Ephemerides.GpsEphemerisHeader
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Ephemerides.GpsEphemerisHeader
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GpsEphemerisHeader
instance GHC.Classes.Eq Data.RTCM3.Ephemerides.GpsEphemerisHeader
instance GHC.Read.Read Data.RTCM3.Ephemerides.GpsEphemerisHeader
instance GHC.Show.Show Data.RTCM3.Ephemerides.GpsEphemerisHeader


-- | RTCMv3 antenna messages for stationary references and descriptors.
module Data.RTCM3.Antennas

-- | AntennaReference.
--   
--   Stationary antenna reference point information.
data AntennaReference
AntennaReference :: Word16 -> Word16 -> Bool -> Bool -> Bool -> Int64 -> Bool -> Int64 -> Word8 -> Int64 -> AntennaReference

-- | Message number.
[_antennaReference_num] :: AntennaReference -> Word16

-- | Reference station id.
[_antennaReference_station] :: AntennaReference -> Word16

-- | GPS indicator.
[_antennaReference_gps] :: AntennaReference -> Bool

-- | GLONASS indicator.
[_antennaReference_glonass] :: AntennaReference -> Bool

-- | Reference-station non-physical indicator.
[_antennaReference_computed] :: AntennaReference -> Bool

-- | Antenna reference point ECEF-X.
[_antennaReference_ecef_x] :: AntennaReference -> Int64

-- | Single receiver oscillator indicator.
[_antennaReference_oscillator] :: AntennaReference -> Bool

-- | Antenna reference point ECEF-Y.
[_antennaReference_ecef_y] :: AntennaReference -> Int64

-- | Quarter cycle indicator.
[_antennaReference_quarterCycle] :: AntennaReference -> Word8

-- | Antenna reference point ECEF-Z.
[_antennaReference_ecef_z] :: AntennaReference -> Int64
antennaReference_computed :: Lens' AntennaReference Bool
antennaReference_ecef_x :: Lens' AntennaReference Int64
antennaReference_ecef_y :: Lens' AntennaReference Int64
antennaReference_ecef_z :: Lens' AntennaReference Int64
antennaReference_glonass :: Lens' AntennaReference Bool
antennaReference_gps :: Lens' AntennaReference Bool
antennaReference_num :: Lens' AntennaReference Word16
antennaReference_oscillator :: Lens' AntennaReference Bool
antennaReference_quarterCycle :: Lens' AntennaReference Word8
antennaReference_station :: Lens' AntennaReference Word16

-- | ExtAntennaReference.
--   
--   Extended stationary antenna reference point information.
newtype ExtAntennaReference
ExtAntennaReference :: Word16 -> ExtAntennaReference

-- | Antenna height.
[_extAntennaReference_height] :: ExtAntennaReference -> Word16
extAntennaReference_height :: Iso' ExtAntennaReference Word16

-- | AntennaDescriptor.
--   
--   Antenna description information.
data AntennaDescriptor
AntennaDescriptor :: Word16 -> Word16 -> Word8 -> [Word8] -> Word8 -> AntennaDescriptor

-- | Message number.
[_antennaDescriptor_num] :: AntennaDescriptor -> Word16

-- | Reference station id.
[_antennaDescriptor_station] :: AntennaDescriptor -> Word16

-- | Number of antenna descriptors.
[_antennaDescriptor_n] :: AntennaDescriptor -> Word8

-- | Antenna descriptors.
[_antennaDescriptor_descriptors] :: AntennaDescriptor -> [Word8]

-- | Antenna setup id.
[_antennaDescriptor_setup] :: AntennaDescriptor -> Word8
antennaDescriptor_descriptors :: Lens' AntennaDescriptor [Word8]
antennaDescriptor_n :: Lens' AntennaDescriptor Word8
antennaDescriptor_num :: Lens' AntennaDescriptor Word16
antennaDescriptor_setup :: Lens' AntennaDescriptor Word8
antennaDescriptor_station :: Lens' AntennaDescriptor Word16

-- | ExtAntennaDescriptor.
--   
--   Extended antenna description information.
data ExtAntennaDescriptor
ExtAntennaDescriptor :: Word8 -> [Word8] -> ExtAntennaDescriptor

-- | Number of antenna serial numbers.
[_extAntennaDescriptor_n] :: ExtAntennaDescriptor -> Word8

-- | Antenna serial numbers.
[_extAntennaDescriptor_serialNumbers] :: ExtAntennaDescriptor -> [Word8]
extAntennaDescriptor_n :: Lens' ExtAntennaDescriptor Word8
extAntennaDescriptor_serialNumbers :: Lens' ExtAntennaDescriptor [Word8]

-- | ReceiverDescriptor.
--   
--   Receiver description information.
data ReceiverDescriptor
ReceiverDescriptor :: Word8 -> [Word8] -> Word8 -> [Word8] -> Word8 -> [Word8] -> ReceiverDescriptor

-- | Number of receiver descriptors.
[_receiverDescriptor_n] :: ReceiverDescriptor -> Word8

-- | Receiver descriptors.
[_receiverDescriptor_descriptors] :: ReceiverDescriptor -> [Word8]

-- | Number of firmware versions.
[_receiverDescriptor_m] :: ReceiverDescriptor -> Word8

-- | Firmware versions.
[_receiverDescriptor_firmwareVersions] :: ReceiverDescriptor -> [Word8]

-- | Number of serial numbers.
[_receiverDescriptor_l] :: ReceiverDescriptor -> Word8

-- | Serial numbers.
[_receiverDescriptor_serialNumbers] :: ReceiverDescriptor -> [Word8]
receiverDescriptor_descriptors :: Lens' ReceiverDescriptor [Word8]
receiverDescriptor_firmwareVersions :: Lens' ReceiverDescriptor [Word8]
receiverDescriptor_l :: Lens' ReceiverDescriptor Word8
receiverDescriptor_m :: Lens' ReceiverDescriptor Word8
receiverDescriptor_n :: Lens' ReceiverDescriptor Word8
receiverDescriptor_serialNumbers :: Lens' ReceiverDescriptor [Word8]

-- | Msg1005.
--   
--   RTCMv3 message 1005.
newtype Msg1005
Msg1005 :: AntennaReference -> Msg1005

-- | Antenna reference.
[_msg1005_reference] :: Msg1005 -> AntennaReference
msg1005 :: Word16
msg1005_reference :: Iso' Msg1005 AntennaReference

-- | Msg1006.
--   
--   RTCMv3 message 1006.
data Msg1006
Msg1006 :: AntennaReference -> ExtAntennaReference -> Msg1006

-- | Antenna reference.
[_msg1006_reference] :: Msg1006 -> AntennaReference

-- | Antenna extended reference.
[_msg1006_extReference] :: Msg1006 -> ExtAntennaReference
msg1006 :: Word16
msg1006_extReference :: Lens' Msg1006 ExtAntennaReference
msg1006_reference :: Lens' Msg1006 AntennaReference

-- | Msg1007.
--   
--   RTCMv3 message 1007.
newtype Msg1007
Msg1007 :: AntennaDescriptor -> Msg1007

-- | Antenna descriptor.
[_msg1007_descriptor] :: Msg1007 -> AntennaDescriptor
msg1007 :: Word16
msg1007_descriptor :: Iso' Msg1007 AntennaDescriptor

-- | Msg1008.
--   
--   RTCMv3 message 1008.
data Msg1008
Msg1008 :: AntennaDescriptor -> ExtAntennaDescriptor -> Msg1008

-- | Antenna descriptor.
[_msg1008_descriptor] :: Msg1008 -> AntennaDescriptor

-- | Antenna extended descriptor.
[_msg1008_extDescriptor] :: Msg1008 -> ExtAntennaDescriptor
msg1008 :: Word16
msg1008_descriptor :: Lens' Msg1008 AntennaDescriptor
msg1008_extDescriptor :: Lens' Msg1008 ExtAntennaDescriptor

-- | Msg1033.
--   
--   RTCMv3 message 1033.
data Msg1033
Msg1033 :: AntennaDescriptor -> ExtAntennaDescriptor -> ReceiverDescriptor -> Msg1033

-- | Antenna descriptor.
[_msg1033_antennaDescriptor] :: Msg1033 -> AntennaDescriptor

-- | Antenna extended descriptor.
[_msg1033_antennaExtDescriptor] :: Msg1033 -> ExtAntennaDescriptor

-- | Antenna descriptor.
[_msg1033_receiverDescriptor] :: Msg1033 -> ReceiverDescriptor
msg1033 :: Word16
msg1033_antennaDescriptor :: Lens' Msg1033 AntennaDescriptor
msg1033_antennaExtDescriptor :: Lens' Msg1033 ExtAntennaDescriptor
msg1033_receiverDescriptor :: Lens' Msg1033 ReceiverDescriptor
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Antennas.Msg1033
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.Msg1033
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.Msg1033
instance Data.Binary.Class.Binary Data.RTCM3.Antennas.Msg1033
instance GHC.Classes.Eq Data.RTCM3.Antennas.Msg1033
instance GHC.Read.Read Data.RTCM3.Antennas.Msg1033
instance GHC.Show.Show Data.RTCM3.Antennas.Msg1033
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Antennas.Msg1008
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.Msg1008
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.Msg1008
instance Data.Binary.Class.Binary Data.RTCM3.Antennas.Msg1008
instance GHC.Classes.Eq Data.RTCM3.Antennas.Msg1008
instance GHC.Read.Read Data.RTCM3.Antennas.Msg1008
instance GHC.Show.Show Data.RTCM3.Antennas.Msg1008
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Antennas.Msg1007
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.Msg1007
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.Msg1007
instance Data.Binary.Class.Binary Data.RTCM3.Antennas.Msg1007
instance GHC.Classes.Eq Data.RTCM3.Antennas.Msg1007
instance GHC.Read.Read Data.RTCM3.Antennas.Msg1007
instance GHC.Show.Show Data.RTCM3.Antennas.Msg1007
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Antennas.Msg1006
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.Msg1006
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.Msg1006
instance Data.Binary.Class.Binary Data.RTCM3.Antennas.Msg1006
instance GHC.Classes.Eq Data.RTCM3.Antennas.Msg1006
instance GHC.Read.Read Data.RTCM3.Antennas.Msg1006
instance GHC.Show.Show Data.RTCM3.Antennas.Msg1006
instance Data.RTCM3.Types.ToRTCM3 Data.RTCM3.Antennas.Msg1005
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.Msg1005
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.Msg1005
instance Data.Binary.Class.Binary Data.RTCM3.Antennas.Msg1005
instance GHC.Classes.Eq Data.RTCM3.Antennas.Msg1005
instance GHC.Read.Read Data.RTCM3.Antennas.Msg1005
instance GHC.Show.Show Data.RTCM3.Antennas.Msg1005
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.ReceiverDescriptor
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.ReceiverDescriptor
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Antennas.ReceiverDescriptor
instance GHC.Classes.Eq Data.RTCM3.Antennas.ReceiverDescriptor
instance GHC.Read.Read Data.RTCM3.Antennas.ReceiverDescriptor
instance GHC.Show.Show Data.RTCM3.Antennas.ReceiverDescriptor
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.ExtAntennaDescriptor
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.ExtAntennaDescriptor
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Antennas.ExtAntennaDescriptor
instance GHC.Classes.Eq Data.RTCM3.Antennas.ExtAntennaDescriptor
instance GHC.Read.Read Data.RTCM3.Antennas.ExtAntennaDescriptor
instance GHC.Show.Show Data.RTCM3.Antennas.ExtAntennaDescriptor
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.AntennaDescriptor
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.AntennaDescriptor
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Antennas.AntennaDescriptor
instance GHC.Classes.Eq Data.RTCM3.Antennas.AntennaDescriptor
instance GHC.Read.Read Data.RTCM3.Antennas.AntennaDescriptor
instance GHC.Show.Show Data.RTCM3.Antennas.AntennaDescriptor
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.ExtAntennaReference
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.ExtAntennaReference
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Antennas.ExtAntennaReference
instance GHC.Classes.Eq Data.RTCM3.Antennas.ExtAntennaReference
instance GHC.Read.Read Data.RTCM3.Antennas.ExtAntennaReference
instance GHC.Show.Show Data.RTCM3.Antennas.ExtAntennaReference
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.Antennas.AntennaReference
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.Antennas.AntennaReference
instance Data.Binary.Bits.BinaryBit Data.RTCM3.Antennas.AntennaReference
instance GHC.Classes.Eq Data.RTCM3.Antennas.AntennaReference
instance GHC.Read.Read Data.RTCM3.Antennas.AntennaReference
instance GHC.Show.Show Data.RTCM3.Antennas.AntennaReference


-- | RTCMv3 message containers.
module Data.RTCM3

-- | An RTCM message ADT composed of all defined RTCM messages.
--   
--   Includes RTCMMsgUnknown for valid RTCM messages with undefined message
--   types and RTCMMsgBadCRC for RTCM messages with invalid CRC checksums.
data RTCM3Msg
RTCM3Msg1001 :: Msg1001 -> Msg -> RTCM3Msg
RTCM3Msg1002 :: Msg1002 -> Msg -> RTCM3Msg
RTCM3Msg1003 :: Msg1003 -> Msg -> RTCM3Msg
RTCM3Msg1004 :: Msg1004 -> Msg -> RTCM3Msg
RTCM3Msg1005 :: Msg1005 -> Msg -> RTCM3Msg
RTCM3Msg1006 :: Msg1006 -> Msg -> RTCM3Msg
RTCM3Msg1007 :: Msg1007 -> Msg -> RTCM3Msg
RTCM3Msg1008 :: Msg1008 -> Msg -> RTCM3Msg
RTCM3Msg1009 :: Msg1009 -> Msg -> RTCM3Msg
RTCM3Msg1010 :: Msg1010 -> Msg -> RTCM3Msg
RTCM3Msg1011 :: Msg1011 -> Msg -> RTCM3Msg
RTCM3Msg1012 :: Msg1012 -> Msg -> RTCM3Msg
RTCM3Msg1013 :: Msg1013 -> Msg -> RTCM3Msg
RTCM3Msg1019 :: Msg1019 -> Msg -> RTCM3Msg
RTCM3Msg1020 :: Msg1020 -> Msg -> RTCM3Msg
RTCM3Msg1029 :: Msg1029 -> Msg -> RTCM3Msg
RTCM3Msg1033 :: Msg1033 -> Msg -> RTCM3Msg
RTCM3Msg1045 :: Msg1045 -> Msg -> RTCM3Msg
RTCM3Msg1046 :: Msg1046 -> Msg -> RTCM3Msg
RTCM3Msg1057 :: Msg1057 -> Msg -> RTCM3Msg
RTCM3Msg1058 :: Msg1058 -> Msg -> RTCM3Msg
RTCM3Msg1059 :: Msg1059 -> Msg -> RTCM3Msg
RTCM3Msg1060 :: Msg1060 -> Msg -> RTCM3Msg
RTCM3Msg1063 :: Msg1063 -> Msg -> RTCM3Msg
RTCM3Msg1064 :: Msg1064 -> Msg -> RTCM3Msg
RTCM3Msg1065 :: Msg1065 -> Msg -> RTCM3Msg
RTCM3Msg1066 :: Msg1066 -> Msg -> RTCM3Msg
RTCM3Msg1074 :: Msg1074 -> Msg -> RTCM3Msg
RTCM3Msg1075 :: Msg1075 -> Msg -> RTCM3Msg
RTCM3Msg1076 :: Msg1076 -> Msg -> RTCM3Msg
RTCM3Msg1077 :: Msg1077 -> Msg -> RTCM3Msg
RTCM3Msg1084 :: Msg1084 -> Msg -> RTCM3Msg
RTCM3Msg1085 :: Msg1085 -> Msg -> RTCM3Msg
RTCM3Msg1086 :: Msg1086 -> Msg -> RTCM3Msg
RTCM3Msg1087 :: Msg1087 -> Msg -> RTCM3Msg
RTCM3Msg1094 :: Msg1094 -> Msg -> RTCM3Msg
RTCM3Msg1095 :: Msg1095 -> Msg -> RTCM3Msg
RTCM3Msg1096 :: Msg1096 -> Msg -> RTCM3Msg
RTCM3Msg1097 :: Msg1097 -> Msg -> RTCM3Msg
RTCM3Msg1104 :: Msg1104 -> Msg -> RTCM3Msg
RTCM3Msg1105 :: Msg1105 -> Msg -> RTCM3Msg
RTCM3Msg1106 :: Msg1106 -> Msg -> RTCM3Msg
RTCM3Msg1107 :: Msg1107 -> Msg -> RTCM3Msg
RTCM3Msg1114 :: Msg1114 -> Msg -> RTCM3Msg
RTCM3Msg1115 :: Msg1115 -> Msg -> RTCM3Msg
RTCM3Msg1116 :: Msg1116 -> Msg -> RTCM3Msg
RTCM3Msg1117 :: Msg1117 -> Msg -> RTCM3Msg
RTCM3Msg1124 :: Msg1124 -> Msg -> RTCM3Msg
RTCM3Msg1125 :: Msg1125 -> Msg -> RTCM3Msg
RTCM3Msg1126 :: Msg1126 -> Msg -> RTCM3Msg
RTCM3Msg1127 :: Msg1127 -> Msg -> RTCM3Msg
RTCM3Msg1230 :: Msg1230 -> Msg -> RTCM3Msg
RTCM3Msg1265 :: Msg1265 -> Msg -> RTCM3Msg
RTCM3Msg1266 :: Msg1266 -> Msg -> RTCM3Msg
RTCM3MsgUnknown :: Msg -> RTCM3Msg
RTCM3MsgBadCrc :: Msg -> RTCM3Msg
RTCM3MsgEmpty :: Msg -> RTCM3Msg
_RTCM3Msg1001 :: Prism' RTCM3Msg (Msg1001, Msg)
_RTCM3Msg1002 :: Prism' RTCM3Msg (Msg1002, Msg)
_RTCM3Msg1003 :: Prism' RTCM3Msg (Msg1003, Msg)
_RTCM3Msg1004 :: Prism' RTCM3Msg (Msg1004, Msg)
_RTCM3Msg1005 :: Prism' RTCM3Msg (Msg1005, Msg)
_RTCM3Msg1006 :: Prism' RTCM3Msg (Msg1006, Msg)
_RTCM3Msg1007 :: Prism' RTCM3Msg (Msg1007, Msg)
_RTCM3Msg1008 :: Prism' RTCM3Msg (Msg1008, Msg)
_RTCM3Msg1009 :: Prism' RTCM3Msg (Msg1009, Msg)
_RTCM3Msg1010 :: Prism' RTCM3Msg (Msg1010, Msg)
_RTCM3Msg1011 :: Prism' RTCM3Msg (Msg1011, Msg)
_RTCM3Msg1012 :: Prism' RTCM3Msg (Msg1012, Msg)
_RTCM3Msg1013 :: Prism' RTCM3Msg (Msg1013, Msg)
_RTCM3Msg1019 :: Prism' RTCM3Msg (Msg1019, Msg)
_RTCM3Msg1020 :: Prism' RTCM3Msg (Msg1020, Msg)
_RTCM3Msg1029 :: Prism' RTCM3Msg (Msg1029, Msg)
_RTCM3Msg1033 :: Prism' RTCM3Msg (Msg1033, Msg)
_RTCM3Msg1045 :: Prism' RTCM3Msg (Msg1045, Msg)
_RTCM3Msg1046 :: Prism' RTCM3Msg (Msg1046, Msg)
_RTCM3Msg1057 :: Prism' RTCM3Msg (Msg1057, Msg)
_RTCM3Msg1058 :: Prism' RTCM3Msg (Msg1058, Msg)
_RTCM3Msg1059 :: Prism' RTCM3Msg (Msg1059, Msg)
_RTCM3Msg1060 :: Prism' RTCM3Msg (Msg1060, Msg)
_RTCM3Msg1063 :: Prism' RTCM3Msg (Msg1063, Msg)
_RTCM3Msg1064 :: Prism' RTCM3Msg (Msg1064, Msg)
_RTCM3Msg1065 :: Prism' RTCM3Msg (Msg1065, Msg)
_RTCM3Msg1066 :: Prism' RTCM3Msg (Msg1066, Msg)
_RTCM3Msg1074 :: Prism' RTCM3Msg (Msg1074, Msg)
_RTCM3Msg1075 :: Prism' RTCM3Msg (Msg1075, Msg)
_RTCM3Msg1076 :: Prism' RTCM3Msg (Msg1076, Msg)
_RTCM3Msg1077 :: Prism' RTCM3Msg (Msg1077, Msg)
_RTCM3Msg1084 :: Prism' RTCM3Msg (Msg1084, Msg)
_RTCM3Msg1085 :: Prism' RTCM3Msg (Msg1085, Msg)
_RTCM3Msg1086 :: Prism' RTCM3Msg (Msg1086, Msg)
_RTCM3Msg1087 :: Prism' RTCM3Msg (Msg1087, Msg)
_RTCM3Msg1094 :: Prism' RTCM3Msg (Msg1094, Msg)
_RTCM3Msg1095 :: Prism' RTCM3Msg (Msg1095, Msg)
_RTCM3Msg1096 :: Prism' RTCM3Msg (Msg1096, Msg)
_RTCM3Msg1097 :: Prism' RTCM3Msg (Msg1097, Msg)
_RTCM3Msg1104 :: Prism' RTCM3Msg (Msg1104, Msg)
_RTCM3Msg1105 :: Prism' RTCM3Msg (Msg1105, Msg)
_RTCM3Msg1106 :: Prism' RTCM3Msg (Msg1106, Msg)
_RTCM3Msg1107 :: Prism' RTCM3Msg (Msg1107, Msg)
_RTCM3Msg1114 :: Prism' RTCM3Msg (Msg1114, Msg)
_RTCM3Msg1115 :: Prism' RTCM3Msg (Msg1115, Msg)
_RTCM3Msg1116 :: Prism' RTCM3Msg (Msg1116, Msg)
_RTCM3Msg1117 :: Prism' RTCM3Msg (Msg1117, Msg)
_RTCM3Msg1124 :: Prism' RTCM3Msg (Msg1124, Msg)
_RTCM3Msg1125 :: Prism' RTCM3Msg (Msg1125, Msg)
_RTCM3Msg1126 :: Prism' RTCM3Msg (Msg1126, Msg)
_RTCM3Msg1127 :: Prism' RTCM3Msg (Msg1127, Msg)
_RTCM3Msg1230 :: Prism' RTCM3Msg (Msg1230, Msg)
_RTCM3Msg1265 :: Prism' RTCM3Msg (Msg1265, Msg)
_RTCM3Msg1266 :: Prism' RTCM3Msg (Msg1266, Msg)
_RTCM3MsgUnknown :: Prism' RTCM3Msg Msg
_RTCM3MsgBadCrc :: Prism' RTCM3Msg Msg
_RTCM3MsgEmpty :: Prism' RTCM3Msg Msg
(<<>>) :: Value -> Value -> Value
instance Data.Binary.Class.Binary Data.RTCM3.RTCM3Msg
instance Data.RTCM3.Types.HasMsg Data.RTCM3.RTCM3Msg
instance Data.Aeson.Types.ToJSON.ToJSON Data.RTCM3.RTCM3Msg
instance Data.Aeson.Types.FromJSON.FromJSON Data.RTCM3.RTCM3Msg
instance GHC.Classes.Eq Data.RTCM3.RTCM3Msg
instance GHC.Read.Read Data.RTCM3.RTCM3Msg
instance GHC.Show.Show Data.RTCM3.RTCM3Msg