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

gpsEphemerisHeader_num :: Lens' GpsEphemerisHeader Word16 Source #

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

gpsEphemeris_af0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_af1 :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_af2 :: Lens' GpsEphemeris Int8 Source #

gpsEphemeris_c_ic :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_is :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_rc :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_rs :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_uc :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_c_us :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_codeOnL2 :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_dn :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_ecc :: Lens' GpsEphemeris Word32 Source #

gpsEphemeris_fitInterval :: Lens' GpsEphemeris Bool Source #

gpsEphemeris_i0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_idot :: Lens' GpsEphemeris Int16 Source #

gpsEphemeris_iodc :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_iode :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_l2pFlag :: Lens' GpsEphemeris Bool Source #

gpsEphemeris_m0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_omega0 :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_omegadot :: Lens' GpsEphemeris Int32 Source #

gpsEphemeris_sqrta :: Lens' GpsEphemeris Word32 Source #

gpsEphemeris_svAccuracy :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_svHealth :: Lens' GpsEphemeris Word8 Source #

gpsEphemeris_tgd :: Lens' GpsEphemeris Int8 Source #

gpsEphemeris_toc :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_toe :: Lens' GpsEphemeris Word16 Source #

gpsEphemeris_w :: Lens' GpsEphemeris Int32 Source #

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

glonassEphemerisHeader_channel :: Lens' GlonassEphemerisHeader Word8 Source #

glonassEphemerisHeader_num :: Lens' GlonassEphemerisHeader Word16 Source #

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

glonassEphemeris_additional :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_almanacHealth :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_bn_msb :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_en :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_gammaN :: Lens' GlonassEphemeris Int16 Source #

glonassEphemeris_healthAvailability :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mM :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mTauGps :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_mdeltatau :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_mft :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mi3 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mln5 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_mn4 :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mnt :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_mp :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_mp4 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_nA :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_p1 :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_p2 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_p3 :: Lens' GlonassEphemeris Bool Source #

glonassEphemeris_reserved :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_tauC :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_tauN :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_tb :: Lens' GlonassEphemeris Word8 Source #

glonassEphemeris_tk :: Lens' GlonassEphemeris Word16 Source #

glonassEphemeris_xn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_xndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_xndotdot :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_yn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_yndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_yndotdot :: Lens' GlonassEphemeris Int8 Source #

glonassEphemeris_zn :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_zndot :: Lens' GlonassEphemeris Int32 Source #

glonassEphemeris_zndotdot :: Lens' GlonassEphemeris Int8 Source #

data GalEphemerisHeader Source #

GalEphemerisHeader.

Galileo Ephemeris header.

Constructors

GalEphemerisHeader
Fields _galEphemerisHeader_num :: Word16 Message number. _galEphemerisHeader_sat :: Word8 Galileo satellite ID.

Instances

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

galEphemerisHeader_num :: Lens' GalEphemerisHeader Word16 Source #

galEphemerisHeader_sat :: Lens' GalEphemerisHeader Word8 Source #

data GalEphemerisFnav Source #

Constructors

GalEphemerisFnav

Fields

