Copyright	Copyright (C) 2015 Swift Navigation Inc.
License	LGPL-3
Maintainer	Swift Navigation <[email protected]>
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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GpsObservationHeader -> GpsObservationHeader -> Bool # (/=) :: GpsObservationHeader -> GpsObservationHeader -> Bool #
Read GpsObservationHeader Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GpsObservationHeader # readList :: ReadS [GpsObservationHeader] # readPrec :: ReadPrec GpsObservationHeader # readListPrec :: ReadPrec [GpsObservationHeader] #
Show GpsObservationHeader Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GpsObservationHeader -> ShowS # show :: GpsObservationHeader -> String # showList :: [GpsObservationHeader] -> ShowS #
ToJSON GpsObservationHeader Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GpsObservationHeader -> Value # toEncoding :: GpsObservationHeader -> Encoding # toJSONList :: [GpsObservationHeader] -> Value # toEncodingList :: [GpsObservationHeader] -> Encoding #
FromJSON GpsObservationHeader Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GpsObservationHeader # parseJSONList :: Value -> Parser [GpsObservationHeader] #
BinaryBit GpsObservationHeader Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> GpsObservationHeader -> BitPut () # getBits :: Int -> BitGet GpsObservationHeader #

gpsObservationHeader_n :: Lens' GpsObservationHeader Word8 Source #

gpsObservationHeader_num :: Lens' GpsObservationHeader Word16 Source #

gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool Source #

gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8 Source #

gpsObservationHeader_station :: Lens' GpsObservationHeader Word16 Source #

gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool Source #

gpsObservationHeader_tow :: Lens' GpsObservationHeader Word32 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GpsL1Observation -> GpsL1Observation -> Bool # (/=) :: GpsL1Observation -> GpsL1Observation -> Bool #
Read GpsL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GpsL1Observation # readList :: ReadS [GpsL1Observation] # readPrec :: ReadPrec GpsL1Observation # readListPrec :: ReadPrec [GpsL1Observation] #
Show GpsL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GpsL1Observation -> ShowS # show :: GpsL1Observation -> String # showList :: [GpsL1Observation] -> ShowS #
ToJSON GpsL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GpsL1Observation -> Value # toEncoding :: GpsL1Observation -> Encoding # toJSONList :: [GpsL1Observation] -> Value # toEncodingList :: [GpsL1Observation] -> Encoding #
FromJSON GpsL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GpsL1Observation # parseJSONList :: Value -> Parser [GpsL1Observation] #
BinaryBit GpsL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> GpsL1Observation -> BitPut () # getBits :: Int -> BitGet GpsL1Observation #

gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32 Source #

gpsL1Observation_code :: Lens' GpsL1Observation Bool Source #

gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8 Source #

gpsL1Observation_pseudorange :: Lens' GpsL1Observation Word32 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GpsL1ExtObservation -> GpsL1ExtObservation -> Bool # (/=) :: GpsL1ExtObservation -> GpsL1ExtObservation -> Bool #
Read GpsL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GpsL1ExtObservation # readList :: ReadS [GpsL1ExtObservation] # readPrec :: ReadPrec GpsL1ExtObservation # readListPrec :: ReadPrec [GpsL1ExtObservation] #
Show GpsL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GpsL1ExtObservation -> ShowS # show :: GpsL1ExtObservation -> String # showList :: [GpsL1ExtObservation] -> ShowS #
ToJSON GpsL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GpsL1ExtObservation -> Value # toEncoding :: GpsL1ExtObservation -> Encoding # toJSONList :: [GpsL1ExtObservation] -> Value # toEncodingList :: [GpsL1ExtObservation] -> Encoding #
FromJSON GpsL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GpsL1ExtObservation # parseJSONList :: Value -> Parser [GpsL1ExtObservation] #
BinaryBit GpsL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> GpsL1ExtObservation -> BitPut () # getBits :: Int -> BitGet GpsL1ExtObservation #

gpsL1ExtObservation_ambiguity :: Lens' GpsL1ExtObservation Word8 Source #

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

gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32 Source #

gpsL2Observation_code :: Lens' GpsL2Observation Word8 Source #

gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8 Source #

gpsL2Observation_pseudorangeDifference :: Lens' GpsL2Observation Int16 Source #

newtype GpsL2ExtObservation Source #

