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

Data.RTCM3.Ephemerides

Description

RTCMv3 Ephemerides messages

Synopsis

Documentation

data GpsEphemerisHeader Source #

GpsEphemerisHeader.

GPS and Glonass Ephemeris header.

Constructors

GpsEphemerisHeader
Fields _gpsEphemerisHeader_num :: Word16 Message number. _gpsEphemerisHeader_sat :: Word8 GPS/Glonass satellite ID.

Instances

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

gpsEphemerisHeader_sat :: Lens' GpsEphemerisHeader Word8 Source #

gpsEphemerisHeader_num :: Lens' GpsEphemerisHeader Word16 Source #

data GpsEphemeris Source #

Constructors

GpsEphemeris

Fields

_gpsEphemeris_wn :: Word16
GPS week number, mod 1024 (0-1023).
_gpsEphemeris_svAccuracy :: Word8
GPS SV accuracy
_gpsEphemeris_codeOnL2 :: Word8
GPS code on L2: 00 reserved, 01 P code on, 10 C/A code on, 11 L2C on.
_gpsEphemeris_idot :: Int16
GPS IDOT (rate of inclination angle). Unit: semi-circles/sec. Scale factor: 2^(-43)
_gpsEphemeris_iode :: Word8
GPS IODE.
_gpsEphemeris_toc :: Word16
GPS t_oc. Unit: Seconds. Scale factor: 2^4
_gpsEphemeris_af2 :: Int8
GPS a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
_gpsEphemeris_af1 :: Int16
GPS a_f1. Unit: sec/sec. Scale factor: 2^(-43)
_gpsEphemeris_af0 :: Int32
GPS a_f0. Unit: seconds. Scale factor: 2^(-31)
_gpsEphemeris_iodc :: Word16
GPS iodc.
_gpsEphemeris_c_rs :: Int16
GPS C_rs. Unit: Meters. Scale factor: 2^(-5)
_gpsEphemeris_dn :: Int16
GPS delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
_gpsEphemeris_m0 :: Int32
GPS M_0. Unit: semi-circles. Scale factor: 2^(-31)
_gpsEphemeris_c_uc :: Int16
GPS C_uc. Unit: radians. Scale factor: 2^(-29)
_gpsEphemeris_ecc :: Word32
GPS Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
_gpsEphemeris_c_us :: Int16
GPS C_us. Unit: radians. Scale factor: 2^(-29)
_gpsEphemeris_sqrta :: Word32
GPS A^(12). Unit: meters^(12). Scale factor: 2^(-19)
_gpsEphemeris_toe :: Word16
GPS t_oe. Unit: seconds. Scale factor: 2^4
_gpsEphemeris_c_ic :: Int16
GPS C_ic. Unit: radians. Scale factor: 2^(-29)
_gpsEphemeris_omega0 :: Int32
GPS Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
_gpsEphemeris_c_is :: Int16
GPS C_is. Unit: radians. Scale factor: 2^(-29)
_gpsEphemeris_i0 :: Int32
GPS i_0 (inclination angle at reference time; inc). Unit: semi-circles. Scale factor: 2^(-31)
_gpsEphemeris_c_rc :: Int16
GPS C_rc. Unit: meters. Scale factor: 2^(-5)
_gpsEphemeris_w :: Int32
GPS Argument of Perigee (omega, w). Unit: semi-circles. Scale factor: 2^(-31)
_gpsEphemeris_omegadot :: Int32
GPS Omegadot - rate or right ascension. Unit: semi-circles/sec. Scale factor: 2^(-43)
_gpsEphemeris_tgd :: Int8
GPS t_GD. Unit: seconds. Scale factor: 2^(-31)
_gpsEphemeris_svHealth :: Word8
GPS SV health
_gpsEphemeris_l2pFlag :: Bool
GPS L2P data flag
_gpsEphemeris_fitInterval :: Bool
GPS fit interval

Instances

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

gpsEphemeris_wn :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_w :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_toe :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_toc :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_tgd :: Lens' GpsEphemeris Int8 Source #