_galEphemerisFnav_wn :: Word16
Galileo week number, mod 1024 (0-1023).
_galEphemerisFnav_iodnav :: Word16
Galileo IODnav.
_galEphemerisFnav_sisa :: Word8
Galileo SISA index
_galEphemerisFnav_idot :: Int16
Galileo IDOT (rate of inclination angle). Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisFnav_toc :: Word16
Galileo t_oc. Unit: Seconds. Scale factor: 2^4
_galEphemerisFnav_af2 :: Int8
Galileo a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
_galEphemerisFnav_af1 :: Int32
Galileo a_f1. Unit: sec/sec. Scale factor: 2^(-43)
_galEphemerisFnav_af0 :: Int32
Galileo a_f0. Unit: seconds. Scale factor: 2^(-31)
_galEphemerisFnav_c_rs :: Int16
Galileo C_rs. Unit: Meters. Scale factor: 2^(-5)
_galEphemerisFnav_dn :: Int16
Galileo delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisFnav_m0 :: Int32
Galileo M_0. Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisFnav_c_uc :: Int16
Galileo C_uc. Unit: radians. Scale factor: 2^(-29)
_galEphemerisFnav_ecc :: Word32
Galileo Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
_galEphemerisFnav_c_us :: Int16
Galileo C_us. Unit: radians. Scale factor: 2^(-29)
_galEphemerisFnav_sqrta :: Word32
Galileo A^(12). Unit: meters^(12). Scale factor: 2^(-19)
_galEphemerisFnav_toe :: Word16
Galileo t_oe. Unit: seconds. Scale factor: 2^4
_galEphemerisFnav_c_ic :: Int16
Galileo C_ic. Unit: radians. Scale factor: 2^(-29)
_galEphemerisFnav_omega0 :: Int32
Galileo Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisFnav_c_is :: Int16
Galileo C_is. Unit: radians. Scale factor: 2^(-29)
_galEphemerisFnav_i0 :: Int32
Galileo i_0 (inclination angle at reference time; inc). Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisFnav_c_rc :: Int16
Galileo C_rc. Unit: meters. Scale factor: 2^(-5)
_galEphemerisFnav_w :: Int32
Galileo Argument of Perigee (omega, w). Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisFnav_omegadot :: Int32
Galileo Omegadot - rate or right ascension. Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisFnav_bgdE5a :: Int16
Galileo E5a/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
_galEphemerisFnav_nav_health :: Word8
Galileo nav health
_galEphemerisFnav_validity :: Word8
Galileo signal validity
_galEphemerisFnav_reserved :: Word8
Reserved field.

Instances

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

galEphemerisFnav_af0 :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_af1 :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_af2 :: Lens' GalEphemerisFnav Int8 Source #

galEphemerisFnav_bgdE5a :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_ic :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_is :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_rc :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_rs :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_uc :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_c_us :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_dn :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_ecc :: Lens' GalEphemerisFnav Word32 Source #

galEphemerisFnav_i0 :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_idot :: Lens' GalEphemerisFnav Int16 Source #

galEphemerisFnav_iodnav :: Lens' GalEphemerisFnav Word16 Source #

galEphemerisFnav_m0 :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_nav_health :: Lens' GalEphemerisFnav Word8 Source #

galEphemerisFnav_omega0 :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_omegadot :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_reserved :: Lens' GalEphemerisFnav Word8 Source #

galEphemerisFnav_sisa :: Lens' GalEphemerisFnav Word8 Source #

galEphemerisFnav_sqrta :: Lens' GalEphemerisFnav Word32 Source #

galEphemerisFnav_toc :: Lens' GalEphemerisFnav Word16 Source #

galEphemerisFnav_toe :: Lens' GalEphemerisFnav Word16 Source #

galEphemerisFnav_validity :: Lens' GalEphemerisFnav Word8 Source #

galEphemerisFnav_w :: Lens' GalEphemerisFnav Int32 Source #

galEphemerisFnav_wn :: Lens' GalEphemerisFnav Word16 Source #

data GalEphemerisInav Source #

Constructors

GalEphemerisInav

Fields

