-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | RTCM Library.
--
-- 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.1
-- | 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 ()
getWord24be :: Get Word24
putWord24be :: Word24 -> Put
-- | Error detection functions.
module Data.CRC24Q
-- | Calculate Qualcomm 24-bit Cyclical Redundancy Check (CRC-24Q).
crc24q :: ByteString -> Word24
-- | Common RTCMv3 type requirements, containers, and serialization
-- utilities.
module Data.RTCM3.Types
msgRTCM3Preamble :: Word8
newtype Bytes
Bytes :: ByteString -> Bytes
[unBytes] :: Bytes -> ByteString
data Msg
Msg :: !Word16 -> !Bytes -> !Word24 -> Msg
[_msgRTCM3Len] :: Msg -> !Word16
[_msgRTCM3Payload] :: Msg -> !Bytes
[_msgRTCM3Crc] :: Msg -> !Word24
class HasMsg c_arms where msgRTCM3Crc = (.) msg msgRTCM3Crc msgRTCM3Len = (.) msg msgRTCM3Len msgRTCM3Payload = (.) msg msgRTCM3Payload
msg :: HasMsg c_arms => Lens' c_arms Msg
msgRTCM3Crc :: HasMsg c_arms => Lens' c_arms Word24
msgRTCM3Len :: HasMsg c_arms => Lens' c_arms Word16
msgRTCM3Payload :: HasMsg c_arms => Lens' c_arms Bytes
checkCrc :: Word16 -> ByteString -> Word24
checkNum :: ByteString -> Word16
msgRTCM3Num :: HasMsg m => m -> Word16
class Binary a => ToRTCM3 a
toRTCM3 :: ToRTCM3 a => a -> Msg
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 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_station :: Lens' AntennaReference Word16
antennaReference_quarterCycle :: Lens' AntennaReference Word8
antennaReference_oscillator :: Lens' AntennaReference Bool
antennaReference_num :: Lens' AntennaReference Word16
antennaReference_gps :: Lens' AntennaReference Bool
antennaReference_glonass :: Lens' AntennaReference Bool
antennaReference_ecef_z :: Lens' AntennaReference Int64
antennaReference_ecef_y :: Lens' AntennaReference Int64
antennaReference_ecef_x :: Lens' AntennaReference Int64
antennaReference_computed :: Lens' AntennaReference Bool
-- | 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_station :: Lens' AntennaDescriptor Word16
antennaDescriptor_setup :: Lens' AntennaDescriptor Word8
antennaDescriptor_num :: Lens' AntennaDescriptor Word16
antennaDescriptor_n :: Lens' AntennaDescriptor Word8
antennaDescriptor_descriptors :: Lens' AntennaDescriptor [Word8]
-- | 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_serialNumbers :: Lens' ExtAntennaDescriptor [Word8]
extAntennaDescriptor_n :: 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_serialNumbers :: Lens' ReceiverDescriptor [Word8]
receiverDescriptor_n :: Lens' ReceiverDescriptor Word8
receiverDescriptor_m :: Lens' ReceiverDescriptor Word8
receiverDescriptor_l :: Lens' ReceiverDescriptor Word8
receiverDescriptor_firmwareVersions :: Lens' ReceiverDescriptor [Word8]
receiverDescriptor_descriptors :: Lens' ReceiverDescriptor [Word8]
msg1005 :: Word16
-- | Msg1005.
--
-- RTCMv3 message 1005.
newtype Msg1005
Msg1005 :: AntennaReference -> Msg1005
-- | Antenna reference.
[_msg1005_reference] :: Msg1005 -> AntennaReference
msg1005_reference :: Iso' Msg1005 AntennaReference
msg1006 :: Word16
-- | Msg1006.
--
-- RTCMv3 message 1006.
data Msg1006
Msg1006 :: AntennaReference -> ExtAntennaReference -> Msg1006
-- | Antenna reference.
[_msg1006_reference] :: Msg1006 -> AntennaReference
-- | Antenna extended reference.
[_msg1006_extReference] :: Msg1006 -> ExtAntennaReference
msg1006_reference :: Lens' Msg1006 AntennaReference
msg1006_extReference :: Lens' Msg1006 ExtAntennaReference
msg1007 :: Word16
-- | Msg1007.
--
-- RTCMv3 message 1007.
newtype Msg1007
Msg1007 :: AntennaDescriptor -> Msg1007
-- | Antenna descriptor.
[_msg1007_descriptor] :: Msg1007 -> AntennaDescriptor
msg1007_descriptor :: Iso' Msg1007 AntennaDescriptor
msg1008 :: Word16
-- | Msg1008.
--
-- RTCMv3 message 1008.
data Msg1008
Msg1008 :: AntennaDescriptor -> ExtAntennaDescriptor -> Msg1008
-- | Antenna descriptor.
[_msg1008_descriptor] :: Msg1008 -> AntennaDescriptor
-- | Antenna extended descriptor.
[_msg1008_extDescriptor] :: Msg1008 -> ExtAntennaDescriptor
msg1008_extDescriptor :: Lens' Msg1008 ExtAntennaDescriptor
msg1008_descriptor :: Lens' Msg1008 AntennaDescriptor
msg1033 :: Word16
-- | 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_receiverDescriptor :: Lens' Msg1033 ReceiverDescriptor
msg1033_antennaExtDescriptor :: Lens' Msg1033 ExtAntennaDescriptor
msg1033_antennaDescriptor :: Lens' Msg1033 AntennaDescriptor
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 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_sat :: Lens' GpsEphemerisHeader Word8
gpsEphemerisHeader_num :: Lens' GpsEphemerisHeader Word16
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^(12). Unit: meters^(12). 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_wn :: Lens' GpsEphemeris Word16
gpsEphemeris_w :: Lens' GpsEphemeris Int32
gpsEphemeris_toe :: Lens' GpsEphemeris Word16
gpsEphemeris_toc :: Lens' GpsEphemeris Word16
gpsEphemeris_tgd :: Lens' GpsEphemeris Int8
gpsEphemeris_svHealth :: Lens' GpsEphemeris Word8
gpsEphemeris_svAccuracy :: Lens' GpsEphemeris Word8
gpsEphemeris_sqrta :: Lens' GpsEphemeris Word32
gpsEphemeris_omegadot :: Lens' GpsEphemeris Int32
gpsEphemeris_omega0 :: Lens' GpsEphemeris Int32
gpsEphemeris_m0 :: Lens' GpsEphemeris Int32
gpsEphemeris_l2pFlag :: Lens' GpsEphemeris Bool
gpsEphemeris_iode :: Lens' GpsEphemeris Word8
gpsEphemeris_iodc :: Lens' GpsEphemeris Word16
gpsEphemeris_idot :: Lens' GpsEphemeris Int16
gpsEphemeris_i0 :: Lens' GpsEphemeris Int32
gpsEphemeris_fitInterval :: Lens' GpsEphemeris Bool
gpsEphemeris_ecc :: Lens' GpsEphemeris Word32
gpsEphemeris_dn :: Lens' GpsEphemeris Int16
gpsEphemeris_codeOnL2 :: Lens' GpsEphemeris Word8
gpsEphemeris_c_us :: Lens' GpsEphemeris Int16
gpsEphemeris_c_uc :: Lens' GpsEphemeris Int16
gpsEphemeris_c_rs :: Lens' GpsEphemeris Int16
gpsEphemeris_c_rc :: Lens' GpsEphemeris Int16
gpsEphemeris_c_is :: Lens' GpsEphemeris Int16
gpsEphemeris_c_ic :: Lens' GpsEphemeris Int16
gpsEphemeris_af2 :: Lens' GpsEphemeris Int8
gpsEphemeris_af1 :: Lens' GpsEphemeris Int16
gpsEphemeris_af0 :: Lens' GpsEphemeris Int32
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_sat :: Lens' GlonassEphemerisHeader Word8
glonassEphemerisHeader_num :: Lens' GlonassEphemerisHeader Word16
glonassEphemerisHeader_channel :: 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
-- | C_n 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 x_n(t_b), first time-derivative, given in PZ-90
-- datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_xndot] :: GlonassEphemeris -> Int32
-- | GLONASS x_n(t_b), given in PZ-90 datum. Unit: km Scale
-- factor: 2^(-11)
[_glonassEphemeris_xn] :: GlonassEphemeris -> Int32
-- | GLONASS x_n(t_b), second time-derivative, given in PZ-90
-- datum. Unit: km/s^2 Scale factor: 2^(-30)
[_glonassEphemeris_xndotdot] :: GlonassEphemeris -> Int8
-- | GLONASS y_n(t_b), first time-derivative, given in PZ-90
-- datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_yndot] :: GlonassEphemeris -> Int32
-- | GLONASS y_n(t_b), given in PZ-90 datum. Unit: km Scale
-- factor: 2^(-11)
[_glonassEphemeris_yn] :: GlonassEphemeris -> Int32
-- | GLONASS y_n(t_b), second time-derivative, given in PZ-90
-- datum. Unit: km/s^2 Scale factor: 2^(-30)
[_glonassEphemeris_yndotdot] :: GlonassEphemeris -> Int8
-- | GLONASS z_n(t_b), first time-derivative, given in PZ-90
-- datum. Unit: km/s Scale factor: 2^(-20)
[_glonassEphemeris_zndot] :: GlonassEphemeris -> Int32
-- | GLONASS z_n(t_b), given in PZ-90 datum. Unit: km Scale
-- factor: 2^(-11)
[_glonassEphemeris_zn] :: GlonassEphemeris -> Int32
-- | GLONASS z_n(t_b), 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 tau_n(t_b), 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 t_b
[_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: [01] -> GLONASS-M [00]
-- -> 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
-- tau_c is referenced. Units: days Scale factor: 1
[_glonassEphemeris_nA] :: GlonassEphemeris -> Word16
-- | GLONASS tau_c: difference between GLONASS system time and
-- UTC(SU), referenced to _glonassEphemeris_nA. Units: seconds
-- Scale factor: 2^(-31)
[_glonassEphemeris_tauC] :: GlonassEphemeris -> Int32
-- | GLONASS-M N_4: four-year interval number starting from 1996
-- Units: 4 years
[_glonassEphemeris_mn4] :: GlonassEphemeris -> Word8
-- | GLONASS-M tau_gps: correction to GPS system time relative to
-- GLONASS system time. Units: seconds Scale factor: 2^(-30)
[_glonassEphemeris_mTauGps] :: GlonassEphemeris -> Int32
-- | GLONASS-M I_n 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_zndotdot :: Lens' GlonassEphemeris Int8
glonassEphemeris_zndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_zn :: Lens' GlonassEphemeris Int32
glonassEphemeris_yndotdot :: Lens' GlonassEphemeris Int8
glonassEphemeris_yndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_yn :: Lens' GlonassEphemeris Int32
glonassEphemeris_xndotdot :: Lens' GlonassEphemeris Int8
glonassEphemeris_xndot :: Lens' GlonassEphemeris Int32
glonassEphemeris_xn :: Lens' GlonassEphemeris Int32
glonassEphemeris_tk :: Lens' GlonassEphemeris Word16
glonassEphemeris_tb :: Lens' GlonassEphemeris Word8
glonassEphemeris_tauN :: Lens' GlonassEphemeris Int32
glonassEphemeris_tauC :: Lens' GlonassEphemeris Int32
glonassEphemeris_reserved :: Lens' GlonassEphemeris Word8
glonassEphemeris_p3 :: Lens' GlonassEphemeris Bool
glonassEphemeris_p2 :: Lens' GlonassEphemeris Bool
glonassEphemeris_p1 :: Lens' GlonassEphemeris Word8
glonassEphemeris_nA :: Lens' GlonassEphemeris Word16
glonassEphemeris_mp4 :: Lens' GlonassEphemeris Bool
glonassEphemeris_mp :: Lens' GlonassEphemeris Word8
glonassEphemeris_mnt :: Lens' GlonassEphemeris Word16
glonassEphemeris_mn4 :: Lens' GlonassEphemeris Word8
glonassEphemeris_mln5 :: Lens' GlonassEphemeris Bool
glonassEphemeris_mi3 :: Lens' GlonassEphemeris Bool
glonassEphemeris_mft :: Lens' GlonassEphemeris Word8
glonassEphemeris_mdeltatau :: Lens' GlonassEphemeris Int8
glonassEphemeris_mTauGps :: Lens' GlonassEphemeris Int32
glonassEphemeris_mM :: Lens' GlonassEphemeris Word8
glonassEphemeris_healthAvailability :: Lens' GlonassEphemeris Bool
glonassEphemeris_gammaN :: Lens' GlonassEphemeris Int16
glonassEphemeris_en :: Lens' GlonassEphemeris Word8
glonassEphemeris_bn_msb :: Lens' GlonassEphemeris Bool
glonassEphemeris_almanacHealth :: Lens' GlonassEphemeris Bool
glonassEphemeris_additional :: Lens' GlonassEphemeris Bool
msg1019 :: 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_header :: Lens' Msg1019 GpsEphemerisHeader
msg1019_ephemeris :: Lens' Msg1019 GpsEphemeris
msg1020 :: Word16
-- | 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_header :: Lens' Msg1020 GlonassEphemerisHeader
msg1020_ephemeris :: Lens' Msg1020 GlonassEphemeris
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.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.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 Data.Binary.Bits.BinaryBit Data.RTCM3.Ephemerides.GpsEphemeris
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 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_tow :: Lens' GpsObservationHeader Word32
gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool
gpsObservationHeader_station :: Lens' GpsObservationHeader Word16
gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8
gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool
gpsObservationHeader_num :: Lens' GpsObservationHeader Word16
gpsObservationHeader_n :: Lens' GpsObservationHeader Word8
-- | 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_pseudorange :: Lens' GpsL1Observation Word32
gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8
gpsL1Observation_code :: Lens' GpsL1Observation Bool
gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32
-- | 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_cnr :: Lens' GpsL1ExtObservation Word8
gpsL1ExtObservation_ambiguity :: 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_pseudorangeDifference :: Lens' GpsL2Observation Int16
gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8
gpsL2Observation_code :: Lens' GpsL2Observation Word8
gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32
-- | 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_synchronous :: Lens' GlonassObservationHeader Bool
glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16
glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8
glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool
glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16
glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8
glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32
-- | 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_pseudorange :: Lens' GlonassL1Observation Word32
glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8
glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8
glonassL1Observation_code :: Lens' GlonassL1Observation Bool
glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32
-- | 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_cnr :: Lens' GlonassL1ExtObservation Word8
glonassL1ExtObservation_ambiguity :: 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_pseudorangeDifference :: Lens' GlonassL2Observation Int16
glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8
glonassL2Observation_code :: Lens' GlonassL2Observation Word8
glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32
-- | 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 -> Word16 -> Word16 -> Word16 -> Word16 -> 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 L1 C/A code-phase bias.
[_glonassBias_l1ca] :: GlonassBias -> Word16
-- | GLONASS L1 P code-phase bias.
[_glonassBias_l1p] :: GlonassBias -> Word16
-- | GLONASS L2 C/A code-phase bias.
[_glonassBias_l2ca] :: GlonassBias -> Word16
-- | GLONASS L2 P code-phase bias.
[_glonassBias_l2p] :: GlonassBias -> Word16
glonassBias_station :: Lens' GlonassBias Word16
glonassBias_num :: Lens' GlonassBias Word16
glonassBias_mask :: Lens' GlonassBias Word8
glonassBias_l2p :: Lens' GlonassBias Word16
glonassBias_l2ca :: Lens' GlonassBias Word16
glonassBias_l1p :: Lens' GlonassBias Word16
glonassBias_l1ca :: Lens' GlonassBias Word16
glonassBias_bias :: Lens' GlonassBias Bool
msg1001 :: 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
observation1001_sat :: Lens' Observation1001 Word8
observation1001_l1 :: Lens' Observation1001 GpsL1Observation
-- | 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_observations :: Lens' Msg1001 [Observation1001]
msg1001_header :: Lens' Msg1001 GpsObservationHeader
msg1002 :: Word16
-- | 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
observation1002_sat :: Lens' Observation1002 Word8
observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation
observation1002_l1 :: Lens' Observation1002 GpsL1Observation
-- | 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_observations :: Lens' Msg1002 [Observation1002]
msg1002_header :: Lens' Msg1002 GpsObservationHeader
msg1003 :: Word16
-- | 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
observation1003_sat :: Lens' Observation1003 Word8
observation1003_l2 :: Lens' Observation1003 GpsL2Observation
observation1003_l1 :: Lens' Observation1003 GpsL1Observation
-- | 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_observations :: Lens' Msg1003 [Observation1003]
msg1003_header :: Lens' Msg1003 GpsObservationHeader
msg1004 :: Word16
-- | 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
observation1004_sat :: Lens' Observation1004 Word8
observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation
observation1004_l2 :: Lens' Observation1004 GpsL2Observation
observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation
observation1004_l1 :: Lens' Observation1004 GpsL1Observation
-- | 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_observations :: Lens' Msg1004 [Observation1004]
msg1004_header :: Lens' Msg1004 GpsObservationHeader
msg1009 :: Word16
-- | 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
observation1009_sat :: Lens' Observation1009 Word8
observation1009_l1 :: Lens' Observation1009 GlonassL1Observation
-- | 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_observations :: Lens' Msg1009 [Observation1009]
msg1009_header :: Lens' Msg1009 GlonassObservationHeader
msg1010 :: Word16
-- | 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
observation1010_sat :: Lens' Observation1010 Word8
observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation
observation1010_l1 :: Lens' Observation1010 GlonassL1Observation
-- | 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_observations :: Lens' Msg1010 [Observation1010]
msg1010_header :: Lens' Msg1010 GlonassObservationHeader
msg1011 :: Word16
-- | 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
observation1011_sat :: Lens' Observation1011 Word8
observation1011_l2 :: Lens' Observation1011 GlonassL2Observation
observation1011_l1 :: Lens' Observation1011 GlonassL1Observation
-- | 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_observations :: Lens' Msg1011 [Observation1011]
msg1011_header :: Lens' Msg1011 GlonassObservationHeader
msg1012 :: Word16
-- | 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
observation1012_sat :: Lens' Observation1012 Word8
observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation
observation1012_l2 :: Lens' Observation1012 GlonassL2Observation
observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation
observation1012_l1 :: Lens' Observation1012 GlonassL1Observation
-- | 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_observations :: Lens' Msg1012 [Observation1012]
msg1012_header :: Lens' Msg1012 GlonassObservationHeader
msg1230 :: Word16
-- | Msg1230.
--
-- RTCMv3 message 1230.
newtype Msg1230
Msg1230 :: GlonassBias -> Msg1230
-- | GLONASS bias.
[_msg1230_bias] :: Msg1230 -> GlonassBias
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 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_updateInterval :: Lens' GpsOrbitCorrectionHeader Word8
gpsOrbitCorrectionHeader_solution :: Lens' GpsOrbitCorrectionHeader Word8
gpsOrbitCorrectionHeader_provider :: Lens' GpsOrbitCorrectionHeader Word16
gpsOrbitCorrectionHeader_num :: Lens' GpsOrbitCorrectionHeader Word16
gpsOrbitCorrectionHeader_n :: Lens' GpsOrbitCorrectionHeader Word8
gpsOrbitCorrectionHeader_multiple :: Lens' GpsOrbitCorrectionHeader Bool
gpsOrbitCorrectionHeader_iod :: Lens' GpsOrbitCorrectionHeader Word8
gpsOrbitCorrectionHeader_epochs :: Lens' GpsOrbitCorrectionHeader Word32
gpsOrbitCorrectionHeader_datum :: Lens' GpsOrbitCorrectionHeader Bool
-- | 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_sat :: Lens' GpsOrbitCorrection Word8
gpsOrbitCorrection_iode :: Lens' GpsOrbitCorrection Word8
gpsOrbitCorrection_dotDeltaRadial :: Lens' GpsOrbitCorrection Int32
gpsOrbitCorrection_dotDeltaCrossTrack :: Lens' GpsOrbitCorrection Int32
gpsOrbitCorrection_dotDeltaAlongTrack :: Lens' GpsOrbitCorrection Int32
gpsOrbitCorrection_deltaRadial :: Lens' GpsOrbitCorrection Int32
gpsOrbitCorrection_deltaCrossTrack :: Lens' GpsOrbitCorrection Int32
gpsOrbitCorrection_deltaAlongTrack :: Lens' GpsOrbitCorrection Int32
-- | 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_updateInterval :: Lens' GpsClockCorrectionHeader Word8
gpsClockCorrectionHeader_solution :: Lens' GpsClockCorrectionHeader Word8
gpsClockCorrectionHeader_provider :: Lens' GpsClockCorrectionHeader Word16
gpsClockCorrectionHeader_num :: Lens' GpsClockCorrectionHeader Word16
gpsClockCorrectionHeader_n :: Lens' GpsClockCorrectionHeader Word8
gpsClockCorrectionHeader_multiple :: Lens' GpsClockCorrectionHeader Bool
gpsClockCorrectionHeader_iod :: Lens' GpsClockCorrectionHeader Word8
gpsClockCorrectionHeader_epochs :: Lens' GpsClockCorrectionHeader Word32
-- | 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_sat :: Lens' GpsClockCorrection Word8
gpsClockCorrection_deltaClockC2 :: Lens' GpsClockCorrection Int32
gpsClockCorrection_deltaClockC1 :: Lens' GpsClockCorrection Int32
gpsClockCorrection_deltaClockC0 :: Lens' GpsClockCorrection Int32
-- | 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_updateInterval :: Lens' GlonassOrbitCorrectionHeader Word8
glonassOrbitCorrectionHeader_solution :: Lens' GlonassOrbitCorrectionHeader Word8
glonassOrbitCorrectionHeader_provider :: Lens' GlonassOrbitCorrectionHeader Word16
glonassOrbitCorrectionHeader_num :: Lens' GlonassOrbitCorrectionHeader Word16
glonassOrbitCorrectionHeader_n :: Lens' GlonassOrbitCorrectionHeader Word8
glonassOrbitCorrectionHeader_multiple :: Lens' GlonassOrbitCorrectionHeader Bool
glonassOrbitCorrectionHeader_iod :: Lens' GlonassOrbitCorrectionHeader Word8
glonassOrbitCorrectionHeader_epochs :: Lens' GlonassOrbitCorrectionHeader Word32
glonassOrbitCorrectionHeader_datum :: Lens' GlonassOrbitCorrectionHeader Bool
-- | 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_sat :: Lens' GlonassOrbitCorrection Word8
glonassOrbitCorrection_iode :: Lens' GlonassOrbitCorrection Word8
glonassOrbitCorrection_dotDeltaRadial :: Lens' GlonassOrbitCorrection Int32
glonassOrbitCorrection_dotDeltaCrossTrack :: Lens' GlonassOrbitCorrection Int32
glonassOrbitCorrection_dotDeltaAlongTrack :: Lens' GlonassOrbitCorrection Int32
glonassOrbitCorrection_deltaRadial :: Lens' GlonassOrbitCorrection Int32
glonassOrbitCorrection_deltaCrossTrack :: Lens' GlonassOrbitCorrection Int32
glonassOrbitCorrection_deltaAlongTrack :: Lens' GlonassOrbitCorrection Int32
-- | 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_updateInterval :: Lens' GlonassClockCorrectionHeader Word8
glonassClockCorrectionHeader_solution :: Lens' GlonassClockCorrectionHeader Word8
glonassClockCorrectionHeader_provider :: Lens' GlonassClockCorrectionHeader Word16
glonassClockCorrectionHeader_num :: Lens' GlonassClockCorrectionHeader Word16
glonassClockCorrectionHeader_n :: Lens' GlonassClockCorrectionHeader Word8
glonassClockCorrectionHeader_multiple :: Lens' GlonassClockCorrectionHeader Bool
glonassClockCorrectionHeader_iod :: Lens' GlonassClockCorrectionHeader Word8
glonassClockCorrectionHeader_epochs :: Lens' GlonassClockCorrectionHeader Word32
-- | 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_sat :: Lens' GlonassClockCorrection Word8
glonassClockCorrection_deltaClockC2 :: Lens' GlonassClockCorrection Int32
glonassClockCorrection_deltaClockC1 :: Lens' GlonassClockCorrection Int32
glonassClockCorrection_deltaClockC0 :: Lens' GlonassClockCorrection Int32
msg1057 :: Word16
-- | 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_header :: Lens' Msg1057 GpsOrbitCorrectionHeader
msg1057_corrections :: Lens' Msg1057 [GpsOrbitCorrection]
msg1058 :: Word16
-- | 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_header :: Lens' Msg1058 GpsClockCorrectionHeader
msg1058_corrections :: Lens' Msg1058 [GpsClockCorrection]
msg1063 :: Word16
-- | 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_header :: Lens' Msg1063 GlonassOrbitCorrectionHeader
msg1063_corrections :: Lens' Msg1063 [GlonassOrbitCorrection]
msg1064 :: Word16
-- | 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_header :: Lens' Msg1064 GlonassClockCorrectionHeader
msg1064_corrections :: Lens' Msg1064 [GlonassClockCorrection]
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.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 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_station :: Lens' MessageHeader Word16
messageHeader_seconds :: Lens' MessageHeader Word32
messageHeader_num :: Lens' MessageHeader Word16
messageHeader_n :: Lens' MessageHeader Word8
messageHeader_mjd :: Lens' MessageHeader Word16
messageHeader_leapSeconds :: Lens' MessageHeader Word8
-- | 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_synchronous :: Lens' Message Bool
message_num :: Lens' Message Word16
message_interval :: Lens' Message Word16
msg1013 :: Word16
-- | Msg1013.
--
-- RTCMv3 message 1013.
data Msg1013
Msg1013 :: MessageHeader -> [Message] -> Msg1013
-- | Messages header.
[_msg1013_header] :: Msg1013 -> MessageHeader
-- | Messages.
[_msg1013_messages] :: Msg1013 -> [Message]
msg1013_messages :: Lens' Msg1013 [Message]
msg1013_header :: Lens' Msg1013 MessageHeader
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.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 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
RTCM3Msg1033 :: Msg1033 -> Msg -> RTCM3Msg
RTCM3Msg1057 :: Msg1057 -> Msg -> RTCM3Msg
RTCM3Msg1058 :: Msg1058 -> Msg -> RTCM3Msg
RTCM3Msg1063 :: Msg1063 -> Msg -> RTCM3Msg
RTCM3Msg1064 :: Msg1064 -> Msg -> RTCM3Msg
RTCM3Msg1230 :: Msg1230 -> Msg -> RTCM3Msg
RTCM3MsgUnknown :: Word16 -> Msg -> RTCM3Msg
RTCM3MsgBadCrc :: Msg -> RTCM3Msg
RTCM3MsgEmpty :: Msg -> RTCM3Msg
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