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

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 #
Methods (==) :: AntennaReference -> AntennaReference -> Bool # (/=) :: AntennaReference -> AntennaReference -> Bool #
Read AntennaReference Source #
Methods readsPrec :: Int -> ReadS AntennaReference # readList :: ReadS [AntennaReference] # readPrec :: ReadPrec AntennaReference readListPrec :: ReadPrec [AntennaReference]
Show AntennaReference Source #
Methods showsPrec :: Int -> AntennaReference -> ShowS # show :: AntennaReference -> String # showList :: [AntennaReference] -> ShowS #
ToJSON AntennaReference Source #
Methods toJSON :: AntennaReference -> Value # toEncoding :: AntennaReference -> Encoding #
FromJSON AntennaReference Source #
Methods parseJSON :: Value -> Parser AntennaReference #
BinaryBit AntennaReference Source #
Methods putBits :: Int -> AntennaReference -> BitPut () # getBits :: Int -> BitGet AntennaReference #

antennaReference_station :: Lens' AntennaReference Word16 Source #

antennaReference_quarterCycle :: Lens' AntennaReference Word8 Source #

antennaReference_oscillator :: Lens' AntennaReference Bool Source #

antennaReference_num :: Lens' AntennaReference Word16 Source #

antennaReference_gps :: Lens' AntennaReference Bool Source #

antennaReference_glonass :: Lens' AntennaReference Bool Source #

antennaReference_ecef_z :: Lens' AntennaReference Int64 Source #

antennaReference_ecef_y :: Lens' AntennaReference Int64 Source #

antennaReference_ecef_x :: Lens' AntennaReference Int64 Source #

antennaReference_computed :: Lens' AntennaReference Bool Source #

data ExtAntennaReference Source #

ExtAntennaReference.

Extended stationary antenna reference point information.

Constructors

ExtAntennaReference
Fields _extAntennaReference_height :: Word16 Antenna height.

Instances

Eq ExtAntennaReference Source #
Methods (==) :: ExtAntennaReference -> ExtAntennaReference -> Bool # (/=) :: ExtAntennaReference -> ExtAntennaReference -> Bool #
Read ExtAntennaReference Source #
Methods readsPrec :: Int -> ReadS ExtAntennaReference # readList :: ReadS [ExtAntennaReference] # readPrec :: ReadPrec ExtAntennaReference readListPrec :: ReadPrec [ExtAntennaReference]
Show ExtAntennaReference Source #
Methods showsPrec :: Int -> ExtAntennaReference -> ShowS # show :: ExtAntennaReference -> String # showList :: [ExtAntennaReference] -> ShowS #
ToJSON ExtAntennaReference Source #
Methods toJSON :: ExtAntennaReference -> Value # toEncoding :: ExtAntennaReference -> Encoding #
FromJSON ExtAntennaReference Source #
Methods parseJSON :: Value -> Parser ExtAntennaReference #
BinaryBit ExtAntennaReference Source #
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 #
Methods (==) :: AntennaDescriptor -> AntennaDescriptor -> Bool # (/=) :: AntennaDescriptor -> AntennaDescriptor -> Bool #
Read AntennaDescriptor Source #
Methods readsPrec :: Int -> ReadS AntennaDescriptor # readList :: ReadS [AntennaDescriptor] # readPrec :: ReadPrec AntennaDescriptor readListPrec :: ReadPrec [AntennaDescriptor]
Show AntennaDescriptor Source #
Methods showsPrec :: Int -> AntennaDescriptor -> ShowS # show :: AntennaDescriptor -> String # showList :: [AntennaDescriptor] -> ShowS #
ToJSON AntennaDescriptor Source #
Methods toJSON :: AntennaDescriptor -> Value # toEncoding :: AntennaDescriptor -> Encoding #
FromJSON AntennaDescriptor Source #
Methods parseJSON :: Value -> Parser AntennaDescriptor #
BinaryBit AntennaDescriptor Source #
Methods putBits :: Int -> AntennaDescriptor -> BitPut () # getBits :: Int -> BitGet AntennaDescriptor #