_galEphemerisInav_wn :: Word16
Galileo week number, mod 1024 (0-1023).
_galEphemerisInav_iodnav :: Word16
Galileo IODnav.
_galEphemerisInav_sisa :: Word8
Galileo SISA index
_galEphemerisInav_idot :: Int16
Galileo IDOT (rate of inclination angle). Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisInav_toc :: Word16
Galileo t_oc. Unit: Seconds. Scale factor: 2^4
_galEphemerisInav_af2 :: Int8
Galileo a_f2. Unit: sec/sec^2. Scale factor: 2^(-55)
_galEphemerisInav_af1 :: Int32
Galileo a_f1. Unit: sec/sec. Scale factor: 2^(-43)
_galEphemerisInav_af0 :: Int32
Galileo a_f0. Unit: seconds. Scale factor: 2^(-31)
_galEphemerisInav_c_rs :: Int16
Galileo C_rs. Unit: Meters. Scale factor: 2^(-5)
_galEphemerisInav_dn :: Int16
Galileo delta n. Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisInav_m0 :: Int32
Galileo M_0. Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisInav_c_uc :: Int16
Galileo C_uc. Unit: radians. Scale factor: 2^(-29)
_galEphemerisInav_ecc :: Word32
Galileo Eccentricity (e). Unit: Dimensionless. Scale factor: 2^(-33)
_galEphemerisInav_c_us :: Int16
Galileo C_us. Unit: radians. Scale factor: 2^(-29)
_galEphemerisInav_sqrta :: Word32
Galileo A^(12). Unit: meters^(12). Scale factor: 2^(-19)
_galEphemerisInav_toe :: Word16
Galileo t_oe. Unit: seconds. Scale factor: 2^4
_galEphemerisInav_c_ic :: Int16
Galileo C_ic. Unit: radians. Scale factor: 2^(-29)
_galEphemerisInav_omega0 :: Int32
Galileo Omega_0. Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisInav_c_is :: Int16
Galileo C_is. Unit: radians. Scale factor: 2^(-29)
_galEphemerisInav_i0 :: Int32
Galileo i_0 (inclination angle at reference time; inc). Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisInav_c_rc :: Int16
Galileo C_rc. Unit: meters. Scale factor: 2^(-5)
_galEphemerisInav_w :: Int32
Galileo Argument of Perigee (omega, w). Unit: semi-circles. Scale factor: 2^(-31)
_galEphemerisInav_omegadot :: Int32
Galileo Omegadot - rate or right ascension. Unit: semi-circles/sec. Scale factor: 2^(-43)
_galEphemerisInav_bgdE5a :: Int16
Galileo E5a/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
_galEphemerisInav_bgdE5b :: Int16
Galileo E5b/E1 t_GD. Unit: seconds. Scale factor: 2^(-31)
_galEphemerisInav_E5b_health :: Word8
Galileo E5b signal health
_galEphemerisInav_E5b_validity :: Word8
Galileo E5b data flag
_galEphemerisInav_E1b_health :: Word8
Galileo E1b signal health
_galEphemerisInav_E1b_validity :: Word8
Galileo E1b data flag
_galEphemerisInav_reserved :: Word8
Reserved field.

Instances

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

galEphemerisInav_E1b_health :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_E1b_validity :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_E5b_health :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_E5b_validity :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_af0 :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_af1 :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_af2 :: Lens' GalEphemerisInav Int8 Source #

galEphemerisInav_bgdE5a :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_bgdE5b :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_ic :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_is :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_rc :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_rs :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_uc :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_c_us :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_dn :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_ecc :: Lens' GalEphemerisInav Word32 Source #

galEphemerisInav_i0 :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_idot :: Lens' GalEphemerisInav Int16 Source #

galEphemerisInav_iodnav :: Lens' GalEphemerisInav Word16 Source #

galEphemerisInav_m0 :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_omega0 :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_omegadot :: Lens' GalEphemerisInav Int32 Source #

galEphemerisInav_reserved :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_sisa :: Lens' GalEphemerisInav Word8 Source #

galEphemerisInav_sqrta :: Lens' GalEphemerisInav Word32 Source #

galEphemerisInav_toc :: Lens' GalEphemerisInav Word16 Source #

galEphemerisInav_toe :: Lens' GalEphemerisInav Word16 Source #

galEphemerisInav_w :: Lens' GalEphemerisInav Int32 Source #

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

msg1019 :: Word16 Source #

msg1019_ephemeris :: Lens' Msg1019 GpsEphemeris Source #

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

msg1020 :: Word16 Source #

msg1020_ephemeris :: Lens' Msg1020 GlonassEphemeris Source #

msg1020_header :: Lens' Msg1020 GlonassEphemerisHeader Source #

data Msg1045 Source #

Msg 1045.

RTCMv3 message 1045.

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

Constructors

Msg1045
Fields _msg1045_header :: GalEphemerisHeader GAL ephemeris header. _msg1045_ephemeris :: GalEphemerisFnav GAL ephemeris body.

Instances

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

msg1045 :: Word16 Source #

msg1045_ephemeris :: Lens' Msg1045 GalEphemerisFnav Source #

msg1045_header :: Lens' Msg1045 GalEphemerisHeader Source #

data Msg1046 Source #

Msg 1046.

RTCMv3 message 1046.

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

Constructors

Msg1046
Fields _msg1046_header :: GalEphemerisHeader GAL ephemeris header. _msg1046_ephemeris :: GalEphemerisInav GAL ephemeris body.

Instances

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

msg1046 :: Word16 Source #

msg1046_ephemeris :: Lens' Msg1046 GalEphemerisInav Source #

msg1046_header :: Lens' Msg1046 GalEphemerisHeader Source #