Data.RTCM3.Ephemerides

RTCMv3 Ephemerides messages

Documentation

data GpsEphemerisHeader

GpsEphemerisHeader.

GPS and Glonass Ephemeris header.

Constructors

GpsEphemerisHeader

Fields

• _gpsEphemerisHeader_num :: Word16

  Message number.

• _gpsEphemerisHeader_sat :: Word8

  GPS/Glonass satellite ID.

Instances

Eq GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: GpsEphemerisHeader -> GpsEphemerisHeader -> Bool

(/=) :: GpsEphemerisHeader -> GpsEphemerisHeader -> Bool

Read GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS GpsEphemerisHeader

readList :: ReadS [GpsEphemerisHeader]

readPrec :: ReadPrec GpsEphemerisHeader

readListPrec :: ReadPrec [GpsEphemerisHeader]

Show GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> GpsEphemerisHeader -> ShowS

show :: GpsEphemerisHeader -> String

showList :: [GpsEphemerisHeader] -> ShowS

ToJSON GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: GpsEphemerisHeader -> Value

toEncoding :: GpsEphemerisHeader -> Encoding

toJSONList :: [GpsEphemerisHeader] -> Value

toEncodingList :: [GpsEphemerisHeader] -> Encoding

FromJSON GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser GpsEphemerisHeader

parseJSONList :: Value -> Parser [GpsEphemerisHeader]

BinaryBit GpsEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

putBits :: Int -> GpsEphemerisHeader -> BitPut ()

getBits :: Int -> BitGet GpsEphemerisHeader

gpsEphemerisHeader_num :: Lens' GpsEphemerisHeader Word16

gpsEphemerisHeader_sat :: Lens' GpsEphemerisHeader Word8

data GpsEphemeris

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

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: GpsEphemeris -> GpsEphemeris -> Bool

(/=) :: GpsEphemeris -> GpsEphemeris -> Bool

Read GpsEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS GpsEphemeris

readList :: ReadS [GpsEphemeris]

readPrec :: ReadPrec GpsEphemeris

readListPrec :: ReadPrec [GpsEphemeris]

Show GpsEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> GpsEphemeris -> ShowS

show :: GpsEphemeris -> String

showList :: [GpsEphemeris] -> ShowS

ToJSON GpsEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: GpsEphemeris -> Value

toEncoding :: GpsEphemeris -> Encoding

toJSONList :: [GpsEphemeris] -> Value

toEncodingList :: [GpsEphemeris] -> Encoding

FromJSON GpsEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser GpsEphemeris

parseJSONList :: Value -> Parser [GpsEphemeris]

BinaryBit GpsEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

putBits :: Int -> GpsEphemeris -> BitPut ()

getBits :: Int -> BitGet GpsEphemeris

gpsEphemeris_af0 :: Lens' GpsEphemeris Int32

gpsEphemeris_af1 :: Lens' GpsEphemeris Int16

gpsEphemeris_af2 :: Lens' GpsEphemeris Int8

gpsEphemeris_c_ic :: Lens' GpsEphemeris Int16

gpsEphemeris_c_is :: Lens' GpsEphemeris Int16

gpsEphemeris_c_rc :: Lens' GpsEphemeris Int16

gpsEphemeris_c_rs :: Lens' GpsEphemeris Int16

gpsEphemeris_c_uc :: Lens' GpsEphemeris Int16

gpsEphemeris_c_us :: Lens' GpsEphemeris Int16

gpsEphemeris_codeOnL2 :: Lens' GpsEphemeris Word8

gpsEphemeris_dn :: Lens' GpsEphemeris Int16

gpsEphemeris_ecc :: Lens' GpsEphemeris Word32

gpsEphemeris_fitInterval :: Lens' GpsEphemeris Bool

gpsEphemeris_i0 :: Lens' GpsEphemeris Int32

gpsEphemeris_idot :: Lens' GpsEphemeris Int16

gpsEphemeris_iodc :: Lens' GpsEphemeris Word16

gpsEphemeris_iode :: Lens' GpsEphemeris Word8

gpsEphemeris_l2pFlag :: Lens' GpsEphemeris Bool

gpsEphemeris_m0 :: Lens' GpsEphemeris Int32

gpsEphemeris_omega0 :: Lens' GpsEphemeris Int32