antennaDescriptor_station :: Lens' AntennaDescriptor Word16 Source #

antennaDescriptor_setup :: Lens' AntennaDescriptor Word8 Source #

antennaDescriptor_num :: Lens' AntennaDescriptor Word16 Source #

antennaDescriptor_n :: Lens' AntennaDescriptor Word8 Source #

antennaDescriptor_descriptors :: Lens' AntennaDescriptor [Word8] 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 #
Methods (==) :: ExtAntennaDescriptor -> ExtAntennaDescriptor -> Bool # (/=) :: ExtAntennaDescriptor -> ExtAntennaDescriptor -> Bool #
Read ExtAntennaDescriptor Source #
Methods readsPrec :: Int -> ReadS ExtAntennaDescriptor # readList :: ReadS [ExtAntennaDescriptor] # readPrec :: ReadPrec ExtAntennaDescriptor readListPrec :: ReadPrec [ExtAntennaDescriptor]
Show ExtAntennaDescriptor Source #
Methods showsPrec :: Int -> ExtAntennaDescriptor -> ShowS # show :: ExtAntennaDescriptor -> String # showList :: [ExtAntennaDescriptor] -> ShowS #
ToJSON ExtAntennaDescriptor Source #
Methods toJSON :: ExtAntennaDescriptor -> Value # toEncoding :: ExtAntennaDescriptor -> Encoding #
FromJSON ExtAntennaDescriptor Source #
Methods parseJSON :: Value -> Parser ExtAntennaDescriptor #
BinaryBit ExtAntennaDescriptor Source #
Methods putBits :: Int -> ExtAntennaDescriptor -> BitPut () # getBits :: Int -> BitGet ExtAntennaDescriptor #

extAntennaDescriptor_serialNumbers :: Lens' ExtAntennaDescriptor [Word8] Source #

extAntennaDescriptor_n :: 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 #
Methods (==) :: ReceiverDescriptor -> ReceiverDescriptor -> Bool # (/=) :: ReceiverDescriptor -> ReceiverDescriptor -> Bool #
Read ReceiverDescriptor Source #
Methods readsPrec :: Int -> ReadS ReceiverDescriptor # readList :: ReadS [ReceiverDescriptor] # readPrec :: ReadPrec ReceiverDescriptor readListPrec :: ReadPrec [ReceiverDescriptor]
Show ReceiverDescriptor Source #
Methods showsPrec :: Int -> ReceiverDescriptor -> ShowS # show :: ReceiverDescriptor -> String # showList :: [ReceiverDescriptor] -> ShowS #
ToJSON ReceiverDescriptor Source #
Methods toJSON :: ReceiverDescriptor -> Value # toEncoding :: ReceiverDescriptor -> Encoding #
FromJSON ReceiverDescriptor Source #
Methods parseJSON :: Value -> Parser ReceiverDescriptor #
BinaryBit ReceiverDescriptor Source #
Methods putBits :: Int -> ReceiverDescriptor -> BitPut () # getBits :: Int -> BitGet ReceiverDescriptor #

receiverDescriptor_serialNumbers :: Lens' ReceiverDescriptor [Word8] Source #

receiverDescriptor_n :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_m :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_l :: Lens' ReceiverDescriptor Word8 Source #

receiverDescriptor_firmwareVersions :: Lens' ReceiverDescriptor [Word8] Source #

receiverDescriptor_descriptors :: Lens' ReceiverDescriptor [Word8] Source #

msg1005 :: Word16 Source #

data Msg1005 Source #

Msg1005.

RTCMv3 message 1005.

Constructors

Msg1005
Fields _msg1005_reference :: AntennaReference Antenna reference.

Instances

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

msg1005_reference :: Iso' Msg1005 AntennaReference Source #

