diff --git a/main/rtcm32json.hs b/main/rtcm32json.hs --- a/main/rtcm32json.hs +++ b/main/rtcm32json.hs @@ -1,6 +1,5 @@ -{-# OPTIONS_GHC -Wall #-} -{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE OverloadedStrings #-} -- | -- Module: Main diff --git a/rtcm.cabal b/rtcm.cabal --- a/rtcm.cabal +++ b/rtcm.cabal @@ -1,5 +1,5 @@ name: rtcm -version: 0.1.10 +version: 0.1.11 synopsis: RTCM Library. description: Haskell bindings for RTCM. homepage: http://github.com/swift-nav/librtcm @@ -25,7 +25,7 @@ exposed-modules: Data.CRC24Q , Data.RTCM3 , Data.RTCM3.Antennas - , Data.RTCM3.Ephemeris + , Data.RTCM3.Ephemerides , Data.RTCM3.Internal , Data.RTCM3.Observations , Data.RTCM3.SSR @@ -71,7 +71,7 @@ main-is: Test.hs other-modules: Test.Data.CRC24Q , Test.Data.RTCM3.Antennas - , Test.Data.RTCM3.Ephemeris + , Test.Data.RTCM3.Ephemerides , Test.Data.RTCM3.Extras , Test.Data.RTCM3.Observations , Test.Data.RTCM3.SSR diff --git a/src/Data/RTCM3.hs b/src/Data/RTCM3.hs --- a/src/Data/RTCM3.hs +++ b/src/Data/RTCM3.hs @@ -1,7 +1,7 @@ -{-# OPTIONS_GHC -Wall #-} -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3 @@ -19,12 +19,12 @@ ) where import BasicPrelude -import Control.Lens +import Control.Lens hiding ((.=)) import Data.Aeson hiding (decode, decode') import Data.Binary import Data.ByteString.Lazy import Data.RTCM3.Antennas as Export -import Data.RTCM3.Ephemeris as Export +import Data.RTCM3.Ephemerides as Export import Data.RTCM3.Observations as Export import Data.RTCM3.SSR as Export import Data.RTCM3.System as Export @@ -49,13 +49,14 @@ | RTCM3Msg1012 Msg1012 Msg | RTCM3Msg1013 Msg1013 Msg | RTCM3Msg1019 Msg1019 Msg + | RTCM3Msg1020 Msg1020 Msg | RTCM3Msg1033 Msg1033 Msg | RTCM3Msg1057 Msg1057 Msg | RTCM3Msg1058 Msg1058 Msg | RTCM3Msg1063 Msg1063 Msg | RTCM3Msg1064 Msg1064 Msg | RTCM3Msg1230 Msg1230 Msg - | RTCM3MsgUnknown Msg + | RTCM3MsgUnknown Word16 Msg | RTCM3MsgBadCrc Msg | RTCM3MsgEmpty Msg deriving ( Show, Read, Eq ) @@ -84,13 +85,14 @@ | num == msg1012 = RTCM3Msg1012 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1013 = RTCM3Msg1013 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1019 = RTCM3Msg1019 (decode $ fromStrict _msgRTCM3Payload) m + | num == msg1020 = RTCM3Msg1020 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1033 = RTCM3Msg1033 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1057 = RTCM3Msg1057 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1058 = RTCM3Msg1058 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1063 = RTCM3Msg1063 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1064 = RTCM3Msg1064 (decode $ fromStrict _msgRTCM3Payload) m | num == msg1230 = RTCM3Msg1230 (decode $ fromStrict _msgRTCM3Payload) m - | otherwise = RTCM3MsgUnknown m where + | otherwise = RTCM3MsgUnknown num m where crc = checkCrc _msgRTCM3Len _msgRTCM3Payload num = checkNum _msgRTCM3Payload @@ -111,13 +113,14 @@ encode' (RTCM3Msg1012 _n m) = put m encode' (RTCM3Msg1013 _n m) = put m encode' (RTCM3Msg1019 _n m) = put m + encode' (RTCM3Msg1020 _n m) = put m encode' (RTCM3Msg1033 _n m) = put m encode' (RTCM3Msg1057 _n m) = put m encode' (RTCM3Msg1058 _n m) = put m encode' (RTCM3Msg1063 _n m) = put m encode' (RTCM3Msg1064 _n m) = put m encode' (RTCM3Msg1230 _n m) = put m - encode' (RTCM3MsgUnknown m) = put m + encode' (RTCM3MsgUnknown _n m) = put m encode' (RTCM3MsgBadCrc m) = put m encode' (RTCM3MsgEmpty m) = put m @@ -136,13 +139,14 @@ msg f (RTCM3Msg1012 n m) = RTCM3Msg1012 n <$> f m msg f (RTCM3Msg1013 n m) = RTCM3Msg1013 n <$> f m msg f (RTCM3Msg1019 n m) = RTCM3Msg1019 n <$> f m + msg f (RTCM3Msg1020 n m) = RTCM3Msg1020 n <$> f m msg f (RTCM3Msg1033 n m) = RTCM3Msg1033 n <$> f m msg f (RTCM3Msg1057 n m) = RTCM3Msg1057 n <$> f m msg f (RTCM3Msg1058 n m) = RTCM3Msg1058 n <$> f m msg f (RTCM3Msg1063 n m) = RTCM3Msg1063 n <$> f m msg f (RTCM3Msg1064 n m) = RTCM3Msg1064 n <$> f m msg f (RTCM3Msg1230 n m) = RTCM3Msg1230 n <$> f m - msg f (RTCM3MsgUnknown m) = RTCM3MsgUnknown <$> f m + msg f (RTCM3MsgUnknown n m) = RTCM3MsgUnknown n <$> f m msg f (RTCM3MsgBadCrc m) = RTCM3MsgBadCrc <$> f m msg f (RTCM3MsgEmpty m) = RTCM3MsgEmpty <$> f m @@ -167,12 +171,13 @@ toJSON (RTCM3Msg1012 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1013 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1019 n m) = toJSON n `mergeValues` toJSON m + toJSON (RTCM3Msg1020 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1033 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1057 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1058 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1063 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1064 n m) = toJSON n `mergeValues` toJSON m toJSON (RTCM3Msg1230 n m) = toJSON n `mergeValues` toJSON m - toJSON (RTCM3MsgUnknown m) = toJSON m + toJSON (RTCM3MsgUnknown n m) = object [ "num" .= n ] `mergeValues` toJSON m toJSON (RTCM3MsgBadCrc m) = toJSON m toJSON (RTCM3MsgEmpty m) = toJSON m diff --git a/src/Data/RTCM3/Antennas.hs b/src/Data/RTCM3/Antennas.hs --- a/src/Data/RTCM3/Antennas.hs +++ b/src/Data/RTCM3/Antennas.hs @@ -1,6 +1,6 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.Antennas diff --git a/src/Data/RTCM3/Ephemerides.hs b/src/Data/RTCM3/Ephemerides.hs new file mode 100644 --- /dev/null +++ b/src/Data/RTCM3/Ephemerides.hs @@ -0,0 +1,454 @@ +{-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} + +-- | +-- Module: Data.RTCM3.Ephemerides +-- Copyright: Copyright (C) 2017 Swift Navigation, Inc. +-- License: LGPL-3 +-- Maintainer: Swift Navigation +-- Stability: experimental +-- Portability: portable +-- +-- RTCMv3 Ephemerides messages + +module Data.RTCM3.Ephemerides where + +import BasicPrelude +import Control.Lens +import Data.Aeson.TH +import Data.Binary +import Data.Binary.Bits +import qualified Data.Binary.Bits.Get as B +import qualified Data.Binary.Bits.Put as B +import Data.Int +import Data.RTCM3.Extras +import Data.RTCM3.TH + +-- | GpsEphemerisHeader. +-- +-- GPS and Glonass Ephemeris header. +data GpsEphemerisHeader = GpsEphemerisHeader + { _gpsEphemerisHeader_num :: Word16 + -- ^ Message number. + , _gpsEphemerisHeader_sat :: Word8 + -- ^ GPS/Glonass satellite ID. + } deriving ( Show, Read, Eq ) + +$(makeLenses ''GpsEphemerisHeader) +$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gpsEphemerisHeader_" . stripPrefix "_gpsEphemerisHeader_"} ''GpsEphemerisHeader) + +instance BinaryBit GpsEphemerisHeader where + getBits _n = do + _gpsEphemerisHeader_num <- B.getWord16be 12 + _gpsEphemerisHeader_sat <- B.getWord8 6 + return GpsEphemerisHeader {..} + + putBits _n GpsEphemerisHeader {..} = do + B.putWord16be 12 _gpsEphemerisHeader_num + B.putWord8 6 _gpsEphemerisHeader_sat + +data GpsEphemeris = GpsEphemeris + { _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^(1/2). Unit: meters^(1/2). 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 + } deriving (Show, Read, Eq) + +instance BinaryBit GpsEphemeris where + getBits _n = do + _gpsEphemeris_wn <- B.getWord16be 10 + _gpsEphemeris_svAccuracy <- B.getWord8 4 + _gpsEphemeris_codeOnL2 <- B.getWord8 2 + _gpsEphemeris_idot <- getInt16be 14 + _gpsEphemeris_iode <- B.getWord8 8 + _gpsEphemeris_toc <- B.getWord16be 16 + _gpsEphemeris_af2 <- getInt8 8 + _gpsEphemeris_af1 <- getInt16be 16 + _gpsEphemeris_af0 <- getInt32be 22 + _gpsEphemeris_iodc <- B.getWord16be 10 + _gpsEphemeris_c_rs <- getInt16be 16 + _gpsEphemeris_dn <- getInt16be 16 + _gpsEphemeris_m0 <- getInt32be 32 + _gpsEphemeris_c_uc <- getInt16be 16 + _gpsEphemeris_ecc <- B.getWord32be 32 + _gpsEphemeris_c_us <- getInt16be 16 + _gpsEphemeris_sqrta <- B.getWord32be 32 + _gpsEphemeris_toe <- B.getWord16be 16 + _gpsEphemeris_c_ic <- getInt16be 16 + _gpsEphemeris_omega0 <- getInt32be 32 + _gpsEphemeris_c_is <- getInt16be 16 + _gpsEphemeris_i0 <- getInt32be 32 + _gpsEphemeris_c_rc <- getInt16be 16 + _gpsEphemeris_w <- getInt32be 32 + _gpsEphemeris_omegadot <- getInt32be 24 + _gpsEphemeris_tgd <- getInt8 8 + _gpsEphemeris_svHealth <- B.getWord8 6 + _gpsEphemeris_l2pFlag <- B.getBool + _gpsEphemeris_fitInterval <- B.getBool + return GpsEphemeris {..} + + putBits _n GpsEphemeris {..} = do + B.putWord16be 10 _gpsEphemeris_wn + B.putWord8 4 _gpsEphemeris_svAccuracy + B.putWord8 2 _gpsEphemeris_codeOnL2 + putInt16be 14 _gpsEphemeris_idot + B.putWord8 8 _gpsEphemeris_iode + B.putWord16be 16 _gpsEphemeris_toc + putInt8 8 _gpsEphemeris_af2 + putInt16be 16 _gpsEphemeris_af1 + putInt32be 22 _gpsEphemeris_af0 + B.putWord16be 10 _gpsEphemeris_iodc + putInt16be 16 _gpsEphemeris_c_rs + putInt16be 16 _gpsEphemeris_dn + putInt32be 32 _gpsEphemeris_m0 + putInt16be 16 _gpsEphemeris_c_uc + B.putWord32be 32 _gpsEphemeris_ecc + putInt16be 16 _gpsEphemeris_c_us + B.putWord32be 32 _gpsEphemeris_sqrta + B.putWord16be 16 _gpsEphemeris_toe + putInt16be 16 _gpsEphemeris_c_ic + putInt32be 32 _gpsEphemeris_omega0 + putInt16be 16 _gpsEphemeris_c_is + putInt32be 32 _gpsEphemeris_i0 + putInt16be 16 _gpsEphemeris_c_rc + putInt32be 32 _gpsEphemeris_w + putInt32be 24 _gpsEphemeris_omegadot + putInt8 8 _gpsEphemeris_tgd + B.putWord8 6 _gpsEphemeris_svHealth + B.putBool _gpsEphemeris_l2pFlag + B.putBool _gpsEphemeris_fitInterval + +$(makeLenses ''GpsEphemeris) +$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gpsEphemeris_" . stripPrefix "_gpsEphemeris_"} ''GpsEphemeris) + +data GlonassEphemerisHeader = GlonassEphemerisHeader + { _glonassEphemerisHeader_num :: Word16 + -- ^ RTCM message number + , _glonassEphemerisHeader_sat :: Word8 + -- ^ GLONASS Satellite ID (slot number) + , _glonassEphemerisHeader_channel :: Word8 + -- ^ Satellite frequency channel number + } deriving ( Show, Read, Eq ) + +$(makeLenses ''GlonassEphemerisHeader) +$(deriveJSON + defaultOptions + { fieldLabelModifier = + fromMaybe "_glonassEphemerisHeader_" . + stripPrefix "_glonassEphemerisHeader_" } + ''GlonassEphemerisHeader) + +instance BinaryBit GlonassEphemerisHeader where + getBits _n = do + _glonassEphemerisHeader_num <- B.getWord16be 12 + _glonassEphemerisHeader_sat <- B.getWord8 6 + _glonassEphemerisHeader_channel <- B.getWord8 5 + return GlonassEphemerisHeader {..} + + putBits _n GlonassEphemerisHeader {..} = do + B.putWord16be 12 _glonassEphemerisHeader_num + B.putWord8 6 _glonassEphemerisHeader_sat + B.putWord8 5 _glonassEphemerisHeader_channel + +data GlonassEphemeris = GlonassEphemeris + { _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. + } deriving ( Show, Read, Eq ) + +$(makeLenses ''GlonassEphemeris) +$(deriveJSON defaultOptions + { fieldLabelModifier = fromMaybe "_glonassEphemeris_" . + stripPrefix "_glonassEphemeris_" + } ''GlonassEphemeris) + +instance BinaryBit GlonassEphemeris where + getBits _n = do + _glonassEphemeris_almanacHealth <- B.getBool + _glonassEphemeris_healthAvailability <- B.getBool + _glonassEphemeris_p1 <- B.getWord8 2 + _glonassEphemeris_tk <- B.getWord16be 12 + _glonassEphemeris_bn_msb <- B.getBool + _glonassEphemeris_p2 <- B.getBool + _glonassEphemeris_tb <- B.getWord8 7 + _glonassEphemeris_xndot <- getInt32be 24 + _glonassEphemeris_xn <- getInt32be 27 + _glonassEphemeris_xndotdot <- getInt8 5 + _glonassEphemeris_yndot <- getInt32be 24 + _glonassEphemeris_yn <- getInt32be 27 + _glonassEphemeris_yndotdot <- getInt8 5 + _glonassEphemeris_zndot <- getInt32be 24 + _glonassEphemeris_zn <- getInt32be 27 + _glonassEphemeris_zndotdot <- getInt8 5 + _glonassEphemeris_p3 <- B.getBool + _glonassEphemeris_gammaN <- getInt16be 11 + _glonassEphemeris_mp <- B.getWord8 2 + _glonassEphemeris_mi3 <- B.getBool + _glonassEphemeris_tauN <- getInt32be 22 + _glonassEphemeris_mdeltatau <- getInt8 5 + _glonassEphemeris_en <- B.getWord8 5 + _glonassEphemeris_mp4 <- B.getBool + _glonassEphemeris_mft <- B.getWord8 4 + _glonassEphemeris_mnt <- B.getWord16be 11 + _glonassEphemeris_mM <- B.getWord8 2 + _glonassEphemeris_additional <- B.getBool + _glonassEphemeris_nA <- B.getWord16be 11 + _glonassEphemeris_tauC <- getInt32be 32 + _glonassEphemeris_mn4 <- B.getWord8 5 + _glonassEphemeris_mTauGps <- getInt32be 22 + _glonassEphemeris_mln5 <- B.getBool + _glonassEphemeris_reserved <- B.getWord8 7 + return GlonassEphemeris{..} + + putBits _n GlonassEphemeris{..} = do + B.putBool _glonassEphemeris_almanacHealth + B.putBool _glonassEphemeris_healthAvailability + B.putWord8 2 _glonassEphemeris_p1 + B.putWord16be 12 _glonassEphemeris_tk + B.putBool _glonassEphemeris_bn_msb + B.putBool _glonassEphemeris_p2 + B.putWord8 7 _glonassEphemeris_tb + putInt32be 24 _glonassEphemeris_xndot + putInt32be 27 _glonassEphemeris_xn + putInt8 5 _glonassEphemeris_xndotdot + putInt32be 24 _glonassEphemeris_yndot + putInt32be 27 _glonassEphemeris_yn + putInt8 5 _glonassEphemeris_yndotdot + putInt32be 24 _glonassEphemeris_zndot + putInt32be 27 _glonassEphemeris_zn + putInt8 5 _glonassEphemeris_zndotdot + B.putBool _glonassEphemeris_p3 + putInt16be 11 _glonassEphemeris_gammaN + B.putWord8 2 _glonassEphemeris_mp + B.putBool _glonassEphemeris_mi3 + putInt32be 22 _glonassEphemeris_tauN + putInt8 5 _glonassEphemeris_mdeltatau + B.putWord8 5 _glonassEphemeris_en + B.putBool _glonassEphemeris_mp4 + B.putWord8 4 _glonassEphemeris_mft + B.putWord16be 11 _glonassEphemeris_mnt + B.putWord8 2 _glonassEphemeris_mM + B.putBool _glonassEphemeris_additional + B.putWord16be 11 _glonassEphemeris_nA + putInt32be 32 _glonassEphemeris_tauC + B.putWord8 5 _glonassEphemeris_mn4 + putInt32be 22 _glonassEphemeris_mTauGps + B.putBool _glonassEphemeris_mln5 + B.putWord8 7 _glonassEphemeris_reserved + +msg1019 :: Word16 +msg1019 = 1019 + +-- | Msg 1019. +-- +-- RTCMv3 message 1019. +-- +-- See RTCM spec and GPS SPS Signal Specification, 2.4.3, +-- for more information about these fields. +data Msg1019 = Msg1019 + { _msg1019_header :: GpsEphemerisHeader + -- ^ GPS ephemeris header. + , _msg1019_ephemeris :: GpsEphemeris + -- ^ GPS ephemeris body. + } deriving ( Show, Read, Eq ) + +$(makeLenses ''Msg1019) +$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_msg1019_" . stripPrefix "_msg1019_"} ''Msg1019) + +instance Binary Msg1019 where + get = B.runBitGet $ do + _msg1019_header <- getBits 0 + _msg1019_ephemeris <- getBits 0 + return Msg1019 {..} + + put Msg1019 {..} = B.runBitPut $ do + putBits 0 _msg1019_header + putBits 0 _msg1019_ephemeris + +$(deriveRTCM3 ''Msg1019) + +msg1020 :: Word16 +msg1020 = 1020 + +-- | Message 1020 +-- +-- RTCMv3 message 1020. +-- +-- See RTCM spec and GLONASS signal specification for more information +-- about these fields. +data Msg1020 = Msg1020 + { _msg1020_header :: GlonassEphemerisHeader + -- ^ GLONASS ephemeris header. + , _msg1020_ephemeris :: GlonassEphemeris + -- ^ GLONASS ephemeris body. + } deriving ( Show, Read, Eq ) + +$(makeLenses ''Msg1020) +$(deriveJSON defaultOptions + { fieldLabelModifier = fromMaybe "_msg1020_" . stripPrefix "_msg1020_" + } ''Msg1020) + +instance Binary Msg1020 where + get = B.runBitGet $ do + _msg1020_header <- getBits 0 + _msg1020_ephemeris <- getBits 0 + return Msg1020 {..} + + put Msg1020 {..} = B.runBitPut $ do + putBits 0 _msg1020_header + putBits 0 _msg1020_ephemeris + +$(deriveRTCM3 ''Msg1020) diff --git a/src/Data/RTCM3/Ephemeris.hs b/src/Data/RTCM3/Ephemeris.hs deleted file mode 100644 --- a/src/Data/RTCM3/Ephemeris.hs +++ /dev/null @@ -1,449 +0,0 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE RecordWildCards #-} -{-# LANGUAGE NoImplicitPrelude #-} - --- | --- Module: Data.RTCM3.Ephemeris --- Copyright: Copyright (C) 2017 Swift Navigation, Inc. --- License: LGPL-3 --- Maintainer: Swift Navigation --- Stability: experimental --- Portability: portable --- --- RTCMv3 Ephemeris messages - -module Data.RTCM3.Ephemeris where - -import BasicPrelude -import Control.Lens -import Data.Aeson.TH -import Data.Binary -import Data.Binary.Bits -import qualified Data.Binary.Bits.Get as B -import qualified Data.Binary.Bits.Put as B -import Data.Int -import Data.RTCM3.Extras -import Data.RTCM3.TH - --- | GpsEphemerisHeader. --- --- GPS and Glonass Ephemeris header. -data GpsEphemerisHeader = GpsEphemerisHeader - { _gpsEphemerisHeader_num :: Word16 - -- ^ Message number. - , _gpsEphemerisHeader_sat :: Word8 - -- ^ GPS/Glonass satellite ID. - } deriving ( Show, Read, Eq ) - -$(makeLenses ''GpsEphemerisHeader) -$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gpsEphemerisHeader_" . stripPrefix "_gpsEphemerisHeader_"} ''GpsEphemerisHeader) - -instance BinaryBit GpsEphemerisHeader where - getBits _n = do - _gpsEphemerisHeader_num <- B.getWord16be 12 - _gpsEphemerisHeader_sat <- B.getWord8 6 - return GpsEphemerisHeader {..} - - putBits _n GpsEphemerisHeader {..} = do - B.putWord16be 12 _gpsEphemerisHeader_num - B.putWord8 6 _gpsEphemerisHeader_sat - -data GpsEphemeris = GpsEphemeris - { _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^(1/2). Unit: meters^(1/2). 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 - } deriving (Show, Read, Eq) - -instance BinaryBit GpsEphemeris where - getBits _n = do - _gpsEphemeris_wn <- B.getWord16be 10 - _gpsEphemeris_svAccuracy <- B.getWord8 4 - _gpsEphemeris_codeOnL2 <- B.getWord8 2 - _gpsEphemeris_idot <- getInt16be 14 - _gpsEphemeris_iode <- B.getWord8 8 - _gpsEphemeris_toc <- B.getWord16be 16 - _gpsEphemeris_af2 <- getInt8 8 - _gpsEphemeris_af1 <- getInt16be 16 - _gpsEphemeris_af0 <- getInt32be 22 - _gpsEphemeris_iodc <- B.getWord16be 10 - _gpsEphemeris_c_rs <- getInt16be 16 - _gpsEphemeris_dn <- getInt16be 16 - _gpsEphemeris_m0 <- getInt32be 32 - _gpsEphemeris_c_uc <- getInt16be 16 - _gpsEphemeris_ecc <- B.getWord32be 32 - _gpsEphemeris_c_us <- getInt16be 16 - _gpsEphemeris_sqrta <- B.getWord32be 32 - _gpsEphemeris_toe <- B.getWord16be 16 - _gpsEphemeris_c_ic <- getInt16be 16 - _gpsEphemeris_omega0 <- getInt32be 32 - _gpsEphemeris_c_is <- getInt16be 16 - _gpsEphemeris_i0 <- getInt32be 32 - _gpsEphemeris_c_rc <- getInt16be 16 - _gpsEphemeris_w <- getInt32be 32 - _gpsEphemeris_omegadot <- getInt32be 24 - _gpsEphemeris_tgd <- getInt8 8 - _gpsEphemeris_svHealth <- B.getWord8 6 - _gpsEphemeris_l2pFlag <- getBits 1 - _gpsEphemeris_fitInterval <- getBits 1 - return GpsEphemeris {..} - - putBits _n GpsEphemeris {..} = do - B.putWord16be 10 _gpsEphemeris_wn - B.putWord8 4 _gpsEphemeris_svAccuracy - B.putWord8 2 _gpsEphemeris_codeOnL2 - putInt16be 14 _gpsEphemeris_idot - B.putWord8 8 _gpsEphemeris_iode - B.putWord16be 16 _gpsEphemeris_toc - putInt8 8 _gpsEphemeris_af2 - putInt16be 16 _gpsEphemeris_af1 - putInt32be 22 _gpsEphemeris_af0 - B.putWord16be 10 _gpsEphemeris_iodc - putInt16be 16 _gpsEphemeris_c_rs - putInt16be 16 _gpsEphemeris_dn - putInt32be 32 _gpsEphemeris_m0 - putInt16be 16 _gpsEphemeris_c_uc - B.putWord32be 32 _gpsEphemeris_ecc - putInt16be 16 _gpsEphemeris_c_us - B.putWord32be 32 _gpsEphemeris_sqrta - B.putWord16be 16 _gpsEphemeris_toe - putInt16be 16 _gpsEphemeris_c_ic - putInt32be 32 _gpsEphemeris_omega0 - putInt16be 16 _gpsEphemeris_c_is - putInt32be 32 _gpsEphemeris_i0 - putInt16be 16 _gpsEphemeris_c_rc - putInt32be 32 _gpsEphemeris_w - putInt32be 24 _gpsEphemeris_omegadot - putInt8 8 _gpsEphemeris_tgd - B.putWord8 6 _gpsEphemeris_svHealth - B.putBool _gpsEphemeris_l2pFlag - B.putBool _gpsEphemeris_fitInterval - -$(makeLenses ''GpsEphemeris) -$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_gpsEphemeris_" . stripPrefix "_gpsEphemeris_"} ''GpsEphemeris) - -msg1019 :: Word16 -msg1019 = 1019 - --- | Msg 1019. --- --- RTCMv3 message 1019. --- --- See RTCM spec and GPS SPS Signal Specification, 2.4.3, --- for more information about these fields. -data Msg1019 = Msg1019 - { _msg1019_header :: GpsEphemerisHeader - -- ^ GPS ephemeris header. - , _msg1019_ephemeris :: GpsEphemeris - -- ^ GPS ephemeris body. - } deriving ( Show, Read, Eq ) - -$(makeLenses ''Msg1019) -$(deriveJSON defaultOptions {fieldLabelModifier = fromMaybe "_msg1019_" . stripPrefix "_msg1019_"} ''Msg1019) - -instance Binary Msg1019 where - get = B.runBitGet $ do - _msg1019_header <- getBits 0 - _msg1019_ephemeris <- getBits 0 - return Msg1019 {..} - - put Msg1019 {..} = B.runBitPut $ do - putBits 0 _msg1019_header - putBits 0 _msg1019_ephemeris - -$(deriveRTCM3 ''Msg1019) - -data GlonassEphemerisHeader = GlonassEphemerisHeader - { _glonassEphemerisHeader_num :: Word16 - -- ^ RTCM message number - , _glonassEphemerisHeader_sat :: Word8 - -- ^ GLONASS Satellite ID (slot number) - , _glonassEphemerisHeader_channel :: Word8 - -- ^ Satellite frequency channel number - } deriving ( Show, Read, Eq ) - -$(makeLenses ''GlonassEphemerisHeader) -$(deriveJSON - defaultOptions - { fieldLabelModifier = - fromMaybe "_glonassEphemerisHeader_" . - stripPrefix "_glonassEphemerisHeader_" } - ''GlonassEphemerisHeader) - -instance BinaryBit GlonassEphemerisHeader where - getBits _n = do - _glonassEphemerisHeader_num <- B.getWord16be 12 - _glonassEphemerisHeader_sat <- B.getWord8 6 - _glonassEphemerisHeader_channel <- B.getWord8 5 - return GlonassEphemerisHeader {..} - - putBits _n GlonassEphemerisHeader {..} = do - B.putWord16be 12 _glonassEphemerisHeader_num - B.putWord8 6 _glonassEphemerisHeader_sat - B.putWord8 5 _glonassEphemerisHeader_channel - -data GlonassEphemeris = GlonassEphemeris - { _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] - } deriving ( Show, Read, Eq ) - -$(makeLenses ''GlonassEphemeris) -$(deriveJSON defaultOptions - { fieldLabelModifier = fromMaybe "_glonassEphemeris_" . - stripPrefix "_glonassEphemeris_" - } ''GlonassEphemeris) - -instance BinaryBit GlonassEphemeris where - getBits _n = do - _glonassEphemeris_almanacHealth <- B.getBool - _glonassEphemeris_healthAvailability <- B.getBool - _glonassEphemeris_p1 <- B.getWord8 2 - _glonassEphemeris_tk <- B.getWord16be 12 - _glonassEphemeris_bn_msb <- B.getBool - _glonassEphemeris_p2 <- B.getBool - _glonassEphemeris_tb <- B.getWord8 7 - _glonassEphemeris_xndot <- getInt32be 24 - _glonassEphemeris_xn <- getInt32be 27 - _glonassEphemeris_xndotdot <- getInt8 5 - _glonassEphemeris_yndot <- getInt32be 24 - _glonassEphemeris_yn <- getInt32be 27 - _glonassEphemeris_yndotdot <- getInt8 5 - _glonassEphemeris_zndot <- getInt32be 24 - _glonassEphemeris_zn <- getInt32be 27 - _glonassEphemeris_zndotdot <- getInt8 5 - _glonassEphemeris_p3 <- B.getBool - _glonassEphemeris_gammaN <- getInt16be 11 - _glonassEphemeris_mp <- B.getWord8 2 - _glonassEphemeris_mi3 <- B.getBool - _glonassEphemeris_tauN <- getInt32be 22 - _glonassEphemeris_mdeltatau <- getInt8 5 - _glonassEphemeris_en <- B.getWord8 5 - _glonassEphemeris_mp4 <- B.getBool - _glonassEphemeris_mft <- B.getWord8 4 - _glonassEphemeris_mnt <- B.getWord16be 11 - _glonassEphemeris_mM <- B.getWord8 2 - _glonassEphemeris_additional <- B.getBool - _glonassEphemeris_nA <- B.getWord16be 11 - _glonassEphemeris_tauC <- getInt32be 32 - _glonassEphemeris_mn4 <- B.getWord8 5 - _glonassEphemeris_mTauGps <- getInt32be 22 - _glonassEphemeris_mln5 <- B.getBool - return GlonassEphemeris{..} - putBits _n GlonassEphemeris{..} = do - B.putBool _glonassEphemeris_almanacHealth - B.putBool _glonassEphemeris_healthAvailability - B.putWord8 2 _glonassEphemeris_p1 - B.putWord16be 12 _glonassEphemeris_tk - B.putBool _glonassEphemeris_bn_msb - B.putBool _glonassEphemeris_p2 - B.putWord8 7 _glonassEphemeris_tb - putInt32be 24 _glonassEphemeris_xndot - putInt32be 27 _glonassEphemeris_xn - putInt8 5 _glonassEphemeris_xndotdot - putInt32be 24 _glonassEphemeris_yndot - putInt32be 27 _glonassEphemeris_yn - putInt8 5 _glonassEphemeris_yndotdot - putInt32be 24 _glonassEphemeris_zndot - putInt32be 27 _glonassEphemeris_zn - putInt8 5 _glonassEphemeris_zndotdot - B.putBool _glonassEphemeris_p3 - putInt16be 11 _glonassEphemeris_gammaN - B.putWord8 2 _glonassEphemeris_mp - B.putBool _glonassEphemeris_mi3 - putInt32be 22 _glonassEphemeris_tauN - putInt8 5 _glonassEphemeris_mdeltatau - B.putWord8 5 _glonassEphemeris_en - B.putBool _glonassEphemeris_mp4 - B.putWord8 4 _glonassEphemeris_mft - B.putWord16be 11 _glonassEphemeris_mnt - B.putWord8 2 _glonassEphemeris_mM - B.putBool _glonassEphemeris_additional - B.putWord16be 11 _glonassEphemeris_nA - putInt32be 32 _glonassEphemeris_tauC - B.putWord8 5 _glonassEphemeris_mn4 - putInt32be 22 _glonassEphemeris_mTauGps - B.putBool _glonassEphemeris_mln5 - -msg1020 :: Word16 -msg1020 = 1020 - --- | Message 1020 --- --- RTCMv3 message 1020. --- --- See RTCM spec and GLONASS signal specification for more information --- about these fields. -data Msg1020 = Msg1020 - { _msg1020_header :: GlonassEphemerisHeader - -- ^ GLONASS ephemeris header. - , _msg1020_ephemeris :: GlonassEphemeris - -- ^ GLONASS ephemeris body. - } deriving ( Show, Read, Eq ) - -$(makeLenses ''Msg1020) -$(deriveJSON defaultOptions - { fieldLabelModifier = fromMaybe "_msg1020_" . stripPrefix "_msg1020_" - } ''Msg1020) - -instance Binary Msg1020 where - get = B.runBitGet $ do - _msg1020_header <- getBits 0 - _msg1020_ephemeris <- getBits 0 - return Msg1020 {..} - - put Msg1020 {..} = B.runBitPut $ do - putBits 0 _msg1020_header - putBits 0 _msg1020_ephemeris - -$(deriveRTCM3 ''Msg1020) diff --git a/src/Data/RTCM3/Observations.hs b/src/Data/RTCM3/Observations.hs --- a/src/Data/RTCM3/Observations.hs +++ b/src/Data/RTCM3/Observations.hs @@ -1,7 +1,7 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE OverloadedStrings #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.Observations diff --git a/src/Data/RTCM3/SSR.hs b/src/Data/RTCM3/SSR.hs --- a/src/Data/RTCM3/SSR.hs +++ b/src/Data/RTCM3/SSR.hs @@ -1,6 +1,6 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.SSR diff --git a/src/Data/RTCM3/System.hs b/src/Data/RTCM3/System.hs --- a/src/Data/RTCM3/System.hs +++ b/src/Data/RTCM3/System.hs @@ -1,6 +1,6 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.System diff --git a/src/Data/RTCM3/TH.hs b/src/Data/RTCM3/TH.hs --- a/src/Data/RTCM3/TH.hs +++ b/src/Data/RTCM3/TH.hs @@ -1,5 +1,5 @@ -{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.TH @@ -13,10 +13,10 @@ module Data.RTCM3.TH where -import BasicPrelude hiding ( length ) +import BasicPrelude hiding (length) import Data.Binary import Data.ByteString -import Data.ByteString.Lazy hiding ( length ) +import Data.ByteString.Lazy hiding (length) import Data.RTCM3.Types import Language.Haskell.TH diff --git a/src/Data/RTCM3/Types.hs b/src/Data/RTCM3/Types.hs --- a/src/Data/RTCM3/Types.hs +++ b/src/Data/RTCM3/Types.hs @@ -1,7 +1,7 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE OverloadedStrings #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE TemplateHaskell #-} -- | -- Module: Data.RTCM3.Types @@ -24,9 +24,9 @@ import Data.Binary.Get import Data.Binary.Put import Data.ByteString.Builder -import Data.ByteString.Lazy hiding ( ByteString ) +import Data.ByteString.Lazy hiding (ByteString) import Data.CRC24Q -import Data.RTCM3.Aeson () +import Data.RTCM3.Aeson () import Data.RTCM3.Extras import Data.Word.Word24 diff --git a/test/Test.hs b/test/Test.hs --- a/test/Test.hs +++ b/test/Test.hs @@ -1,4 +1,3 @@ -{-# OPTIONS_GHC -Wall #-} {-# LANGUAGE NoImplicitPrelude #-} -- | @@ -12,7 +11,7 @@ import BasicPrelude import qualified Test.Data.CRC24Q as CRC24Q import qualified Test.Data.RTCM3.Antennas as Antennas -import qualified Test.Data.RTCM3.Ephemeris as Ephemeris +import qualified Test.Data.RTCM3.Ephemerides as Ephemerides import qualified Test.Data.RTCM3.Extras as Extras import qualified Test.Data.RTCM3.Observations as Observations import qualified Test.Data.RTCM3.SSR as SSR @@ -24,7 +23,7 @@ testGroup "Tests" [ CRC24Q.tests , Antennas.tests - , Ephemeris.tests + , Ephemerides.tests , Extras.tests , Observations.tests , SSR.tests diff --git a/test/Test/Data/CRC24Q.hs b/test/Test/Data/CRC24Q.hs --- a/test/Test/Data/CRC24Q.hs +++ b/test/Test/Data/CRC24Q.hs @@ -1,5 +1,5 @@ -{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE OverloadedStrings #-} -- | -- Module: Test.Data.CRC24Q diff --git a/test/Test/Data/RTCM3/Antennas.hs b/test/Test/Data/RTCM3/Antennas.hs --- a/test/Test/Data/RTCM3/Antennas.hs +++ b/test/Test/Data/RTCM3/Antennas.hs @@ -1,6 +1,5 @@ -{-# OPTIONS_GHC -Wall #-} -{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} {-# OPTIONS -fno-warn-orphans #-} -- | diff --git a/test/Test/Data/RTCM3/Ephemerides.hs b/test/Test/Data/RTCM3/Ephemerides.hs new file mode 100644 --- /dev/null +++ b/test/Test/Data/RTCM3/Ephemerides.hs @@ -0,0 +1,135 @@ +{-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE RecordWildCards #-} +{-# OPTIONS -fno-warn-orphans #-} + +-- | +-- Module: Test.Data.RTCM3.Ephemerides +-- Copyright: (c) 2017 Swift Navigation +-- License: BSD3 +-- Maintainer: Swift Navigation +-- +-- Test Ephemerides module for RTCM3. + +module Test.Data.RTCM3.Ephemerides + ( tests + ) where + +import BasicPrelude +import Data.Binary +import Data.RTCM3 +import Test.Data.RTCM3.Test +import Test.Tasty +import Test.Tasty.QuickCheck + +instance Arbitrary GpsEphemerisHeader where + arbitrary = do + _gpsEphemerisHeader_num <- arbitraryWord 12 + _gpsEphemerisHeader_sat <- arbitraryWord 6 + return GpsEphemerisHeader {..} + +instance Arbitrary GpsEphemeris where + arbitrary = do + _gpsEphemeris_wn <- arbitraryWord 10 + _gpsEphemeris_svAccuracy <- arbitraryWord 4 + _gpsEphemeris_codeOnL2 <- arbitraryWord 2 + _gpsEphemeris_idot <- arbitraryInt 14 + _gpsEphemeris_iode <- arbitraryWord 8 + _gpsEphemeris_toc <- arbitraryWord 16 + _gpsEphemeris_af2 <- arbitraryInt 8 + _gpsEphemeris_af1 <- arbitraryInt 16 + _gpsEphemeris_af0 <- arbitraryInt 22 + _gpsEphemeris_iodc <- arbitraryWord 10 + _gpsEphemeris_c_rs <- arbitraryInt 16 + _gpsEphemeris_dn <- arbitraryInt 16 + _gpsEphemeris_m0 <- arbitraryInt 32 + _gpsEphemeris_c_uc <- arbitraryInt 16 + _gpsEphemeris_ecc <- arbitraryWord 32 + _gpsEphemeris_c_us <- arbitraryInt 16 + _gpsEphemeris_sqrta <- arbitraryWord 32 + _gpsEphemeris_toe <- arbitraryWord 16 + _gpsEphemeris_c_ic <- arbitraryInt 16 + _gpsEphemeris_omega0 <- arbitraryInt 32 + _gpsEphemeris_c_is <- arbitraryInt 16 + _gpsEphemeris_i0 <- arbitraryInt 32 + _gpsEphemeris_c_rc <- arbitraryInt 16 + _gpsEphemeris_w <- arbitraryInt 32 + _gpsEphemeris_omegadot <- arbitraryInt 24 + _gpsEphemeris_tgd <- arbitraryInt 8 + _gpsEphemeris_svHealth <- arbitraryWord 6 + _gpsEphemeris_l2pFlag <- arbitrary + _gpsEphemeris_fitInterval <- arbitrary + return GpsEphemeris {..} + +instance Arbitrary Msg1019 where + arbitrary = do + _msg1019_header <- arbitrary + _msg1019_ephemeris <- arbitrary + return Msg1019 {..} + +testMsg1019 :: TestTree +testMsg1019 = + testProperty "Roundtrip Msg1019" $ \m -> + (decode $ encode m) == (m :: Msg1019) + +instance Arbitrary GlonassEphemerisHeader where + arbitrary = do + _glonassEphemerisHeader_num <- arbitraryWord 12 + _glonassEphemerisHeader_sat <- arbitraryWord 6 + _glonassEphemerisHeader_channel <- arbitraryWord 5 + return GlonassEphemerisHeader{..} + +instance Arbitrary GlonassEphemeris where + arbitrary = do + _glonassEphemeris_almanacHealth <- arbitrary + _glonassEphemeris_healthAvailability <- arbitrary + _glonassEphemeris_p1 <- arbitraryWord 2 + _glonassEphemeris_tk <- arbitraryWord 12 + _glonassEphemeris_bn_msb <- arbitrary + _glonassEphemeris_p2 <- arbitrary + _glonassEphemeris_tb <- arbitraryWord 7 + _glonassEphemeris_xndot <- arbitraryInt 24 + _glonassEphemeris_xn <- arbitraryInt 27 + _glonassEphemeris_xndotdot <- arbitraryInt 5 + _glonassEphemeris_yndot <- arbitraryInt 24 + _glonassEphemeris_yn <- arbitraryInt 27 + _glonassEphemeris_yndotdot <- arbitraryInt 5 + _glonassEphemeris_zndot <- arbitraryInt 24 + _glonassEphemeris_zn <- arbitraryInt 27 + _glonassEphemeris_zndotdot <- arbitraryInt 5 + _glonassEphemeris_p3 <- arbitrary + _glonassEphemeris_gammaN <- arbitraryInt 11 + _glonassEphemeris_mp <- arbitraryWord 2 + _glonassEphemeris_mi3 <- arbitrary + _glonassEphemeris_tauN <- arbitraryInt 22 + _glonassEphemeris_mdeltatau <- arbitraryInt 5 + _glonassEphemeris_en <- arbitraryWord 5 + _glonassEphemeris_mp4 <- arbitrary + _glonassEphemeris_mft <- arbitraryWord 4 + _glonassEphemeris_mnt <- arbitraryWord 11 + _glonassEphemeris_mM <- arbitraryWord 2 + _glonassEphemeris_additional <- arbitrary + _glonassEphemeris_nA <- arbitraryWord 11 + _glonassEphemeris_tauC <- arbitraryInt 32 + _glonassEphemeris_mn4 <- arbitraryWord 5 + _glonassEphemeris_mTauGps <- arbitraryInt 22 + _glonassEphemeris_mln5 <- arbitrary + _glonassEphemeris_reserved <- arbitraryWord 7 + return GlonassEphemeris{..} + +instance Arbitrary Msg1020 where + arbitrary = do + _msg1020_header <- arbitrary + _msg1020_ephemeris <- arbitrary + return Msg1020 {..} + +testMsg1020 :: TestTree +testMsg1020 = + testProperty "Roundtrip Msg1020" $ \m -> + (decode $ encode m) == (m :: Msg1020) + +tests :: TestTree +tests = + testGroup "Ephemeris tests" + [ testMsg1019 + , testMsg1020 + ] diff --git a/test/Test/Data/RTCM3/Ephemeris.hs b/test/Test/Data/RTCM3/Ephemeris.hs deleted file mode 100644 --- a/test/Test/Data/RTCM3/Ephemeris.hs +++ /dev/null @@ -1,134 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude #-} -{-# LANGUAGE RecordWildCards #-} -{-# OPTIONS -fno-warn-orphans #-} - --- | --- Module: Test.Data.RTCM3.Ephemeris --- Copyright: (c) 2017 Swift Navigation --- License: BSD3 --- Maintainer: Swift Navigation --- --- Test Ephemeris module for RTCM3. - -module Test.Data.RTCM3.Ephemeris - ( tests - ) where - -import BasicPrelude -import Data.Binary -import Data.RTCM3 -import Test.Data.RTCM3.Test -import Test.Tasty -import Test.Tasty.QuickCheck - -instance Arbitrary GpsEphemerisHeader where - arbitrary = do - _gpsEphemerisHeader_num <- arbitraryWord 12 - _gpsEphemerisHeader_sat <- arbitraryWord 6 - return GpsEphemerisHeader {..} - -instance Arbitrary GpsEphemeris where - arbitrary = do - _gpsEphemeris_wn <- arbitraryWord 10 - _gpsEphemeris_svAccuracy <- arbitraryWord 4 - _gpsEphemeris_codeOnL2 <- arbitraryWord 2 - _gpsEphemeris_idot <- arbitraryInt 14 - _gpsEphemeris_iode <- arbitraryWord 8 - _gpsEphemeris_toc <- arbitraryWord 16 - _gpsEphemeris_af2 <- arbitraryInt 8 - _gpsEphemeris_af1 <- arbitraryInt 16 - _gpsEphemeris_af0 <- arbitraryInt 22 - _gpsEphemeris_iodc <- arbitraryWord 10 - _gpsEphemeris_c_rs <- arbitraryInt 16 - _gpsEphemeris_dn <- arbitraryInt 16 - _gpsEphemeris_m0 <- arbitraryInt 32 - _gpsEphemeris_c_uc <- arbitraryInt 16 - _gpsEphemeris_ecc <- arbitraryWord 32 - _gpsEphemeris_c_us <- arbitraryInt 16 - _gpsEphemeris_sqrta <- arbitraryWord 32 - _gpsEphemeris_toe <- arbitraryWord 16 - _gpsEphemeris_c_ic <- arbitraryInt 16 - _gpsEphemeris_omega0 <- arbitraryInt 32 - _gpsEphemeris_c_is <- arbitraryInt 16 - _gpsEphemeris_i0 <- arbitraryInt 32 - _gpsEphemeris_c_rc <- arbitraryInt 16 - _gpsEphemeris_w <- arbitraryInt 32 - _gpsEphemeris_omegadot <- arbitraryInt 24 - _gpsEphemeris_tgd <- arbitraryInt 8 - _gpsEphemeris_svHealth <- arbitraryWord 6 - _gpsEphemeris_l2pFlag <- arbitrary - _gpsEphemeris_fitInterval <- arbitrary - return GpsEphemeris {..} - -instance Arbitrary Msg1019 where - arbitrary = do - _msg1019_header <- arbitrary - _msg1019_ephemeris <- arbitrary - return Msg1019 {..} - -testMsg1019 :: TestTree -testMsg1019 = - testProperty "Roundtrip Msg1019" $ \m -> - (decode $ encode m) == (m :: Msg1019) - -instance Arbitrary GlonassEphemerisHeader where - arbitrary = do - _glonassEphemerisHeader_num <- arbitraryWord 12 - _glonassEphemerisHeader_sat <- arbitraryWord 6 - _glonassEphemerisHeader_channel <- arbitraryWord 5 - return GlonassEphemerisHeader{..} - -instance Arbitrary GlonassEphemeris where - arbitrary = do - _glonassEphemeris_almanacHealth <- arbitrary - _glonassEphemeris_healthAvailability <- arbitrary - _glonassEphemeris_p1 <- arbitraryWord 2 - _glonassEphemeris_tk <- arbitraryWord 12 - _glonassEphemeris_bn_msb <- arbitrary - _glonassEphemeris_p2 <- arbitrary - _glonassEphemeris_tb <- arbitraryWord 7 - _glonassEphemeris_xndot <- arbitraryInt 24 - _glonassEphemeris_xn <- arbitraryInt 27 - _glonassEphemeris_xndotdot <- arbitraryInt 5 - _glonassEphemeris_yndot <- arbitraryInt 24 - _glonassEphemeris_yn <- arbitraryInt 27 - _glonassEphemeris_yndotdot <- arbitraryInt 5 - _glonassEphemeris_zndot <- arbitraryInt 24 - _glonassEphemeris_zn <- arbitraryInt 27 - _glonassEphemeris_zndotdot <- arbitraryInt 5 - _glonassEphemeris_p3 <- arbitrary - _glonassEphemeris_gammaN <- arbitraryInt 11 - _glonassEphemeris_mp <- arbitraryWord 2 - _glonassEphemeris_mi3 <- arbitrary - _glonassEphemeris_tauN <- arbitraryInt 22 - _glonassEphemeris_mdeltatau <- arbitraryInt 5 - _glonassEphemeris_en <- arbitraryWord 5 - _glonassEphemeris_mp4 <- arbitrary - _glonassEphemeris_mft <- arbitraryWord 4 - _glonassEphemeris_mnt <- arbitraryWord 11 - _glonassEphemeris_mM <- arbitraryWord 2 - _glonassEphemeris_additional <- arbitrary - _glonassEphemeris_nA <- arbitraryWord 11 - _glonassEphemeris_tauC <- arbitraryInt 32 - _glonassEphemeris_mn4 <- arbitraryWord 5 - _glonassEphemeris_mTauGps <- arbitraryInt 22 - _glonassEphemeris_mln5 <- arbitrary - return GlonassEphemeris{..} - -instance Arbitrary Msg1020 where - arbitrary = do - _msg1020_header <- arbitrary - _msg1020_ephemeris <- arbitrary - return Msg1020 {..} - -testMsg1020 :: TestTree -testMsg1020 = - testProperty "Roundtrip Msg1020" $ \m -> - (decode $ encode m) == (m :: Msg1020) - -tests :: TestTree -tests = - testGroup "Ephemeris tests" - [ testMsg1019 - , testMsg1020 - ] diff --git a/test/Test/Data/RTCM3/Extras.hs b/test/Test/Data/RTCM3/Extras.hs --- a/test/Test/Data/RTCM3/Extras.hs +++ b/test/Test/Data/RTCM3/Extras.hs @@ -1,5 +1,5 @@ -{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE FlexibleInstances #-} +{-# LANGUAGE NoImplicitPrelude #-} {-# OPTIONS -fno-warn-orphans #-} -- | diff --git a/test/Test/Data/RTCM3/Observations.hs b/test/Test/Data/RTCM3/Observations.hs --- a/test/Test/Data/RTCM3/Observations.hs +++ b/test/Test/Data/RTCM3/Observations.hs @@ -1,5 +1,5 @@ {-# LANGUAGE NoImplicitPrelude #-} -{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE RecordWildCards #-} {-# OPTIONS -fno-warn-orphans #-} -- | diff --git a/test/Test/Data/RTCM3/SSR.hs b/test/Test/Data/RTCM3/SSR.hs --- a/test/Test/Data/RTCM3/SSR.hs +++ b/test/Test/Data/RTCM3/SSR.hs @@ -1,5 +1,5 @@ {-# LANGUAGE NoImplicitPrelude #-} -{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE RecordWildCards #-} {-# OPTIONS -fno-warn-orphans #-} -- | diff --git a/test/Test/Data/RTCM3/System.hs b/test/Test/Data/RTCM3/System.hs --- a/test/Test/Data/RTCM3/System.hs +++ b/test/Test/Data/RTCM3/System.hs @@ -1,5 +1,5 @@ {-# LANGUAGE NoImplicitPrelude #-} -{-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE RecordWildCards #-} {-# OPTIONS -fno-warn-orphans #-} -- |