GpsL2ExtObservation.

GPS RTK L2 extended observation.

Constructors

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

Instances

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

glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32 Source #

glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8 Source #

glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16 Source #

glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool Source #

glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8 Source #

glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16 Source #

glonassObservationHeader_synchronous :: Lens' GlonassObservationHeader Bool 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GlonassL1Observation -> GlonassL1Observation -> Bool # (/=) :: GlonassL1Observation -> GlonassL1Observation -> Bool #
Read GlonassL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GlonassL1Observation # readList :: ReadS [GlonassL1Observation] # readPrec :: ReadPrec GlonassL1Observation # readListPrec :: ReadPrec [GlonassL1Observation] #
Show GlonassL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GlonassL1Observation -> ShowS # show :: GlonassL1Observation -> String # showList :: [GlonassL1Observation] -> ShowS #
ToJSON GlonassL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GlonassL1Observation -> Value # toEncoding :: GlonassL1Observation -> Encoding # toJSONList :: [GlonassL1Observation] -> Value # toEncodingList :: [GlonassL1Observation] -> Encoding #
FromJSON GlonassL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GlonassL1Observation # parseJSONList :: Value -> Parser [GlonassL1Observation] #
BinaryBit GlonassL1Observation Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> GlonassL1Observation -> BitPut () # getBits :: Int -> BitGet GlonassL1Observation #

glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32 Source #

glonassL1Observation_code :: Lens' GlonassL1Observation Bool Source #

glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8 Source #

glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8 Source #

glonassL1Observation_pseudorange :: Lens' GlonassL1Observation Word32 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GlonassL1ExtObservation -> GlonassL1ExtObservation -> Bool # (/=) :: GlonassL1ExtObservation -> GlonassL1ExtObservation -> Bool #
Read GlonassL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GlonassL1ExtObservation # readList :: ReadS [GlonassL1ExtObservation] # readPrec :: ReadPrec GlonassL1ExtObservation # readListPrec :: ReadPrec [GlonassL1ExtObservation] #
Show GlonassL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GlonassL1ExtObservation -> ShowS # show :: GlonassL1ExtObservation -> String # showList :: [GlonassL1ExtObservation] -> ShowS #
ToJSON GlonassL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GlonassL1ExtObservation -> Value # toEncoding :: GlonassL1ExtObservation -> Encoding # toJSONList :: [GlonassL1ExtObservation] -> Value # toEncodingList :: [GlonassL1ExtObservation] -> Encoding #
FromJSON GlonassL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GlonassL1ExtObservation # parseJSONList :: Value -> Parser [GlonassL1ExtObservation] #
BinaryBit GlonassL1ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> GlonassL1ExtObservation -> BitPut () # getBits :: Int -> BitGet GlonassL1ExtObservation #

glonassL1ExtObservation_ambiguity :: Lens' GlonassL1ExtObservation Word8 Source #

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

glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32 Source #

glonassL2Observation_code :: Lens' GlonassL2Observation Word8 Source #

glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8 Source #

glonassL2Observation_pseudorangeDifference :: Lens' GlonassL2Observation Int16 Source #

newtype GlonassL2ExtObservation Source #

GlonassL2ExtObservation.

GLONASS RTK L2 extended observation.

Constructors

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

Instances

Eq GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: GlonassL2ExtObservation -> GlonassL2ExtObservation -> Bool # (/=) :: GlonassL2ExtObservation -> GlonassL2ExtObservation -> Bool #
Read GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS GlonassL2ExtObservation # readList :: ReadS [GlonassL2ExtObservation] # readPrec :: ReadPrec GlonassL2ExtObservation # readListPrec :: ReadPrec [GlonassL2ExtObservation] #
Show GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> GlonassL2ExtObservation -> ShowS # show :: GlonassL2ExtObservation -> String # showList :: [GlonassL2ExtObservation] -> ShowS #
ToJSON GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: GlonassL2ExtObservation -> Value # toEncoding :: GlonassL2ExtObservation -> Encoding # toJSONList :: [GlonassL2ExtObservation] -> Value # toEncodingList :: [GlonassL2ExtObservation] -> Encoding #
FromJSON GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser GlonassL2ExtObservation # parseJSONList :: Value -> Parser [GlonassL2ExtObservation] #
BinaryBit GlonassL2ExtObservation Source #
Instance details Defined in Data.RTCM3.Observations 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_biases :: [Int16] GLONASS code-phase biases.