msg1006 :: Word16 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 #
Methods (==) :: Msg1006 -> Msg1006 -> Bool # (/=) :: Msg1006 -> Msg1006 -> Bool #
Read Msg1006 Source #
Methods readsPrec :: Int -> ReadS Msg1006 # readList :: ReadS [Msg1006] # readPrec :: ReadPrec Msg1006 readListPrec :: ReadPrec [Msg1006]
Show Msg1006 Source #
Methods showsPrec :: Int -> Msg1006 -> ShowS # show :: Msg1006 -> String # showList :: [Msg1006] -> ShowS #
ToJSON Msg1006 Source #
Methods toJSON :: Msg1006 -> Value # toEncoding :: Msg1006 -> Encoding #
FromJSON Msg1006 Source #
Methods parseJSON :: Value -> Parser Msg1006 #
Binary Msg1006 Source #
Methods put :: Msg1006 -> Put get :: Get Msg1006 putList :: [Msg1006] -> Put
ToRTCM3 Msg1006 Source #
Methods toRTCM3 :: Msg1006 -> Msg Source #

msg1006_reference :: Lens' Msg1006 AntennaReference Source #

msg1006_extReference :: Lens' Msg1006 ExtAntennaReference Source #

msg1007 :: Word16 Source #

data Msg1007 Source #

Msg1007.

RTCMv3 message 1007.

Constructors

Msg1007
Fields _msg1007_descriptor :: AntennaDescriptor Antenna descriptor.

Instances

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

msg1007_descriptor :: Iso' Msg1007 AntennaDescriptor Source #

msg1008 :: Word16 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 #
Methods (==) :: Msg1008 -> Msg1008 -> Bool # (/=) :: Msg1008 -> Msg1008 -> Bool #
Read Msg1008 Source #
Methods readsPrec :: Int -> ReadS Msg1008 # readList :: ReadS [Msg1008] # readPrec :: ReadPrec Msg1008 readListPrec :: ReadPrec [Msg1008]
Show Msg1008 Source #
Methods showsPrec :: Int -> Msg1008 -> ShowS # show :: Msg1008 -> String # showList :: [Msg1008] -> ShowS #
ToJSON Msg1008 Source #
Methods toJSON :: Msg1008 -> Value # toEncoding :: Msg1008 -> Encoding #
FromJSON Msg1008 Source #
Methods parseJSON :: Value -> Parser Msg1008 #
Binary Msg1008 Source #
Methods put :: Msg1008 -> Put get :: Get Msg1008 putList :: [Msg1008] -> Put
ToRTCM3 Msg1008 Source #
Methods toRTCM3 :: Msg1008 -> Msg Source #

msg1008_extDescriptor :: Lens' Msg1008 ExtAntennaDescriptor Source #

msg1008_descriptor :: Lens' Msg1008 AntennaDescriptor Source #

msg1033 :: Word16 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 #
Methods (==) :: Msg1033 -> Msg1033 -> Bool # (/=) :: Msg1033 -> Msg1033 -> Bool #
Read Msg1033 Source #
Methods readsPrec :: Int -> ReadS Msg1033 # readList :: ReadS [Msg1033] # readPrec :: ReadPrec Msg1033 readListPrec :: ReadPrec [Msg1033]
Show Msg1033 Source #
Methods showsPrec :: Int -> Msg1033 -> ShowS # show :: Msg1033 -> String # showList :: [Msg1033] -> ShowS #
ToJSON Msg1033 Source #
Methods toJSON :: Msg1033 -> Value # toEncoding :: Msg1033 -> Encoding #
FromJSON Msg1033 Source #
Methods parseJSON :: Value -> Parser Msg1033 #
Binary Msg1033 Source #
Methods put :: Msg1033 -> Put get :: Get Msg1033 putList :: [Msg1033] -> Put
ToRTCM3 Msg1033 Source #
Methods toRTCM3 :: Msg1033 -> Msg Source #

msg1033_receiverDescriptor :: Lens' Msg1033 ReceiverDescriptor Source #

msg1033_antennaExtDescriptor :: Lens' Msg1033 ExtAntennaDescriptor Source #

msg1033_antennaDescriptor :: Lens' Msg1033 AntennaDescriptor Source #