gpsEphemeris_svHealth :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_svAccuracy :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_sqrta :: Lens' GpsEphemeris Word32 Source #

gpsEphemeris_omegadot :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_omega0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_m0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_l2pFlag :: Lens' GpsEphemeris Bool Source #

gpsEphemeris_iode :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_iodc :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_idot :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_i0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_fitInterval :: Lens' GpsEphemeris Bool Source #

gpsEphemeris_ecc :: Lens' GpsEphemeris Word32 Source #

gpsEphemeris_dn :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_codeOnL2 :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_c_us :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_uc :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_rs :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_rc :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_is :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_ic :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_af2 :: Lens' GpsEphemeris Int8 Source #

gpsEphemeris_af1 :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_af0 :: Lens' GpsEphemeris Int32 Source #

data GlonassEphemerisHeader Source #

Constructors

GlonassEphemerisHeader
Fields _glonassEphemerisHeader_num :: Word16 RTCM message number _glonassEphemerisHeader_sat :: Word8 GLONASS Satellite ID (slot number) _glonassEphemerisHeader_channel :: Word8 Satellite frequency channel number

Instances

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

glonassEphemerisHeader_sat :: Lens' GlonassEphemerisHeader Word8 Source #

glonassEphemerisHeader_num :: Lens' GlonassEphemerisHeader Word16 Source #

glonassEphemerisHeader_channel :: Lens' GlonassEphemerisHeader Word8 Source #

data GlonassEphemeris Source #

Constructors

GlonassEphemeris

Fields

_glonassEphemeris_almanacHealth :: Bool
C_n word
_glonassEphemeris_healthAvailability :: Bool
Is GLONASS almanac health available?
_glonassEphemeris_p1 :: Word8
GLONASS P1 word
_glonassEphemeris_tk :: Word16
Time referenced to the beginning of GLONASS subframe within the current day. See DF107 on page 55 of the RTCM3.1 document for more information.
_glonassEphemeris_bn_msb :: Bool
MSB of B_n word: the ephemeris health flag
_glonassEphemeris_p2 :: Bool
GLONASS P2 word
_glonassEphemeris_tb :: Word8
Time to which GLONASS navigation data are referenced. Unit: 15 minutes
_glonassEphemeris_xndot :: Int32
GLONASS x_n(t_b), first time-derivative, given in PZ-90 datum. Unit: km/s Scale factor: 2^(-20)
_glonassEphemeris_xn :: Int32
GLONASS x_n(t_b), given in PZ-90 datum. Unit: km Scale factor: 2^(-11)
_glonassEphemeris_xndotdot :: Int8
GLONASS x_n(t_b), second time-derivative, given in PZ-90 datum. Unit: km/s^2 Scale factor: 2^(-30)
_glonassEphemeris_yndot :: Int32
GLONASS y_n(t_b), first time-derivative, given in PZ-90 datum. Unit: km/s Scale factor: 2^(-20)
_glonassEphemeris_yn :: Int32
GLONASS y_n(t_b), given in PZ-90 datum. Unit: km Scale factor: 2^(-11)
_glonassEphemeris_yndotdot :: Int8
GLONASS y_n(t_b), second time-derivative, given in PZ-90 datum. Unit: km/s^2 Scale factor: 2^(-30)
_glonassEphemeris_zndot :: Int32
GLONASS z_n(t_b), first time-derivative, given in PZ-90 datum. Unit: km/s Scale factor: 2^(-20)
_glonassEphemeris_zn :: Int32
GLONASS z_n(t_b), given in PZ-90 datum. Unit: km Scale factor: 2^(-11)
_glonassEphemeris_zndotdot :: Int8
GLONASS z_n(t_b), second time-derivative, given in PZ-90 datum. Unit: km/s^2 Scale factor: 2^(-30)
_glonassEphemeris_p3 :: Bool
GLONASS P3 word
_glonassEphemeris_gammaN :: Int16
Relative deviation of predicted carrier from nominal value. Scale factor: 2^(-40)
_glonassEphemeris_mp :: Word8
GLONASS-M P-word
_glonassEphemeris_mi3 :: Bool
GLONASS-M I_n word extracted from third string of the subframe [this is the extent of the explanation given in the RTCM document]
_glonassEphemeris_tauN :: Int32
GLONASS tau_n(t_b), correction to the satellite time relative to GLONASS system time. Units: seconds Scale factor: 2^(-30)
_glonassEphemeris_mdeltatau :: Int8
GLONASS time difference between navigation RF signal transmitted in L2 sub-band and navigation RF signal transmitted in L1 sub-band Units: seconds Scale factor: 2^(-30)
_glonassEphemeris_en :: Word8
GLONASS E_n, age of GLONASS navigation data Units: days Scale factor: 1
_glonassEphemeris_mp4 :: Bool
GLONASS-M P4 word
_glonassEphemeris_mft :: Word8
GLONASS-M predicted satellite user range accuracy at time t_b
_glonassEphemeris_mnt :: Word16
GLONASS_M calendar number of day within four-year interval starting from the first of January in a leap year Units: days Scale factor: 1
_glonassEphemeris_mM :: Word8
Type of GLONASS satellite: [01] -> GLONASS-M [00] -> non-GLONASS-M
_glonassEphemeris_additional :: Bool
Are the remaining fields ("additional data") valid?
_glonassEphemeris_nA :: Word16
GLONASS calendar number of day within the four-year period to which tau_c is referenced. Units: days Scale factor: 1
_glonassEphemeris_tauC :: Int32
GLONASS tau_c: difference between GLONASS system time and UTC(SU), referenced to _glonassEphemeris_nA. Units: seconds Scale factor: 2^(-31)
_glonassEphemeris_mn4 :: Word8
GLONASS-M N_4: four-year interval number starting from 1996 Units: 4 years
_glonassEphemeris_mTauGps :: Int32
GLONASS-M tau_gps: correction to GPS system time relative to GLONASS system time. Units: seconds Scale factor: 2^(-30)
_glonassEphemeris_mln5 :: Bool
GLONASS-M I_n word extracted from fifth string of the subframe [this is the extent of the explanation given in the RTCM document]
_glonassEphemeris_reserved :: Word8
Reserved field.