Instances

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

glonassBias_bias :: Lens' GlonassBias Bool Source #

glonassBias_biases :: Lens' GlonassBias [Int16] Source #

glonassBias_mask :: Lens' GlonassBias Word8 Source #

glonassBias_num :: Lens' GlonassBias Word16 Source #

glonassBias_station :: Lens' GlonassBias 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1001 -> Observation1001 -> Bool # (/=) :: Observation1001 -> Observation1001 -> Bool #
Read Observation1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1001 # readList :: ReadS [Observation1001] # readPrec :: ReadPrec Observation1001 # readListPrec :: ReadPrec [Observation1001] #
Show Observation1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1001 -> ShowS # show :: Observation1001 -> String # showList :: [Observation1001] -> ShowS #
ToJSON Observation1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1001 -> Value # toEncoding :: Observation1001 -> Encoding # toJSONList :: [Observation1001] -> Value # toEncodingList :: [Observation1001] -> Encoding #
FromJSON Observation1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1001 # parseJSONList :: Value -> Parser [Observation1001] #
BinaryBit Observation1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1001 -> BitPut () # getBits :: Int -> BitGet Observation1001 #

msg1001 :: Word16 Source #

observation1001_l1 :: Lens' Observation1001 GpsL1Observation Source #

observation1001_sat :: Lens' Observation1001 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1001 -> Msg1001 -> Bool # (/=) :: Msg1001 -> Msg1001 -> Bool #
Read Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1001 # readList :: ReadS [Msg1001] # readPrec :: ReadPrec Msg1001 # readListPrec :: ReadPrec [Msg1001] #
Show Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1001 -> ShowS # show :: Msg1001 -> String # showList :: [Msg1001] -> ShowS #
ToJSON Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1001 -> Value # toEncoding :: Msg1001 -> Encoding # toJSONList :: [Msg1001] -> Value # toEncodingList :: [Msg1001] -> Encoding #
FromJSON Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1001 # parseJSONList :: Value -> Parser [Msg1001] #
Binary Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1001 -> Put # get :: Get Msg1001 # putList :: [Msg1001] -> Put #
ToRTCM3 Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1001 -> Msg Source #

msg1001_header :: Lens' Msg1001 GpsObservationHeader Source #

msg1001_observations :: Lens' Msg1001 [Observation1001] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1002 -> Observation1002 -> Bool # (/=) :: Observation1002 -> Observation1002 -> Bool #
Read Observation1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1002 # readList :: ReadS [Observation1002] # readPrec :: ReadPrec Observation1002 # readListPrec :: ReadPrec [Observation1002] #
Show Observation1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1002 -> ShowS # show :: Observation1002 -> String # showList :: [Observation1002] -> ShowS #
ToJSON Observation1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1002 -> Value # toEncoding :: Observation1002 -> Encoding # toJSONList :: [Observation1002] -> Value # toEncodingList :: [Observation1002] -> Encoding #
FromJSON Observation1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1002 # parseJSONList :: Value -> Parser [Observation1002] #
BinaryBit Observation1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1002 -> BitPut () # getBits :: Int -> BitGet Observation1002 #

msg1002 :: Word16 Source #

observation1002_l1 :: Lens' Observation1002 GpsL1Observation Source #

observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation Source #

observation1002_sat :: Lens' Observation1002 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1002 -> Msg1002 -> Bool # (/=) :: Msg1002 -> Msg1002 -> Bool #
Read Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1002 # readList :: ReadS [Msg1002] # readPrec :: ReadPrec Msg1002 # readListPrec :: ReadPrec [Msg1002] #
Show Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1002 -> ShowS # show :: Msg1002 -> String # showList :: [Msg1002] -> ShowS #
ToJSON Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1002 -> Value # toEncoding :: Msg1002 -> Encoding # toJSONList :: [Msg1002] -> Value # toEncodingList :: [Msg1002] -> Encoding #
FromJSON Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1002 # parseJSONList :: Value -> Parser [Msg1002] #
Binary Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1002 -> Put # get :: Get Msg1002 # putList :: [Msg1002] -> Put #
ToRTCM3 Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1002 -> Msg Source #

msg1002_header :: Lens' Msg1002 GpsObservationHeader Source #

