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

Data.RTCM3.Antennas

Description

RTCMv3 antenna messages for stationary references and descriptors.

Synopsis

data AntennaReference = AntennaReference {
- _antennaReference_num :: Word16
- _antennaReference_station :: Word16
- _antennaReference_gps :: Bool
- _antennaReference_glonass :: Bool
- _antennaReference_computed :: Bool
- _antennaReference_ecef_x :: Int64
- _antennaReference_oscillator :: Bool
- _antennaReference_ecef_y :: Int64
- _antennaReference_quarterCycle :: Word8
- _antennaReference_ecef_z :: 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
newtype ExtAntennaReference = ExtAntennaReference {
- _extAntennaReference_height :: Word16
}
extAntennaReference_height :: Iso' ExtAntennaReference Word16
data AntennaDescriptor = AntennaDescriptor {
- _antennaDescriptor_num :: Word16
- _antennaDescriptor_station :: Word16
- _antennaDescriptor_n :: Word8
- _antennaDescriptor_descriptors :: [Word8]
- _antennaDescriptor_setup :: 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
data ExtAntennaDescriptor = ExtAntennaDescriptor {
- _extAntennaDescriptor_n :: Word8
- _extAntennaDescriptor_serialNumbers :: [Word8]
}
extAntennaDescriptor_n :: Lens' ExtAntennaDescriptor Word8
extAntennaDescriptor_serialNumbers :: Lens' ExtAntennaDescriptor [Word8]
data ReceiverDescriptor = ReceiverDescriptor {
- _receiverDescriptor_n :: Word8
- _receiverDescriptor_descriptors :: [Word8]
- _receiverDescriptor_m :: Word8
- _receiverDescriptor_firmwareVersions :: [Word8]
- _receiverDescriptor_l :: Word8
- _receiverDescriptor_serialNumbers :: [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]
newtype Msg1005 = Msg1005 {
- _msg1005_reference :: AntennaReference
}
msg1005 :: Word16
msg1005_reference :: Iso' Msg1005 AntennaReference
data Msg1006 = Msg1006 {
- _msg1006_reference :: AntennaReference
- _msg1006_extReference :: ExtAntennaReference
}
msg1006 :: Word16
msg1006_extReference :: Lens' Msg1006 ExtAntennaReference
msg1006_reference :: Lens' Msg1006 AntennaReference
newtype Msg1007 = Msg1007 {
- _msg1007_descriptor :: AntennaDescriptor
}
msg1007 :: Word16
msg1007_descriptor :: Iso' Msg1007 AntennaDescriptor
data Msg1008 = Msg1008 {
- _msg1008_descriptor :: AntennaDescriptor
- _msg1008_extDescriptor :: ExtAntennaDescriptor
}
msg1008 :: Word16
msg1008_descriptor :: Lens' Msg1008 AntennaDescriptor
msg1008_extDescriptor :: Lens' Msg1008 ExtAntennaDescriptor
data Msg1033 = Msg1033 {
- _msg1033_antennaDescriptor :: AntennaDescriptor
- _msg1033_antennaExtDescriptor :: ExtAntennaDescriptor
- _msg1033_receiverDescriptor :: ReceiverDescriptor
}
msg1033 :: Word16
msg1033_antennaDescriptor :: Lens' Msg1033 AntennaDescriptor
msg1033_antennaExtDescriptor :: Lens' Msg1033 ExtAntennaDescriptor
msg1033_receiverDescriptor :: Lens' Msg1033 ReceiverDescriptor

Documentation

data AntennaReference Source #

AntennaReference.

Stationary antenna reference point information.

Constructors

AntennaReference

Fields

_antennaReference_num :: Word16
Message number.
_antennaReference_station :: Word16
Reference station id.
_antennaReference_gps :: Bool
GPS indicator.
_antennaReference_glonass :: Bool
GLONASS indicator.
_antennaReference_computed :: Bool
Reference-station non-physical indicator.
_antennaReference_ecef_x :: Int64
Antenna reference point ECEF-X.
_antennaReference_oscillator :: Bool
Single receiver oscillator indicator.
_antennaReference_ecef_y :: Int64
Antenna reference point ECEF-Y.
_antennaReference_quarterCycle :: Word8
Quarter cycle indicator.
_antennaReference_ecef_z :: Int64
Antenna reference point ECEF-Z.

Instances

Eq AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: AntennaReference -> AntennaReference -> Bool # (/=) :: AntennaReference -> AntennaReference -> Bool #
Read AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS AntennaReference # readList :: ReadS [AntennaReference] # readPrec :: ReadPrec AntennaReference # readListPrec :: ReadPrec [AntennaReference] #
Show AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> AntennaReference -> ShowS # show :: AntennaReference -> String # showList :: [AntennaReference] -> ShowS #
ToJSON AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: AntennaReference -> Value # toEncoding :: AntennaReference -> Encoding # toJSONList :: [AntennaReference] -> Value # toEncodingList :: [AntennaReference] -> Encoding #
FromJSON AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser AntennaReference # parseJSONList :: Value -> Parser [AntennaReference] #
BinaryBit AntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods putBits :: Int -> AntennaReference -> BitPut () # getBits :: Int -> BitGet AntennaReference #

antennaReference_computed :: Lens' AntennaReference Bool Source #

antennaReference_ecef_x :: Lens' AntennaReference Int64 Source #

antennaReference_ecef_y :: Lens' AntennaReference Int64 Source #

antennaReference_ecef_z :: Lens' AntennaReference Int64 Source #

antennaReference_glonass :: Lens' AntennaReference Bool Source #

antennaReference_gps :: Lens' AntennaReference Bool Source #

antennaReference_num :: Lens' AntennaReference Word16 Source #

antennaReference_oscillator :: Lens' AntennaReference Bool Source #

antennaReference_quarterCycle :: Lens' AntennaReference Word8 Source #

antennaReference_station :: Lens' AntennaReference Word16 Source #

newtype ExtAntennaReference Source #

ExtAntennaReference.

Extended stationary antenna reference point information.

Constructors

ExtAntennaReference
Fields _extAntennaReference_height :: Word16 Antenna height.

Instances

Eq ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: ExtAntennaReference -> ExtAntennaReference -> Bool # (/=) :: ExtAntennaReference -> ExtAntennaReference -> Bool #
Read ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS ExtAntennaReference # readList :: ReadS [ExtAntennaReference] # readPrec :: ReadPrec ExtAntennaReference # readListPrec :: ReadPrec [ExtAntennaReference] #
Show ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> ExtAntennaReference -> ShowS # show :: ExtAntennaReference -> String # showList :: [ExtAntennaReference] -> ShowS #
ToJSON ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: ExtAntennaReference -> Value # toEncoding :: ExtAntennaReference -> Encoding # toJSONList :: [ExtAntennaReference] -> Value # toEncodingList :: [ExtAntennaReference] -> Encoding #
FromJSON ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser ExtAntennaReference # parseJSONList :: Value -> Parser [ExtAntennaReference] #
BinaryBit ExtAntennaReference Source #
Instance details Defined in Data.RTCM3.Antennas Methods putBits :: Int -> ExtAntennaReference -> BitPut () # getBits :: Int -> BitGet ExtAntennaReference #

extAntennaReference_height :: Iso' ExtAntennaReference Word16 Source #

data AntennaDescriptor Source #

AntennaDescriptor.

Antenna description information.

Constructors

AntennaDescriptor
Fields _antennaDescriptor_num :: Word16 Message number. _antennaDescriptor_station :: Word16 Reference station id. _antennaDescriptor_n :: Word8 Number of antenna descriptors. _antennaDescriptor_descriptors :: [Word8] Antenna descriptors. _antennaDescriptor_setup :: Word8 Antenna setup id.

Instances

Eq AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: AntennaDescriptor -> AntennaDescriptor -> Bool # (/=) :: AntennaDescriptor -> AntennaDescriptor -> Bool #
Read AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS AntennaDescriptor # readList :: ReadS [AntennaDescriptor] # readPrec :: ReadPrec AntennaDescriptor # readListPrec :: ReadPrec [AntennaDescriptor] #
Show AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> AntennaDescriptor -> ShowS # show :: AntennaDescriptor -> String # showList :: [AntennaDescriptor] -> ShowS #
ToJSON AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: AntennaDescriptor -> Value # toEncoding :: AntennaDescriptor -> Encoding # toJSONList :: [AntennaDescriptor] -> Value # toEncodingList :: [AntennaDescriptor] -> Encoding #
FromJSON AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser AntennaDescriptor # parseJSONList :: Value -> Parser [AntennaDescriptor] #
BinaryBit AntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods putBits :: Int -> AntennaDescriptor -> BitPut () # getBits :: Int -> BitGet AntennaDescriptor #

antennaDescriptor_descriptors :: Lens' AntennaDescriptor [Word8] Source #

antennaDescriptor_n :: Lens' AntennaDescriptor Word8 Source #

antennaDescriptor_num :: Lens' AntennaDescriptor Word16 Source #

antennaDescriptor_setup :: Lens' AntennaDescriptor Word8 Source #

antennaDescriptor_station :: Lens' AntennaDescriptor Word16 Source #

data ExtAntennaDescriptor Source #

ExtAntennaDescriptor.

Extended antenna description information.

Constructors

ExtAntennaDescriptor
Fields _extAntennaDescriptor_n :: Word8 Number of antenna serial numbers. _extAntennaDescriptor_serialNumbers :: [Word8] Antenna serial numbers.

Instances

Eq ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: ExtAntennaDescriptor -> ExtAntennaDescriptor -> Bool # (/=) :: ExtAntennaDescriptor -> ExtAntennaDescriptor -> Bool #
Read ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS ExtAntennaDescriptor # readList :: ReadS [ExtAntennaDescriptor] # readPrec :: ReadPrec ExtAntennaDescriptor # readListPrec :: ReadPrec [ExtAntennaDescriptor] #
Show ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> ExtAntennaDescriptor -> ShowS # show :: ExtAntennaDescriptor -> String # showList :: [ExtAntennaDescriptor] -> ShowS #
ToJSON ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: ExtAntennaDescriptor -> Value # toEncoding :: ExtAntennaDescriptor -> Encoding # toJSONList :: [ExtAntennaDescriptor] -> Value # toEncodingList :: [ExtAntennaDescriptor] -> Encoding #
FromJSON ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser ExtAntennaDescriptor # parseJSONList :: Value -> Parser [ExtAntennaDescriptor] #
BinaryBit ExtAntennaDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods putBits :: Int -> ExtAntennaDescriptor -> BitPut () # getBits :: Int -> BitGet ExtAntennaDescriptor #

extAntennaDescriptor_n :: Lens' ExtAntennaDescriptor Word8 Source #

extAntennaDescriptor_serialNumbers :: Lens' ExtAntennaDescriptor [Word8] Source #

data ReceiverDescriptor Source #

ReceiverDescriptor.

Receiver description information.

Constructors

ReceiverDescriptor
Fields _receiverDescriptor_n :: Word8 Number of receiver descriptors. _receiverDescriptor_descriptors :: [Word8] Receiver descriptors. _receiverDescriptor_m :: Word8 Number of firmware versions. _receiverDescriptor_firmwareVersions :: [Word8] Firmware versions. _receiverDescriptor_l :: Word8 Number of serial numbers. _receiverDescriptor_serialNumbers :: [Word8] Serial numbers.

Instances

Eq ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: ReceiverDescriptor -> ReceiverDescriptor -> Bool # (/=) :: ReceiverDescriptor -> ReceiverDescriptor -> Bool #
Read ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS ReceiverDescriptor # readList :: ReadS [ReceiverDescriptor] # readPrec :: ReadPrec ReceiverDescriptor # readListPrec :: ReadPrec [ReceiverDescriptor] #
Show ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> ReceiverDescriptor -> ShowS # show :: ReceiverDescriptor -> String # showList :: [ReceiverDescriptor] -> ShowS #
ToJSON ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: ReceiverDescriptor -> Value # toEncoding :: ReceiverDescriptor -> Encoding # toJSONList :: [ReceiverDescriptor] -> Value # toEncodingList :: [ReceiverDescriptor] -> Encoding #
FromJSON ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser ReceiverDescriptor # parseJSONList :: Value -> Parser [ReceiverDescriptor] #
BinaryBit ReceiverDescriptor Source #
Instance details Defined in Data.RTCM3.Antennas Methods putBits :: Int -> ReceiverDescriptor -> BitPut () # getBits :: Int -> BitGet ReceiverDescriptor #

receiverDescriptor_descriptors :: Lens' ReceiverDescriptor [Word8] Source #

receiverDescriptor_firmwareVersions :: Lens' ReceiverDescriptor [Word8] Source #

receiverDescriptor_l :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_m :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_n :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_serialNumbers :: Lens' ReceiverDescriptor [Word8] Source #

newtype Msg1005 Source #

Msg1005.

RTCMv3 message 1005.

Constructors

Msg1005
Fields _msg1005_reference :: AntennaReference Antenna reference.

Instances

Eq Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: Msg1005 -> Msg1005 -> Bool # (/=) :: Msg1005 -> Msg1005 -> Bool #
Read Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS Msg1005 # readList :: ReadS [Msg1005] # readPrec :: ReadPrec Msg1005 # readListPrec :: ReadPrec [Msg1005] #
Show Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> Msg1005 -> ShowS # show :: Msg1005 -> String # showList :: [Msg1005] -> ShowS #
ToJSON Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: Msg1005 -> Value # toEncoding :: Msg1005 -> Encoding # toJSONList :: [Msg1005] -> Value # toEncodingList :: [Msg1005] -> Encoding #
FromJSON Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser Msg1005 # parseJSONList :: Value -> Parser [Msg1005] #
Binary Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods put :: Msg1005 -> Put # get :: Get Msg1005 # putList :: [Msg1005] -> Put #
ToRTCM3 Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1005 -> Msg Source #

msg1005 :: Word16 Source #

msg1005_reference :: Iso' Msg1005 AntennaReference Source #

data Msg1006 Source #

Msg1006.

RTCMv3 message 1006.

Constructors

Msg1006
Fields _msg1006_reference :: AntennaReference Antenna reference. _msg1006_extReference :: ExtAntennaReference Antenna extended reference.

Instances

Eq Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: Msg1006 -> Msg1006 -> Bool # (/=) :: Msg1006 -> Msg1006 -> Bool #
Read Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS Msg1006 # readList :: ReadS [Msg1006] # readPrec :: ReadPrec Msg1006 # readListPrec :: ReadPrec [Msg1006] #
Show Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> Msg1006 -> ShowS # show :: Msg1006 -> String # showList :: [Msg1006] -> ShowS #
ToJSON Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: Msg1006 -> Value # toEncoding :: Msg1006 -> Encoding # toJSONList :: [Msg1006] -> Value # toEncodingList :: [Msg1006] -> Encoding #
FromJSON Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser Msg1006 # parseJSONList :: Value -> Parser [Msg1006] #
Binary Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods put :: Msg1006 -> Put # get :: Get Msg1006 # putList :: [Msg1006] -> Put #
ToRTCM3 Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1006 -> Msg Source #

msg1006 :: Word16 Source #

msg1006_extReference :: Lens' Msg1006 ExtAntennaReference Source #

msg1006_reference :: Lens' Msg1006 AntennaReference Source #

newtype Msg1007 Source #

Msg1007.

RTCMv3 message 1007.

Constructors

Msg1007
Fields _msg1007_descriptor :: AntennaDescriptor Antenna descriptor.

Instances

Eq Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: Msg1007 -> Msg1007 -> Bool # (/=) :: Msg1007 -> Msg1007 -> Bool #
Read Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS Msg1007 # readList :: ReadS [Msg1007] # readPrec :: ReadPrec Msg1007 # readListPrec :: ReadPrec [Msg1007] #
Show Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> Msg1007 -> ShowS # show :: Msg1007 -> String # showList :: [Msg1007] -> ShowS #
ToJSON Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: Msg1007 -> Value # toEncoding :: Msg1007 -> Encoding # toJSONList :: [Msg1007] -> Value # toEncodingList :: [Msg1007] -> Encoding #
FromJSON Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser Msg1007 # parseJSONList :: Value -> Parser [Msg1007] #
Binary Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods put :: Msg1007 -> Put # get :: Get Msg1007 # putList :: [Msg1007] -> Put #
ToRTCM3 Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1007 -> Msg Source #

msg1007 :: Word16 Source #

msg1007_descriptor :: Iso' Msg1007 AntennaDescriptor Source #

data Msg1008 Source #

Msg1008.

RTCMv3 message 1008.

Constructors

Msg1008
Fields _msg1008_descriptor :: AntennaDescriptor Antenna descriptor. _msg1008_extDescriptor :: ExtAntennaDescriptor Antenna extended descriptor.

Instances

Eq Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: Msg1008 -> Msg1008 -> Bool # (/=) :: Msg1008 -> Msg1008 -> Bool #
Read Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS Msg1008 # readList :: ReadS [Msg1008] # readPrec :: ReadPrec Msg1008 # readListPrec :: ReadPrec [Msg1008] #
Show Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> Msg1008 -> ShowS # show :: Msg1008 -> String # showList :: [Msg1008] -> ShowS #
ToJSON Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: Msg1008 -> Value # toEncoding :: Msg1008 -> Encoding # toJSONList :: [Msg1008] -> Value # toEncodingList :: [Msg1008] -> Encoding #
FromJSON Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser Msg1008 # parseJSONList :: Value -> Parser [Msg1008] #
Binary Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods put :: Msg1008 -> Put # get :: Get Msg1008 # putList :: [Msg1008] -> Put #
ToRTCM3 Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1008 -> Msg Source #

msg1008 :: Word16 Source #

msg1008_descriptor :: Lens' Msg1008 AntennaDescriptor Source #

msg1008_extDescriptor :: Lens' Msg1008 ExtAntennaDescriptor Source #

data Msg1033 Source #

Msg1033.

RTCMv3 message 1033.

Constructors

Msg1033
Fields _msg1033_antennaDescriptor :: AntennaDescriptor Antenna descriptor. _msg1033_antennaExtDescriptor :: ExtAntennaDescriptor Antenna extended descriptor. _msg1033_receiverDescriptor :: ReceiverDescriptor Antenna descriptor.

Instances

Eq Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods (==) :: Msg1033 -> Msg1033 -> Bool # (/=) :: Msg1033 -> Msg1033 -> Bool #
Read Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods readsPrec :: Int -> ReadS Msg1033 # readList :: ReadS [Msg1033] # readPrec :: ReadPrec Msg1033 # readListPrec :: ReadPrec [Msg1033] #
Show Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods showsPrec :: Int -> Msg1033 -> ShowS # show :: Msg1033 -> String # showList :: [Msg1033] -> ShowS #
ToJSON Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toJSON :: Msg1033 -> Value # toEncoding :: Msg1033 -> Encoding # toJSONList :: [Msg1033] -> Value # toEncodingList :: [Msg1033] -> Encoding #
FromJSON Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods parseJSON :: Value -> Parser Msg1033 # parseJSONList :: Value -> Parser [Msg1033] #
Binary Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods put :: Msg1033 -> Put # get :: Get Msg1033 # putList :: [Msg1033] -> Put #
ToRTCM3 Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1033 -> Msg Source #

msg1033 :: Word16 Source #

msg1033_antennaDescriptor :: Lens' Msg1033 AntennaDescriptor Source #

msg1033_antennaExtDescriptor :: Lens' Msg1033 ExtAntennaDescriptor Source #

msg1033_receiverDescriptor :: Lens' Msg1033 ReceiverDescriptor Source #