Instances

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

glonassEphemeris_zndotdot :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_zndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_zn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_yndotdot :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_yndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_yn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_xndotdot :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_xndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_xn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_tk :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_tb :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_tauN :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_tauC :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_reserved :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_p3 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_p2 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_p1 :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_nA :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_mp4 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mp :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mnt :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_mn4 :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mln5 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mi3 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mft :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mdeltatau :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_mTauGps :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_mM :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_healthAvailability :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_gammaN :: Lens' GlonassEphemeris Int16 Source #

glonassEphemeris_en :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_bn_msb :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_almanacHealth :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_additional :: Lens' GlonassEphemeris Bool Source #

msg1019 :: Word16 Source #

data Msg1019 Source #

Msg 1019.

RTCMv3 message 1019.

See RTCM spec and GPS SPS Signal Specification, 2.4.3, for more information about these fields.

Constructors

Msg1019
Fields _msg1019_header :: GpsEphemerisHeader GPS ephemeris header. _msg1019_ephemeris :: GpsEphemeris GPS ephemeris body.

Instances

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

msg1019_header :: Lens' Msg1019 GpsEphemerisHeader Source #

msg1019_ephemeris :: Lens' Msg1019 GpsEphemeris Source #

msg1020 :: Word16 Source #

data Msg1020 Source #

Message 1020

RTCMv3 message 1020.

See RTCM spec and GLONASS signal specification for more information about these fields.

Constructors

Msg1020
Fields _msg1020_header :: GlonassEphemerisHeader GLONASS ephemeris header. _msg1020_ephemeris :: GlonassEphemeris GLONASS ephemeris body.

Instances

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

msg1020_header :: Lens' Msg1020 GlonassEphemerisHeader Source #

msg1020_ephemeris :: Lens' Msg1020 GlonassEphemeris Source #