msg1002_observations :: Lens' Msg1002 [Observation1002] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1003 -> Observation1003 -> Bool # (/=) :: Observation1003 -> Observation1003 -> Bool #
Read Observation1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1003 # readList :: ReadS [Observation1003] # readPrec :: ReadPrec Observation1003 # readListPrec :: ReadPrec [Observation1003] #
Show Observation1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1003 -> ShowS # show :: Observation1003 -> String # showList :: [Observation1003] -> ShowS #
ToJSON Observation1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1003 -> Value # toEncoding :: Observation1003 -> Encoding # toJSONList :: [Observation1003] -> Value # toEncodingList :: [Observation1003] -> Encoding #
FromJSON Observation1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1003 # parseJSONList :: Value -> Parser [Observation1003] #
BinaryBit Observation1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1003 -> BitPut () # getBits :: Int -> BitGet Observation1003 #

msg1003 :: Word16 Source #

observation1003_l1 :: Lens' Observation1003 GpsL1Observation Source #

observation1003_l2 :: Lens' Observation1003 GpsL2Observation Source #

observation1003_sat :: Lens' Observation1003 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1003 -> Msg1003 -> Bool # (/=) :: Msg1003 -> Msg1003 -> Bool #
Read Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1003 # readList :: ReadS [Msg1003] # readPrec :: ReadPrec Msg1003 # readListPrec :: ReadPrec [Msg1003] #
Show Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1003 -> ShowS # show :: Msg1003 -> String # showList :: [Msg1003] -> ShowS #
ToJSON Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1003 -> Value # toEncoding :: Msg1003 -> Encoding # toJSONList :: [Msg1003] -> Value # toEncodingList :: [Msg1003] -> Encoding #
FromJSON Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1003 # parseJSONList :: Value -> Parser [Msg1003] #
Binary Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1003 -> Put # get :: Get Msg1003 # putList :: [Msg1003] -> Put #
ToRTCM3 Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1003 -> Msg Source #

msg1003_header :: Lens' Msg1003 GpsObservationHeader Source #

msg1003_observations :: Lens' Msg1003 [Observation1003] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1004 -> Observation1004 -> Bool # (/=) :: Observation1004 -> Observation1004 -> Bool #
Read Observation1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1004 # readList :: ReadS [Observation1004] # readPrec :: ReadPrec Observation1004 # readListPrec :: ReadPrec [Observation1004] #
Show Observation1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1004 -> ShowS # show :: Observation1004 -> String # showList :: [Observation1004] -> ShowS #
ToJSON Observation1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1004 -> Value # toEncoding :: Observation1004 -> Encoding # toJSONList :: [Observation1004] -> Value # toEncodingList :: [Observation1004] -> Encoding #
FromJSON Observation1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1004 # parseJSONList :: Value -> Parser [Observation1004] #
BinaryBit Observation1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1004 -> BitPut () # getBits :: Int -> BitGet Observation1004 #

msg1004 :: Word16 Source #

observation1004_l1 :: Lens' Observation1004 GpsL1Observation Source #

observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation Source #

observation1004_l2 :: Lens' Observation1004 GpsL2Observation Source #

observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation Source #

observation1004_sat :: Lens' Observation1004 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1004 -> Msg1004 -> Bool # (/=) :: Msg1004 -> Msg1004 -> Bool #
Read Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1004 # readList :: ReadS [Msg1004] # readPrec :: ReadPrec Msg1004 # readListPrec :: ReadPrec [Msg1004] #
Show Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1004 -> ShowS # show :: Msg1004 -> String # showList :: [Msg1004] -> ShowS #
ToJSON Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1004 -> Value # toEncoding :: Msg1004 -> Encoding # toJSONList :: [Msg1004] -> Value # toEncodingList :: [Msg1004] -> Encoding #
FromJSON Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1004 # parseJSONList :: Value -> Parser [Msg1004] #
Binary Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1004 -> Put # get :: Get Msg1004 # putList :: [Msg1004] -> Put #
ToRTCM3 Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1004 -> Msg Source #

msg1004_header :: Lens' Msg1004 GpsObservationHeader Source #

