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.Observations

Description

RTCMv3 Observations.

Synopsis

Documentation

data GpsObservationHeader Source #

GpsObservationHeader.

GPS RTK observation header.

Constructors

GpsObservationHeader

Fields

_gpsObservationHeader_num :: Word16
Message number.
_gpsObservationHeader_station :: Word16
Reference station id.
_gpsObservationHeader_tow :: Word32
GPS epoch time.
_gpsObservationHeader_synchronous :: Bool
Synchronous GNSS flag.
_gpsObservationHeader_n :: Word8
Number of GPS satellite observations.
_gpsObservationHeader_smoothing :: Bool
GPS divergence-free smoothing indicator.
_gpsObservationHeader_smoothingInterval :: Word8
GPS smoothing interval.

Instances

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

gpsObservationHeader_tow :: Lens' GpsObservationHeader Word32 Source #

gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool Source #

gpsObservationHeader_station :: Lens' GpsObservationHeader Word16 Source #

gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8 Source #

gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool Source #

gpsObservationHeader_num :: Lens' GpsObservationHeader Word16 Source #

gpsObservationHeader_n :: Lens' GpsObservationHeader Word8 Source #

data GpsL1Observation Source #

GpsL1Observation.

GPS RTK L1 observation.

Constructors

GpsL1Observation
Fields _gpsL1Observation_code :: Bool GPS L1 code indicator. _gpsL1Observation_pseudorange :: Word32 GPS L1 pseudorange. _gpsL1Observation_carrierMinusCode :: Int32 GPS L1 phaserange - pseudorange. _gpsL1Observation_lockTime :: Word8 GPS L1 lock time indicator.

Instances

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

gpsL1Observation_pseudorange :: Lens' GpsL1Observation Word32 Source #

gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8 Source #

gpsL1Observation_code :: Lens' GpsL1Observation Bool Source #

gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32 Source #

data GpsL1ExtObservation Source #

GpsL1ExtObservation.

GPS RTK L1 extended observation.

Constructors

GpsL1ExtObservation
Fields _gpsL1ExtObservation_ambiguity :: Word8 GPS L1 pseudorange ambiguity. _gpsL1ExtObservation_cnr :: Word8 GPS L1 carrier-to-noise ratio.

Instances

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

gpsL1ExtObservation_cnr :: Lens' GpsL1ExtObservation Word8 Source #

gpsL1ExtObservation_ambiguity :: Lens' GpsL1ExtObservation Word8 Source #

data GpsL2Observation Source #

GpsL2Observation.

GPS RTK L2 observation.

Constructors

GpsL2Observation
Fields _gpsL2Observation_code :: Word8 GPS L2 code indicator. _gpsL2Observation_pseudorangeDifference :: Int16 GPS L2-L1 pseudorange difference. _gpsL2Observation_carrierMinusCode :: Int32 GPS L2 phaserange - L1 pseudorange. _gpsL2Observation_lockTime :: Word8 GPS L2 lock time indicator.

Instances

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

gpsL2Observation_pseudorangeDifference :: Lens' GpsL2Observation Int16 Source #

gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8 Source #

gpsL2Observation_code :: Lens' GpsL2Observation Word8 Source #

gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32 Source #

data GpsL2ExtObservation Source #

GpsL2ExtObservation.

GPS RTK L2 extended observation.

Constructors

GpsL2ExtObservation
Fields _gpsL2ExtObservation_cnr :: Word8 GPS L2 carrier-to-noise ratio.

Instances

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

gpsL2ExtObservation_cnr :: Iso' GpsL2ExtObservation Word8 Source #

data GlonassObservationHeader Source #

GlonassObservationHeader.

GLONASS RTK observation header.

Constructors

GlonassObservationHeader

Fields

_glonassObservationHeader_num :: Word16
Message number.
_glonassObservationHeader_station :: Word16
Reference station id.
_glonassObservationHeader_epoch :: Word32
GLONASS epoch time.
_glonassObservationHeader_synchronous :: Bool
Synchronous GNSS flag.
_glonassObservationHeader_n :: Word8
Number of GLONASS satellite observations.
_glonassObservationHeader_smoothing :: Bool
GLONASS divergence-free smoothing indicator.
_glonassObservationHeader_smoothingInterval :: Word8
GLONASS smoothing interval.

Instances

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

glonassObservationHeader_synchronous :: Lens' GlonassObservationHeader Bool Source #

glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16 Source #

glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8 Source #

glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool Source #

glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16 Source #

glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8 Source #

glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32 Source #

data GlonassL1Observation Source #

GlonassL1Observation.

GLONASS RTK L1 observation.

Constructors

GlonassL1Observation
Fields _glonassL1Observation_code :: Bool GLONASS L1 code indicator. _glonassL1Observation_frequency :: Word8 GLONASS satellite frequency channel number. _glonassL1Observation_pseudorange :: Word32 GLONASS L1 pseudorange. _glonassL1Observation_carrierMinusCode :: Int32 GLONASS L1 phaserange - pseudorange. _glonassL1Observation_lockTime :: Word8 GLONASS L1 lock time indicator.

Instances

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

glonassL1Observation_pseudorange :: Lens' GlonassL1Observation Word32 Source #

glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8 Source #

glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8 Source #

glonassL1Observation_code :: Lens' GlonassL1Observation Bool Source #

glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32 Source #

data GlonassL1ExtObservation Source #

GlonassL1ExtObservation.

GLONASS RTK L1 extended observation.

Constructors

GlonassL1ExtObservation
Fields _glonassL1ExtObservation_ambiguity :: Word8 GLONASS L1 pseudorange ambiguity. _glonassL1ExtObservation_cnr :: Word8 GLONASS L1 carrier-to-noise ratio.

Instances

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

glonassL1ExtObservation_cnr :: Lens' GlonassL1ExtObservation Word8 Source #

glonassL1ExtObservation_ambiguity :: Lens' GlonassL1ExtObservation Word8 Source #

data GlonassL2Observation Source #

GlonassL2Observation.

GLONASS RTK L2 observation.

Constructors

GlonassL2Observation
Fields _glonassL2Observation_code :: Word8 GLONASS L2 code indicator. _glonassL2Observation_pseudorangeDifference :: Int16 GLONASS L2-L1 pseudorange difference. _glonassL2Observation_carrierMinusCode :: Int32 GLONASS L2 phaserange - L1 pseudorange. _glonassL2Observation_lockTime :: Word8 GLONASS L2 lock time indicator.

Instances

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

glonassL2Observation_pseudorangeDifference :: Lens' GlonassL2Observation Int16 Source #

glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8 Source #

glonassL2Observation_code :: Lens' GlonassL2Observation Word8 Source #

glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32 Source #

data GlonassL2ExtObservation Source #

GlonassL2ExtObservation.

GLONASS RTK L2 extended observation.

Constructors

GlonassL2ExtObservation
Fields _glonassL2ExtObservation_cnr :: Word8 GLONASS L2 carrier-to-noise ratio.

Instances

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

glonassL2ExtObservation_cnr :: Iso' GlonassL2ExtObservation Word8 Source #

data GlonassBias Source #

GlonassBias.

GLONASS bias information.

Constructors

GlonassBias

Fields

_glonassBias_num :: Word16
Message number.
_glonassBias_station :: Word16
Reference station id.
_glonassBias_bias :: Bool
GLONASS Code-Phase bias indicator.
_glonassBias_mask :: Word8
GLONASS FDMA signals mask.
_glonassBias_l1ca :: Word16
GLONASS L1 C/A code-phase bias.
_glonassBias_l1p :: Word16
GLONASS L1 P code-phase bias.
_glonassBias_l2ca :: Word16
GLONASS L2 C/A code-phase bias.
_glonassBias_l2p :: Word16
GLONASS L2 P code-phase bias.

Instances

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

glonassBias_station :: Lens' GlonassBias Word16 Source #

glonassBias_num :: Lens' GlonassBias Word16 Source #

glonassBias_mask :: Lens' GlonassBias Word8 Source #

glonassBias_l2p :: Lens' GlonassBias Word16 Source #

glonassBias_l2ca :: Lens' GlonassBias Word16 Source #

glonassBias_l1p :: Lens' GlonassBias Word16 Source #

glonassBias_l1ca :: Lens' GlonassBias Word16 Source #

glonassBias_bias :: Lens' GlonassBias Bool Source #

msg1001 :: Word16 Source #

data Observation1001 Source #

Observation1001.

GPS RTK L1 observation for message 1001.

Constructors

Observation1001
Fields _observation1001_sat :: Word8 GPS satellite id. _observation1001_l1 :: GpsL1Observation GPS RTK L1 observation.