gpsEphemeris_omegadot :: Lens' GpsEphemeris Int32

gpsEphemeris_sqrta :: Lens' GpsEphemeris Word32

gpsEphemeris_svAccuracy :: Lens' GpsEphemeris Word8

gpsEphemeris_svHealth :: Lens' GpsEphemeris Word8

gpsEphemeris_tgd :: Lens' GpsEphemeris Int8

gpsEphemeris_toc :: Lens' GpsEphemeris Word16

gpsEphemeris_toe :: Lens' GpsEphemeris Word16

gpsEphemeris_w :: Lens' GpsEphemeris Int32

gpsEphemeris_wn :: Lens' GpsEphemeris Word16

data GlonassEphemerisHeader

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

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: GlonassEphemerisHeader -> GlonassEphemerisHeader -> Bool

(/=) :: GlonassEphemerisHeader -> GlonassEphemerisHeader -> Bool

Read GlonassEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS GlonassEphemerisHeader

readList :: ReadS [GlonassEphemerisHeader]

readPrec :: ReadPrec GlonassEphemerisHeader

readListPrec :: ReadPrec [GlonassEphemerisHeader]

Show GlonassEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> GlonassEphemerisHeader -> ShowS

show :: GlonassEphemerisHeader -> String

showList :: [GlonassEphemerisHeader] -> ShowS

ToJSON GlonassEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: GlonassEphemerisHeader -> Value

toEncoding :: GlonassEphemerisHeader -> Encoding

toJSONList :: [GlonassEphemerisHeader] -> Value

toEncodingList :: [GlonassEphemerisHeader] -> Encoding

FromJSON GlonassEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser GlonassEphemerisHeader

parseJSONList :: Value -> Parser [GlonassEphemerisHeader]

BinaryBit GlonassEphemerisHeader

Defined in Data.RTCM3.Ephemerides

Methods

putBits :: Int -> GlonassEphemerisHeader -> BitPut ()

getBits :: Int -> BitGet GlonassEphemerisHeader

glonassEphemerisHeader_channel :: Lens' GlonassEphemerisHeader Word8

glonassEphemerisHeader_num :: Lens' GlonassEphemerisHeader Word16

glonassEphemerisHeader_sat :: Lens' GlonassEphemerisHeader Word8

data GlonassEphemeris

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

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: GlonassEphemeris -> GlonassEphemeris -> Bool

(/=) :: GlonassEphemeris -> GlonassEphemeris -> Bool

Read GlonassEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS GlonassEphemeris

readList :: ReadS [GlonassEphemeris]

readPrec :: ReadPrec GlonassEphemeris

readListPrec :: ReadPrec [GlonassEphemeris]

Show GlonassEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> GlonassEphemeris -> ShowS

show :: GlonassEphemeris -> String

showList :: [GlonassEphemeris] -> ShowS

ToJSON GlonassEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: GlonassEphemeris -> Value

toEncoding :: GlonassEphemeris -> Encoding

toJSONList :: [GlonassEphemeris] -> Value

toEncodingList :: [GlonassEphemeris] -> Encoding

FromJSON GlonassEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser GlonassEphemeris

parseJSONList :: Value -> Parser [GlonassEphemeris]

BinaryBit GlonassEphemeris

Defined in Data.RTCM3.Ephemerides

Methods

putBits :: Int -> GlonassEphemeris -> BitPut ()

getBits :: Int -> BitGet GlonassEphemeris

glonassEphemeris_additional :: Lens' GlonassEphemeris Bool

glonassEphemeris_almanacHealth :: Lens' GlonassEphemeris Bool

glonassEphemeris_bn_msb :: Lens' GlonassEphemeris Bool

glonassEphemeris_en :: Lens' GlonassEphemeris Word8

glonassEphemeris_gammaN :: Lens' GlonassEphemeris Int16

glonassEphemeris_healthAvailability :: Lens' GlonassEphemeris Bool

glonassEphemeris_mM :: Lens' GlonassEphemeris Word8

glonassEphemeris_mTauGps :: Lens' GlonassEphemeris Int32

glonassEphemeris_mdeltatau :: Lens' GlonassEphemeris Int8

glonassEphemeris_mft :: Lens' GlonassEphemeris Word8

glonassEphemeris_mi3 :: Lens' GlonassEphemeris Bool

