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 |
RTCMv3 Observations.
Synopsis
- data GpsObservationHeader = GpsObservationHeader {}
- gpsObservationHeader_n :: Lens' GpsObservationHeader Word8
- gpsObservationHeader_num :: Lens' GpsObservationHeader Word16
- gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool
- gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8
- gpsObservationHeader_station :: Lens' GpsObservationHeader Word16
- gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool
- gpsObservationHeader_tow :: Lens' GpsObservationHeader Word32
- data GpsL1Observation = GpsL1Observation {}
- gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32
- gpsL1Observation_code :: Lens' GpsL1Observation Bool
- gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8
- gpsL1Observation_pseudorange :: Lens' GpsL1Observation Word32
- data GpsL1ExtObservation = GpsL1ExtObservation {}
- gpsL1ExtObservation_ambiguity :: Lens' GpsL1ExtObservation Word8
- gpsL1ExtObservation_cnr :: Lens' GpsL1ExtObservation Word8
- data GpsL2Observation = GpsL2Observation {}
- gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32
- gpsL2Observation_code :: Lens' GpsL2Observation Word8
- gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8
- gpsL2Observation_pseudorangeDifference :: Lens' GpsL2Observation Int16
- newtype GpsL2ExtObservation = GpsL2ExtObservation {}
- gpsL2ExtObservation_cnr :: Iso' GpsL2ExtObservation Word8
- data GlonassObservationHeader = GlonassObservationHeader {}
- glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32
- glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8
- glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16
- glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool
- glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8
- glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16
- glonassObservationHeader_synchronous :: Lens' GlonassObservationHeader Bool
- data GlonassL1Observation = GlonassL1Observation {}
- glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32
- glonassL1Observation_code :: Lens' GlonassL1Observation Bool
- glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8
- glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8
- glonassL1Observation_pseudorange :: Lens' GlonassL1Observation Word32
- data GlonassL1ExtObservation = GlonassL1ExtObservation {}
- glonassL1ExtObservation_ambiguity :: Lens' GlonassL1ExtObservation Word8
- glonassL1ExtObservation_cnr :: Lens' GlonassL1ExtObservation Word8
- data GlonassL2Observation = GlonassL2Observation {}
- glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32
- glonassL2Observation_code :: Lens' GlonassL2Observation Word8
- glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8
- glonassL2Observation_pseudorangeDifference :: Lens' GlonassL2Observation Int16
- newtype GlonassL2ExtObservation = GlonassL2ExtObservation {}
- glonassL2ExtObservation_cnr :: Iso' GlonassL2ExtObservation Word8
- data GlonassBias = GlonassBias {}
- glonassBias_bias :: Lens' GlonassBias Bool
- glonassBias_biases :: Lens' GlonassBias [Int16]
- glonassBias_mask :: Lens' GlonassBias Word8
- glonassBias_num :: Lens' GlonassBias Word16
- glonassBias_station :: Lens' GlonassBias Word16
- data Observation1001 = Observation1001 {}
- msg1001 :: Word16
- observation1001_l1 :: Lens' Observation1001 GpsL1Observation
- observation1001_sat :: Lens' Observation1001 Word8
- data Msg1001 = Msg1001 {}
- msg1001_header :: Lens' Msg1001 GpsObservationHeader
- msg1001_observations :: Lens' Msg1001 [Observation1001]
- data Observation1002 = Observation1002 {}
- msg1002 :: Word16
- observation1002_l1 :: Lens' Observation1002 GpsL1Observation
- observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation
- observation1002_sat :: Lens' Observation1002 Word8
- data Msg1002 = Msg1002 {}
- msg1002_header :: Lens' Msg1002 GpsObservationHeader
- msg1002_observations :: Lens' Msg1002 [Observation1002]
- data Observation1003 = Observation1003 {}
- msg1003 :: Word16
- observation1003_l1 :: Lens' Observation1003 GpsL1Observation
- observation1003_l2 :: Lens' Observation1003 GpsL2Observation
- observation1003_sat :: Lens' Observation1003 Word8
- data Msg1003 = Msg1003 {}
- msg1003_header :: Lens' Msg1003 GpsObservationHeader
- msg1003_observations :: Lens' Msg1003 [Observation1003]
- data Observation1004 = Observation1004 {}
- msg1004 :: Word16
- observation1004_l1 :: Lens' Observation1004 GpsL1Observation
- observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation
- observation1004_l2 :: Lens' Observation1004 GpsL2Observation
- observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation
- observation1004_sat :: Lens' Observation1004 Word8
- data Msg1004 = Msg1004 {}
- msg1004_header :: Lens' Msg1004 GpsObservationHeader
- msg1004_observations :: Lens' Msg1004 [Observation1004]
- data Observation1009 = Observation1009 {}
- msg1009 :: Word16
- observation1009_l1 :: Lens' Observation1009 GlonassL1Observation
- observation1009_sat :: Lens' Observation1009 Word8
- data Msg1009 = Msg1009 {}
- msg1009_header :: Lens' Msg1009 GlonassObservationHeader
- msg1009_observations :: Lens' Msg1009 [Observation1009]
- data Observation1010 = Observation1010 {}
- msg1010 :: Word16
- observation1010_l1 :: Lens' Observation1010 GlonassL1Observation
- observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation
- observation1010_sat :: Lens' Observation1010 Word8
- data Msg1010 = Msg1010 {}
- msg1010_header :: Lens' Msg1010 GlonassObservationHeader
- msg1010_observations :: Lens' Msg1010 [Observation1010]
- data Observation1011 = Observation1011 {}
- msg1011 :: Word16
- observation1011_l1 :: Lens' Observation1011 GlonassL1Observation
- observation1011_l2 :: Lens' Observation1011 GlonassL2Observation
- observation1011_sat :: Lens' Observation1011 Word8
- data Msg1011 = Msg1011 {}
- msg1011_header :: Lens' Msg1011 GlonassObservationHeader
- msg1011_observations :: Lens' Msg1011 [Observation1011]
- data Observation1012 = Observation1012 {}
- msg1012 :: Word16
- observation1012_l1 :: Lens' Observation1012 GlonassL1Observation
- observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation
- observation1012_l2 :: Lens' Observation1012 GlonassL2Observation
- observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation
- observation1012_sat :: Lens' Observation1012 Word8
- data Msg1012 = Msg1012 {}
- msg1012_header :: Lens' Msg1012 GlonassObservationHeader
- msg1012_observations :: Lens' Msg1012 [Observation1012]
- newtype Msg1230 = Msg1230 {}
- msg1230 :: Word16
- msg1230_bias :: Iso' Msg1230 GlonassBias
Documentation
data GpsObservationHeader Source #
GpsObservationHeader.
GPS RTK observation header.
GpsObservationHeader | |
|
Instances
data GpsL1Observation Source #
GpsL1Observation.
GPS RTK L1 observation.
GpsL1Observation | |
|
Instances
data GpsL1ExtObservation Source #
GpsL1ExtObservation.
GPS RTK L1 extended observation.
GpsL1ExtObservation | |
|
Instances
data GpsL2Observation Source #
GpsL2Observation.
GPS RTK L2 observation.
GpsL2Observation | |
|
Instances
newtype GpsL2ExtObservation Source #
GpsL2ExtObservation.
GPS RTK L2 extended observation.
GpsL2ExtObservation | |
|
Instances
data GlonassObservationHeader Source #
GlonassObservationHeader.
GLONASS RTK observation header.
GlonassObservationHeader | |
|
Instances
Eq GlonassObservationHeader Source # | |
Defined in Data.RTCM3.Observations | |
Read GlonassObservationHeader Source # | |
Show GlonassObservationHeader Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> GlonassObservationHeader -> ShowS # show :: GlonassObservationHeader -> String # showList :: [GlonassObservationHeader] -> ShowS # | |
ToJSON GlonassObservationHeader Source # | |
Defined in Data.RTCM3.Observations | |
FromJSON GlonassObservationHeader Source # | |
Defined in Data.RTCM3.Observations | |
BinaryBit GlonassObservationHeader Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> GlonassObservationHeader -> BitPut () # |
data GlonassL1Observation Source #
GlonassL1Observation.
GLONASS RTK L1 observation.
GlonassL1Observation | |
|
Instances
data GlonassL1ExtObservation Source #
GlonassL1ExtObservation.
GLONASS RTK L1 extended observation.
GlonassL1ExtObservation | |
|
Instances
Eq GlonassL1ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
Read GlonassL1ExtObservation Source # | |
Show GlonassL1ExtObservation Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> GlonassL1ExtObservation -> ShowS # show :: GlonassL1ExtObservation -> String # showList :: [GlonassL1ExtObservation] -> ShowS # | |
ToJSON GlonassL1ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
FromJSON GlonassL1ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
BinaryBit GlonassL1ExtObservation Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> GlonassL1ExtObservation -> BitPut () # getBits :: Int -> BitGet GlonassL1ExtObservation # |
data GlonassL2Observation Source #
GlonassL2Observation.
GLONASS RTK L2 observation.
GlonassL2Observation | |
|
Instances
newtype GlonassL2ExtObservation Source #
GlonassL2ExtObservation.
GLONASS RTK L2 extended observation.
GlonassL2ExtObservation | |
|
Instances
Eq GlonassL2ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
Read GlonassL2ExtObservation Source # | |
Show GlonassL2ExtObservation Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> GlonassL2ExtObservation -> ShowS # show :: GlonassL2ExtObservation -> String # showList :: [GlonassL2ExtObservation] -> ShowS # | |
ToJSON GlonassL2ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
FromJSON GlonassL2ExtObservation Source # | |
Defined in Data.RTCM3.Observations | |
BinaryBit GlonassL2ExtObservation Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> GlonassL2ExtObservation -> BitPut () # getBits :: Int -> BitGet GlonassL2ExtObservation # |
data GlonassBias Source #
GlonassBias.
GLONASS bias information.
GlonassBias | |
|
Instances
data Observation1001 Source #
Observation1001.
GPS RTK L1 observation for message 1001.
Observation1001 | |
|
Instances
Eq Observation1001 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1001 -> Observation1001 -> Bool # (/=) :: Observation1001 -> Observation1001 -> Bool # | |
Read Observation1001 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1001 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1001 -> ShowS # show :: Observation1001 -> String # showList :: [Observation1001] -> ShowS # | |
ToJSON Observation1001 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1001 -> Value # toEncoding :: Observation1001 -> Encoding # toJSONList :: [Observation1001] -> Value # toEncodingList :: [Observation1001] -> Encoding # | |
FromJSON Observation1001 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1001 # parseJSONList :: Value -> Parser [Observation1001] # | |
BinaryBit Observation1001 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1001 -> BitPut () # getBits :: Int -> BitGet Observation1001 # |
Msg1001.
RTCMv3 message 1001.
Msg1001 | |
|
data Observation1002 Source #
Observation1002.
GPS RTK L1 extended observation for message 1002.
Observation1002 | |
|
Instances
Eq Observation1002 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1002 -> Observation1002 -> Bool # (/=) :: Observation1002 -> Observation1002 -> Bool # | |
Read Observation1002 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1002 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1002 -> ShowS # show :: Observation1002 -> String # showList :: [Observation1002] -> ShowS # | |
ToJSON Observation1002 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1002 -> Value # toEncoding :: Observation1002 -> Encoding # toJSONList :: [Observation1002] -> Value # toEncodingList :: [Observation1002] -> Encoding # | |
FromJSON Observation1002 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1002 # parseJSONList :: Value -> Parser [Observation1002] # | |
BinaryBit Observation1002 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1002 -> BitPut () # getBits :: Int -> BitGet Observation1002 # |
Msg1002.
RTCMv3 message 1002.
Msg1002 | |
|
data Observation1003 Source #
Observation1003.
GPS RTK L1, L2 observation for message 1003.
Observation1003 | |
|
Instances
Eq Observation1003 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1003 -> Observation1003 -> Bool # (/=) :: Observation1003 -> Observation1003 -> Bool # | |
Read Observation1003 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1003 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1003 -> ShowS # show :: Observation1003 -> String # showList :: [Observation1003] -> ShowS # | |
ToJSON Observation1003 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1003 -> Value # toEncoding :: Observation1003 -> Encoding # toJSONList :: [Observation1003] -> Value # toEncodingList :: [Observation1003] -> Encoding # | |
FromJSON Observation1003 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1003 # parseJSONList :: Value -> Parser [Observation1003] # | |
BinaryBit Observation1003 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1003 -> BitPut () # getBits :: Int -> BitGet Observation1003 # |
Msg1003.
RTCMv3 message 1003.
Msg1003 | |
|
data Observation1004 Source #
Observation1004.
GPS RTK L1, L2 extended observation for message 1004.
Observation1004 | |
|
Instances
Eq Observation1004 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1004 -> Observation1004 -> Bool # (/=) :: Observation1004 -> Observation1004 -> Bool # | |
Read Observation1004 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1004 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1004 -> ShowS # show :: Observation1004 -> String # showList :: [Observation1004] -> ShowS # | |
ToJSON Observation1004 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1004 -> Value # toEncoding :: Observation1004 -> Encoding # toJSONList :: [Observation1004] -> Value # toEncodingList :: [Observation1004] -> Encoding # | |
FromJSON Observation1004 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1004 # parseJSONList :: Value -> Parser [Observation1004] # | |
BinaryBit Observation1004 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1004 -> BitPut () # getBits :: Int -> BitGet Observation1004 # |
Msg1004.
RTCMv3 message 1004.
Msg1004 | |
|
data Observation1009 Source #
Observation1009.
GLONASS RTK L1 observation for message 1009.
Observation1009 | |
|
Instances
Eq Observation1009 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1009 -> Observation1009 -> Bool # (/=) :: Observation1009 -> Observation1009 -> Bool # | |
Read Observation1009 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1009 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1009 -> ShowS # show :: Observation1009 -> String # showList :: [Observation1009] -> ShowS # | |
ToJSON Observation1009 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1009 -> Value # toEncoding :: Observation1009 -> Encoding # toJSONList :: [Observation1009] -> Value # toEncodingList :: [Observation1009] -> Encoding # | |
FromJSON Observation1009 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1009 # parseJSONList :: Value -> Parser [Observation1009] # | |
BinaryBit Observation1009 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1009 -> BitPut () # getBits :: Int -> BitGet Observation1009 # |
Msg1009.
RTCMv3 message 1009.
Msg1009 | |
|
data Observation1010 Source #
Observation1010.
GLONASS RTK L1 extended observation for message 1010.
Observation1010 | |
|
Instances
Eq Observation1010 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1010 -> Observation1010 -> Bool # (/=) :: Observation1010 -> Observation1010 -> Bool # | |
Read Observation1010 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1010 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1010 -> ShowS # show :: Observation1010 -> String # showList :: [Observation1010] -> ShowS # | |
ToJSON Observation1010 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1010 -> Value # toEncoding :: Observation1010 -> Encoding # toJSONList :: [Observation1010] -> Value # toEncodingList :: [Observation1010] -> Encoding # | |
FromJSON Observation1010 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1010 # parseJSONList :: Value -> Parser [Observation1010] # | |
BinaryBit Observation1010 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1010 -> BitPut () # getBits :: Int -> BitGet Observation1010 # |
Msg1010.
RTCMv3 message 1010.
Msg1010 | |
|
data Observation1011 Source #
Observation1011.
GLONASS RTK L1, L2 observation for message 1011.
Observation1011 | |
|
Instances
Eq Observation1011 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1011 -> Observation1011 -> Bool # (/=) :: Observation1011 -> Observation1011 -> Bool # | |
Read Observation1011 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1011 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1011 -> ShowS # show :: Observation1011 -> String # showList :: [Observation1011] -> ShowS # | |
ToJSON Observation1011 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1011 -> Value # toEncoding :: Observation1011 -> Encoding # toJSONList :: [Observation1011] -> Value # toEncodingList :: [Observation1011] -> Encoding # | |
FromJSON Observation1011 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1011 # parseJSONList :: Value -> Parser [Observation1011] # | |
BinaryBit Observation1011 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1011 -> BitPut () # getBits :: Int -> BitGet Observation1011 # |
Msg1011.
RTCMv3 message 1011.
Msg1011 | |
|
data Observation1012 Source #
Observation1012.
GLONASS RTK L1, L2 extended observation for message 1012.
Observation1012 | |
|
Instances
Eq Observation1012 Source # | |
Defined in Data.RTCM3.Observations (==) :: Observation1012 -> Observation1012 -> Bool # (/=) :: Observation1012 -> Observation1012 -> Bool # | |
Read Observation1012 Source # | |
Defined in Data.RTCM3.Observations | |
Show Observation1012 Source # | |
Defined in Data.RTCM3.Observations showsPrec :: Int -> Observation1012 -> ShowS # show :: Observation1012 -> String # showList :: [Observation1012] -> ShowS # | |
ToJSON Observation1012 Source # | |
Defined in Data.RTCM3.Observations toJSON :: Observation1012 -> Value # toEncoding :: Observation1012 -> Encoding # toJSONList :: [Observation1012] -> Value # toEncodingList :: [Observation1012] -> Encoding # | |
FromJSON Observation1012 Source # | |
Defined in Data.RTCM3.Observations parseJSON :: Value -> Parser Observation1012 # parseJSONList :: Value -> Parser [Observation1012] # | |
BinaryBit Observation1012 Source # | |
Defined in Data.RTCM3.Observations putBits :: Int -> Observation1012 -> BitPut () # getBits :: Int -> BitGet Observation1012 # |
Msg1012.
RTCMv3 message 1012.
Msg1012 | |
|