Instances

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

observation1001_sat :: Lens' Observation1001 Word8 Source #

observation1001_l1 :: Lens' Observation1001 GpsL1Observation Source #

data Msg1001 Source #

Msg1001.

RTCMv3 message 1001.

Constructors

Msg1001
Fields _msg1001_header :: GpsObservationHeader GPS observation header. _msg1001_observations :: [Observation1001] GPS RTK L1 observations.

Instances

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

msg1001_observations :: Lens' Msg1001 [Observation1001] Source #

msg1001_header :: Lens' Msg1001 GpsObservationHeader Source #

msg1002 :: Word16 Source #

data Observation1002 Source #

Observation1002.

GPS RTK L1 extended observation for message 1002.

Constructors

Observation1002
Fields _observation1002_sat :: Word8 GPS satellite id. _observation1002_l1 :: GpsL1Observation GPS RTK L1 observation. _observation1002_l1e :: GpsL1ExtObservation GPS RTK L1 extended observation.

Instances

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

observation1002_sat :: Lens' Observation1002 Word8 Source #

observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation Source #

observation1002_l1 :: Lens' Observation1002 GpsL1Observation Source #

data Msg1002 Source #

Msg1002.

RTCMv3 message 1002.

Constructors

Msg1002
Fields _msg1002_header :: GpsObservationHeader GPS observation header. _msg1002_observations :: [Observation1002] GPS RTK L1 extended observations.

Instances

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

msg1002_observations :: Lens' Msg1002 [Observation1002] Source #

msg1002_header :: Lens' Msg1002 GpsObservationHeader Source #

msg1003 :: Word16 Source #

data Observation1003 Source #

Observation1003.

GPS RTK L1, L2 observation for message 1003.

Constructors

Observation1003
Fields _observation1003_sat :: Word8 GPS satellite id. _observation1003_l1 :: GpsL1Observation GPS RTK L1 observation. _observation1003_l2 :: GpsL2Observation GPS RTK L2 observation.

Instances

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

observation1003_sat :: Lens' Observation1003 Word8 Source #

observation1003_l2 :: Lens' Observation1003 GpsL2Observation Source #

observation1003_l1 :: Lens' Observation1003 GpsL1Observation Source #

data Msg1003 Source #

Msg1003.

RTCMv3 message 1003.

Constructors

Msg1003
Fields _msg1003_header :: GpsObservationHeader GPS observation header. _msg1003_observations :: [Observation1003] GPS RTK L1, L2 observations.

Instances

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

msg1003_observations :: Lens' Msg1003 [Observation1003] Source #

msg1003_header :: Lens' Msg1003 GpsObservationHeader Source #

msg1004 :: Word16 Source #

data Observation1004 Source #

Observation1004.

GPS RTK L1, L2 extended observation for message 1004.

Constructors

Observation1004
Fields _observation1004_sat :: Word8 GPS satellite id. _observation1004_l1 :: GpsL1Observation GPS RTK L1 observation. _observation1004_l1e :: GpsL1ExtObservation GPS RTK L1 extended observation. _observation1004_l2 :: GpsL2Observation GPS RTK L2 observation. _observation1004_l2e :: GpsL2ExtObservation GPS RTK L2 extended observation.

Instances

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

observation1004_sat :: Lens' Observation1004 Word8 Source #

observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation Source #

observation1004_l2 :: Lens' Observation1004 GpsL2Observation Source #

observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation Source #

observation1004_l1 :: Lens' Observation1004 GpsL1Observation Source #

data Msg1004 Source #

Msg1004.

RTCMv3 message 1004.

Constructors

Msg1004
Fields _msg1004_header :: GpsObservationHeader GPS observation header. _msg1004_observations :: [Observation1004] GPS RTK L1, L2 extended observations.

Instances

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

msg1004_observations :: Lens' Msg1004 [Observation1004] Source #

msg1004_header :: Lens' Msg1004 GpsObservationHeader Source #

msg1009 :: Word16 Source #

data Observation1009 Source #

Observation1009.

GLONASS RTK L1 observation for message 1009.

Constructors

Observation1009
Fields _observation1009_sat :: Word8 GLONASS satellite id. _observation1009_l1 :: GlonassL1Observation GLONASS RTK L1 observation.

Instances

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

