Copyright | Copyright (C) 2015 Swift Navigation Inc. |
---|---|
License | LGPL-3 |
Maintainer | Swift Navigation <dev@swiftnav.com> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.RTCM3.System
Description
RTCMv3 System.
Synopsis
- data MessageHeader = MessageHeader {}
- messageHeader_leapSeconds :: Lens' MessageHeader Word8
- messageHeader_mjd :: Lens' MessageHeader Word16
- messageHeader_n :: Lens' MessageHeader Word8
- messageHeader_num :: Lens' MessageHeader Word16
- messageHeader_seconds :: Lens' MessageHeader Word32
- messageHeader_station :: Lens' MessageHeader Word16
- data Message = Message {}
- message_interval :: Lens' Message Word16
- message_num :: Lens' Message Word16
- message_synchronous :: Lens' Message Bool
- data TextMessage = TextMessage {}
- textMessage_characters :: Lens' TextMessage Word8
- textMessage_mjd :: Lens' TextMessage Word16
- textMessage_n :: Lens' TextMessage Word8
- textMessage_num :: Lens' TextMessage Word16
- textMessage_seconds :: Lens' TextMessage Word32
- textMessage_station :: Lens' TextMessage Word16
- textMessage_text :: Lens' TextMessage Text
- data Msg1013 = Msg1013 {}
- msg1013 :: Word16
- msg1013_header :: Lens' Msg1013 MessageHeader
- msg1013_messages :: Lens' Msg1013 [Message]
- newtype Msg1029 = Msg1029 {}
- msg1029 :: Word16
- msg1029_message :: Iso' Msg1029 TextMessage
Documentation
data MessageHeader Source #
MessageHeader
Messages and system parameters header.
Constructors
MessageHeader | |
Fields
|
Instances
Eq MessageHeader Source # | |
Defined in Data.RTCM3.System Methods (==) :: MessageHeader -> MessageHeader -> Bool # (/=) :: MessageHeader -> MessageHeader -> Bool # | |
Read MessageHeader Source # | |
Defined in Data.RTCM3.System Methods readsPrec :: Int -> ReadS MessageHeader # readList :: ReadS [MessageHeader] # | |
Show MessageHeader Source # | |
Defined in Data.RTCM3.System Methods showsPrec :: Int -> MessageHeader -> ShowS # show :: MessageHeader -> String # showList :: [MessageHeader] -> ShowS # | |
ToJSON MessageHeader Source # | |
Defined in Data.RTCM3.System Methods toJSON :: MessageHeader -> Value # toEncoding :: MessageHeader -> Encoding # toJSONList :: [MessageHeader] -> Value # toEncodingList :: [MessageHeader] -> Encoding # | |
FromJSON MessageHeader Source # | |
Defined in Data.RTCM3.System Methods parseJSON :: Value -> Parser MessageHeader # parseJSONList :: Value -> Parser [MessageHeader] # | |
BinaryBit MessageHeader Source # | |
Defined in Data.RTCM3.System |
Message
Transmitted message.
Constructors
Message | |
Fields
|
data TextMessage Source #
TextMessage
Informational text message.
Constructors
TextMessage | |
Fields
|
Instances
Eq TextMessage Source # | |
Defined in Data.RTCM3.System | |
Read TextMessage Source # | |
Defined in Data.RTCM3.System Methods readsPrec :: Int -> ReadS TextMessage # readList :: ReadS [TextMessage] # readPrec :: ReadPrec TextMessage # readListPrec :: ReadPrec [TextMessage] # | |
Show TextMessage Source # | |
Defined in Data.RTCM3.System Methods showsPrec :: Int -> TextMessage -> ShowS # show :: TextMessage -> String # showList :: [TextMessage] -> ShowS # | |
ToJSON TextMessage Source # | |
Defined in Data.RTCM3.System Methods toJSON :: TextMessage -> Value # toEncoding :: TextMessage -> Encoding # toJSONList :: [TextMessage] -> Value # toEncodingList :: [TextMessage] -> Encoding # | |
FromJSON TextMessage Source # | |
Defined in Data.RTCM3.System | |
BinaryBit TextMessage Source # | |
Defined in Data.RTCM3.System |
Msg1013.
RTCMv3 message 1013.
Constructors
Msg1013 | |
Fields
|
Msg1029.
RTCMv3 message 1029.
Constructors
Msg1029 | |
Fields
|