msg1004_observations :: Lens' Msg1004 [Observation1004] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1009 -> Observation1009 -> Bool # (/=) :: Observation1009 -> Observation1009 -> Bool #
Read Observation1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1009 # readList :: ReadS [Observation1009] # readPrec :: ReadPrec Observation1009 # readListPrec :: ReadPrec [Observation1009] #
Show Observation1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1009 -> ShowS # show :: Observation1009 -> String # showList :: [Observation1009] -> ShowS #
ToJSON Observation1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1009 -> Value # toEncoding :: Observation1009 -> Encoding # toJSONList :: [Observation1009] -> Value # toEncodingList :: [Observation1009] -> Encoding #
FromJSON Observation1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1009 # parseJSONList :: Value -> Parser [Observation1009] #
BinaryBit Observation1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1009 -> BitPut () # getBits :: Int -> BitGet Observation1009 #

msg1009 :: Word16 Source #

observation1009_l1 :: Lens' Observation1009 GlonassL1Observation Source #

observation1009_sat :: Lens' Observation1009 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1009 -> Msg1009 -> Bool # (/=) :: Msg1009 -> Msg1009 -> Bool #
Read Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1009 # readList :: ReadS [Msg1009] # readPrec :: ReadPrec Msg1009 # readListPrec :: ReadPrec [Msg1009] #
Show Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1009 -> ShowS # show :: Msg1009 -> String # showList :: [Msg1009] -> ShowS #
ToJSON Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1009 -> Value # toEncoding :: Msg1009 -> Encoding # toJSONList :: [Msg1009] -> Value # toEncodingList :: [Msg1009] -> Encoding #
FromJSON Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1009 # parseJSONList :: Value -> Parser [Msg1009] #
Binary Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1009 -> Put # get :: Get Msg1009 # putList :: [Msg1009] -> Put #
ToRTCM3 Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1009 -> Msg Source #

msg1009_header :: Lens' Msg1009 GlonassObservationHeader Source #

msg1009_observations :: Lens' Msg1009 [Observation1009] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1010 -> Observation1010 -> Bool # (/=) :: Observation1010 -> Observation1010 -> Bool #
Read Observation1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1010 # readList :: ReadS [Observation1010] # readPrec :: ReadPrec Observation1010 # readListPrec :: ReadPrec [Observation1010] #
Show Observation1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1010 -> ShowS # show :: Observation1010 -> String # showList :: [Observation1010] -> ShowS #
ToJSON Observation1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1010 -> Value # toEncoding :: Observation1010 -> Encoding # toJSONList :: [Observation1010] -> Value # toEncodingList :: [Observation1010] -> Encoding #
FromJSON Observation1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1010 # parseJSONList :: Value -> Parser [Observation1010] #
BinaryBit Observation1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1010 -> BitPut () # getBits :: Int -> BitGet Observation1010 #

msg1010 :: Word16 Source #

observation1010_l1 :: Lens' Observation1010 GlonassL1Observation Source #

observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation Source #

observation1010_sat :: Lens' Observation1010 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1010 -> Msg1010 -> Bool # (/=) :: Msg1010 -> Msg1010 -> Bool #
Read Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1010 # readList :: ReadS [Msg1010] # readPrec :: ReadPrec Msg1010 # readListPrec :: ReadPrec [Msg1010] #
Show Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1010 -> ShowS # show :: Msg1010 -> String # showList :: [Msg1010] -> ShowS #
ToJSON Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1010 -> Value # toEncoding :: Msg1010 -> Encoding # toJSONList :: [Msg1010] -> Value # toEncodingList :: [Msg1010] -> Encoding #
FromJSON Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1010 # parseJSONList :: Value -> Parser [Msg1010] #
Binary Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1010 -> Put # get :: Get Msg1010 # putList :: [Msg1010] -> Put #
ToRTCM3 Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1010 -> Msg Source #

msg1010_header :: Lens' Msg1010 GlonassObservationHeader Source #

msg1010_observations :: Lens' Msg1010 [Observation1010] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1011 -> Observation1011 -> Bool # (/=) :: Observation1011 -> Observation1011 -> Bool #
Read Observation1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1011 # readList :: ReadS [Observation1011] # readPrec :: ReadPrec Observation1011 # readListPrec :: ReadPrec [Observation1011] #
Show Observation1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1011 -> ShowS # show :: Observation1011 -> String # showList :: [Observation1011] -> ShowS #
ToJSON Observation1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1011 -> Value # toEncoding :: Observation1011 -> Encoding # toJSONList :: [Observation1011] -> Value # toEncodingList :: [Observation1011] -> Encoding #
FromJSON Observation1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1011 # parseJSONList :: Value -> Parser [Observation1011] #
BinaryBit Observation1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1011 -> BitPut () # getBits :: Int -> BitGet Observation1011 #