observation1009_sat :: Lens' Observation1009 Word8 Source #

observation1009_l1 :: Lens' Observation1009 GlonassL1Observation Source #

data Msg1009 Source #

Msg1009.

RTCMv3 message 1009.

Constructors

Msg1009
Fields _msg1009_header :: GlonassObservationHeader GLONASS observation header. _msg1009_observations :: [Observation1009] GLONASS RTK L1 observations.

Instances

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

msg1009_observations :: Lens' Msg1009 [Observation1009] Source #

msg1009_header :: Lens' Msg1009 GlonassObservationHeader Source #

msg1010 :: Word16 Source #

data Observation1010 Source #

Observation1010.

GLONASS RTK L1 extended observation for message 1010.

Constructors

Observation1010
Fields _observation1010_sat :: Word8 GLONASS satellite id. _observation1010_l1 :: GlonassL1Observation GLONASS RTK L1 observation. _observation1010_l1e :: GlonassL1ExtObservation GLONASS RTK L1 extended observation.

Instances

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

observation1010_sat :: Lens' Observation1010 Word8 Source #

observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation Source #

observation1010_l1 :: Lens' Observation1010 GlonassL1Observation Source #

data Msg1010 Source #

Msg1010.

RTCMv3 message 1010.

Constructors

Msg1010
Fields _msg1010_header :: GlonassObservationHeader GLONASS observation header. _msg1010_observations :: [Observation1010] GLONASS RTK L1 extended observations.

Instances

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

msg1010_observations :: Lens' Msg1010 [Observation1010] Source #

msg1010_header :: Lens' Msg1010 GlonassObservationHeader Source #

msg1011 :: Word16 Source #

data Observation1011 Source #

Observation1011.

GLONASS RTK L1, L2 observation for message 1011.

Constructors

Observation1011
Fields _observation1011_sat :: Word8 GLONASS satellite id. _observation1011_l1 :: GlonassL1Observation GLONASS RTK L1 observation. _observation1011_l2 :: GlonassL2Observation GLONASS RTK L2 observation.

Instances

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

observation1011_sat :: Lens' Observation1011 Word8 Source #

observation1011_l2 :: Lens' Observation1011 GlonassL2Observation Source #

observation1011_l1 :: Lens' Observation1011 GlonassL1Observation Source #

data Msg1011 Source #

Msg1011.

RTCMv3 message 1011.

Constructors

Msg1011
Fields _msg1011_header :: GlonassObservationHeader GLONASS observation header. _msg1011_observations :: [Observation1011] GLONASS RTK L1, L2 observations.

Instances

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

msg1011_observations :: Lens' Msg1011 [Observation1011] Source #

msg1011_header :: Lens' Msg1011 GlonassObservationHeader Source #

msg1012 :: Word16 Source #

data Observation1012 Source #

Observation1012.

GLONASS RTK L1, L2 extended observation for message 1012.

Constructors

Observation1012
Fields _observation1012_sat :: Word8 GLONASS satellite id. _observation1012_l1 :: GlonassL1Observation GLONASS RTK L1 observation. _observation1012_l1e :: GlonassL1ExtObservation GLONASS RTK L1 extended observation. _observation1012_l2 :: GlonassL2Observation GLONASS RTK L2 observation. _observation1012_l2e :: GlonassL2ExtObservation GLONASS RTK L2 extended observation.

Instances

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

observation1012_sat :: Lens' Observation1012 Word8 Source #

observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation Source #

observation1012_l2 :: Lens' Observation1012 GlonassL2Observation Source #

observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation Source #

observation1012_l1 :: Lens' Observation1012 GlonassL1Observation Source #

data Msg1012 Source #

Msg1012.

RTCMv3 message 1012.

Constructors

Msg1012
Fields _msg1012_header :: GlonassObservationHeader GLONASS observation header. _msg1012_observations :: [Observation1012] GLONASS RTK L1, L2 extended observations.

Instances

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

msg1012_observations :: Lens' Msg1012 [Observation1012] Source #

msg1012_header :: Lens' Msg1012 GlonassObservationHeader Source #

msg1230 :: Word16 Source #

data Msg1230 Source #

Msg1230.

RTCMv3 message 1230.

Constructors

Msg1230
Fields _msg1230_bias :: GlonassBias GLONASS bias.

Instances

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

msg1230_bias :: Iso' Msg1230 GlonassBias Source #