glonassEphemeris_mln5 :: Lens' GlonassEphemeris Bool

glonassEphemeris_mn4 :: Lens' GlonassEphemeris Word8

glonassEphemeris_mnt :: Lens' GlonassEphemeris Word16

glonassEphemeris_mp :: Lens' GlonassEphemeris Word8

glonassEphemeris_mp4 :: Lens' GlonassEphemeris Bool

glonassEphemeris_nA :: Lens' GlonassEphemeris Word16

glonassEphemeris_p1 :: Lens' GlonassEphemeris Word8

glonassEphemeris_p2 :: Lens' GlonassEphemeris Bool

glonassEphemeris_p3 :: Lens' GlonassEphemeris Bool

glonassEphemeris_reserved :: Lens' GlonassEphemeris Word8

glonassEphemeris_tauC :: Lens' GlonassEphemeris Int32

glonassEphemeris_tauN :: Lens' GlonassEphemeris Int32

glonassEphemeris_tb :: Lens' GlonassEphemeris Word8

glonassEphemeris_tk :: Lens' GlonassEphemeris Word16

glonassEphemeris_xn :: Lens' GlonassEphemeris Int32

glonassEphemeris_xndot :: Lens' GlonassEphemeris Int32

glonassEphemeris_xndotdot :: Lens' GlonassEphemeris Int8

glonassEphemeris_yn :: Lens' GlonassEphemeris Int32

glonassEphemeris_yndot :: Lens' GlonassEphemeris Int32

glonassEphemeris_yndotdot :: Lens' GlonassEphemeris Int8

glonassEphemeris_zn :: Lens' GlonassEphemeris Int32

glonassEphemeris_zndot :: Lens' GlonassEphemeris Int32

glonassEphemeris_zndotdot :: Lens' GlonassEphemeris Int8

data Msg1019

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

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: Msg1019 -> Msg1019 -> Bool

(/=) :: Msg1019 -> Msg1019 -> Bool

Read Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS Msg1019

readList :: ReadS [Msg1019]

readPrec :: ReadPrec Msg1019

readListPrec :: ReadPrec [Msg1019]

Show Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> Msg1019 -> ShowS

show :: Msg1019 -> String

showList :: [Msg1019] -> ShowS

ToJSON Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: Msg1019 -> Value

toEncoding :: Msg1019 -> Encoding

toJSONList :: [Msg1019] -> Value

toEncodingList :: [Msg1019] -> Encoding

FromJSON Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser Msg1019

parseJSONList :: Value -> Parser [Msg1019]

Binary Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

put :: Msg1019 -> Put

get :: Get Msg1019

putList :: [Msg1019] -> Put

ToRTCM3 Msg1019

Defined in Data.RTCM3.Ephemerides

Methods

toRTCM3 :: Msg1019 -> Msg

msg1019 :: Word16

msg1019_ephemeris :: Lens' Msg1019 GpsEphemeris

msg1019_header :: Lens' Msg1019 GpsEphemerisHeader

data Msg1020

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

Defined in Data.RTCM3.Ephemerides

Methods

(==) :: Msg1020 -> Msg1020 -> Bool

(/=) :: Msg1020 -> Msg1020 -> Bool

Read Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

readsPrec :: Int -> ReadS Msg1020

readList :: ReadS [Msg1020]

readPrec :: ReadPrec Msg1020

readListPrec :: ReadPrec [Msg1020]

Show Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

showsPrec :: Int -> Msg1020 -> ShowS

show :: Msg1020 -> String

showList :: [Msg1020] -> ShowS

ToJSON Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

toJSON :: Msg1020 -> Value

toEncoding :: Msg1020 -> Encoding

toJSONList :: [Msg1020] -> Value

toEncodingList :: [Msg1020] -> Encoding

FromJSON Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

parseJSON :: Value -> Parser Msg1020

parseJSONList :: Value -> Parser [Msg1020]

Binary Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

put :: Msg1020 -> Put

get :: Get Msg1020

putList :: [Msg1020] -> Put

ToRTCM3 Msg1020

Defined in Data.RTCM3.Ephemerides

Methods

toRTCM3 :: Msg1020 -> Msg

msg1020 :: Word16

msg1020_ephemeris :: Lens' Msg1020 GlonassEphemeris

msg1020_header :: Lens' Msg1020 GlonassEphemerisHeader