msg1011 :: Word16 Source #

observation1011_l1 :: Lens' Observation1011 GlonassL1Observation Source #

observation1011_l2 :: Lens' Observation1011 GlonassL2Observation Source #

observation1011_sat :: Lens' Observation1011 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1011 -> Msg1011 -> Bool # (/=) :: Msg1011 -> Msg1011 -> Bool #
Read Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1011 # readList :: ReadS [Msg1011] # readPrec :: ReadPrec Msg1011 # readListPrec :: ReadPrec [Msg1011] #
Show Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1011 -> ShowS # show :: Msg1011 -> String # showList :: [Msg1011] -> ShowS #
ToJSON Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1011 -> Value # toEncoding :: Msg1011 -> Encoding # toJSONList :: [Msg1011] -> Value # toEncodingList :: [Msg1011] -> Encoding #
FromJSON Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1011 # parseJSONList :: Value -> Parser [Msg1011] #
Binary Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1011 -> Put # get :: Get Msg1011 # putList :: [Msg1011] -> Put #
ToRTCM3 Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1011 -> Msg Source #

msg1011_header :: Lens' Msg1011 GlonassObservationHeader Source #

msg1011_observations :: Lens' Msg1011 [Observation1011] 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Observation1012 -> Observation1012 -> Bool # (/=) :: Observation1012 -> Observation1012 -> Bool #
Read Observation1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Observation1012 # readList :: ReadS [Observation1012] # readPrec :: ReadPrec Observation1012 # readListPrec :: ReadPrec [Observation1012] #
Show Observation1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Observation1012 -> ShowS # show :: Observation1012 -> String # showList :: [Observation1012] -> ShowS #
ToJSON Observation1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Observation1012 -> Value # toEncoding :: Observation1012 -> Encoding # toJSONList :: [Observation1012] -> Value # toEncodingList :: [Observation1012] -> Encoding #
FromJSON Observation1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Observation1012 # parseJSONList :: Value -> Parser [Observation1012] #
BinaryBit Observation1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods putBits :: Int -> Observation1012 -> BitPut () # getBits :: Int -> BitGet Observation1012 #

msg1012 :: Word16 Source #

observation1012_l1 :: Lens' Observation1012 GlonassL1Observation Source #

observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation Source #

observation1012_l2 :: Lens' Observation1012 GlonassL2Observation Source #

observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation Source #

observation1012_sat :: Lens' Observation1012 Word8 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 #
Instance details Defined in Data.RTCM3.Observations Methods (==) :: Msg1012 -> Msg1012 -> Bool # (/=) :: Msg1012 -> Msg1012 -> Bool #
Read Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods readsPrec :: Int -> ReadS Msg1012 # readList :: ReadS [Msg1012] # readPrec :: ReadPrec Msg1012 # readListPrec :: ReadPrec [Msg1012] #
Show Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods showsPrec :: Int -> Msg1012 -> ShowS # show :: Msg1012 -> String # showList :: [Msg1012] -> ShowS #
ToJSON Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods toJSON :: Msg1012 -> Value # toEncoding :: Msg1012 -> Encoding # toJSONList :: [Msg1012] -> Value # toEncodingList :: [Msg1012] -> Encoding #
FromJSON Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods parseJSON :: Value -> Parser Msg1012 # parseJSONList :: Value -> Parser [Msg1012] #
Binary Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods put :: Msg1012 -> Put # get :: Get Msg1012 # putList :: [Msg1012] -> Put #
ToRTCM3 Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1012 -> Msg Source #

msg1012_header :: Lens' Msg1012 GlonassObservationHeader Source #

msg1012_observations :: Lens' Msg1012 [Observation1012] Source #

newtype Msg1230 Source #

Msg1230.

RTCMv3 message 1230.

Constructors

Msg1230
Fields _msg1230_bias :: GlonassBias GLONASS bias.

Instances

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

msg1230 :: Word16 Source #

msg1230_bias :: Iso' Msg1230 GlonassBias Source #