Data.RTCM3.System

RTCMv3 System.

Documentation

data MessageHeader

MessageHeader

Messages and system parameters header.

Constructors

MessageHeader

Fields

• _messageHeader_num :: Word16

  Message number.

• _messageHeader_station :: Word16

  Reference station id.

• _messageHeader_mjd :: Word16

  Modified Julian Day Number.

• _messageHeader_seconds :: Word32

  Seconds of Day.

• _messageHeader_n :: Word8

  Number of messages.

• _messageHeader_leapSeconds :: Word8

  Leap Seconds.

Instances

Eq MessageHeader

Defined in Data.RTCM3.System

Methods

(==) :: MessageHeader -> MessageHeader -> Bool

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

Read MessageHeader

Defined in Data.RTCM3.System

Methods

readsPrec :: Int -> ReadS MessageHeader

readList :: ReadS [MessageHeader]

readPrec :: ReadPrec MessageHeader

readListPrec :: ReadPrec [MessageHeader]

Show MessageHeader

Defined in Data.RTCM3.System

Methods

showsPrec :: Int -> MessageHeader -> ShowS

show :: MessageHeader -> String

showList :: [MessageHeader] -> ShowS

ToJSON MessageHeader

Defined in Data.RTCM3.System

Methods

toJSON :: MessageHeader -> Value

toEncoding :: MessageHeader -> Encoding

toJSONList :: [MessageHeader] -> Value

toEncodingList :: [MessageHeader] -> Encoding

FromJSON MessageHeader

Defined in Data.RTCM3.System

Methods

parseJSON :: Value -> Parser MessageHeader

parseJSONList :: Value -> Parser [MessageHeader]

BinaryBit MessageHeader

Defined in Data.RTCM3.System

Methods

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

getBits :: Int -> BitGet 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

Transmitted message.

Constructors

Message

Fields

• _message_num :: Word16

  Message number.

• _message_synchronous :: Bool

  Synchronous flag.

• _message_interval :: Word16

  Transmission interval.

Instances

Eq Message

Defined in Data.RTCM3.System

Methods

(==) :: Message -> Message -> Bool

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

Read Message

Defined in Data.RTCM3.System

Methods

readsPrec :: Int -> ReadS Message

readList :: ReadS [Message]

readPrec :: ReadPrec Message

readListPrec :: ReadPrec [Message]

Show Message

Defined in Data.RTCM3.System

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

ToJSON Message

Defined in Data.RTCM3.System

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

FromJSON Message

Defined in Data.RTCM3.System

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

BinaryBit Message

Defined in Data.RTCM3.System

Methods

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

getBits :: Int -> BitGet Message

message_interval :: Lens' Message Word16

message_num :: Lens' Message Word16

message_synchronous :: Lens' Message Bool

data TextMessage

TextMessage

Informational text message.

Constructors

TextMessage

Fields

• _textMessage_num :: Word16

  Message number.

• _textMessage_station :: Word16

  Reference station id.

• _textMessage_mjd :: Word16

  Modified Julian Day Number.

• _textMessage_seconds :: Word32

  Seconds of Day.

• _textMessage_characters :: Word8

  Number of characters.

• _textMessage_n :: Word8

  Number of UTF-8 code units.

• _textMessage_text :: Text

  UTF-8 code units.

Instances

Eq TextMessage

Defined in Data.RTCM3.System

Methods

(==) :: TextMessage -> TextMessage -> Bool

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

Read TextMessage

Defined in Data.RTCM3.System

Methods

readsPrec :: Int -> ReadS TextMessage

readList :: ReadS [TextMessage]

readPrec :: ReadPrec TextMessage

readListPrec :: ReadPrec [TextMessage]

Show TextMessage

Defined in Data.RTCM3.System

Methods

showsPrec :: Int -> TextMessage -> ShowS

show :: TextMessage -> String

showList :: [TextMessage] -> ShowS

ToJSON TextMessage

Defined in Data.RTCM3.System

Methods

toJSON :: TextMessage -> Value

toEncoding :: TextMessage -> Encoding

toJSONList :: [TextMessage] -> Value

toEncodingList :: [TextMessage] -> Encoding

FromJSON TextMessage

Defined in Data.RTCM3.System

Methods

parseJSON :: Value -> Parser TextMessage

parseJSONList :: Value -> Parser [TextMessage]

BinaryBit TextMessage

Defined in Data.RTCM3.System

Methods

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

getBits :: Int -> BitGet 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.

RTCMv3 message 1013.

Constructors

Msg1013

Fields

• _msg1013_header :: MessageHeader

  Messages header.

• _msg1013_messages :: [Message]

  Messages.

Instances

Eq Msg1013

Defined in Data.RTCM3.System

Methods

(==) :: Msg1013 -> Msg1013 -> Bool

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

Read Msg1013

Defined in Data.RTCM3.System

Methods

readsPrec :: Int -> ReadS Msg1013

readList :: ReadS [Msg1013]

readPrec :: ReadPrec Msg1013

readListPrec :: ReadPrec [Msg1013]

Show Msg1013

Defined in Data.RTCM3.System

Methods

showsPrec :: Int -> Msg1013 -> ShowS

show :: Msg1013 -> String

showList :: [Msg1013] -> ShowS

ToJSON Msg1013

Defined in Data.RTCM3.System

Methods

toJSON :: Msg1013 -> Value

toEncoding :: Msg1013 -> Encoding

toJSONList :: [Msg1013] -> Value

toEncodingList :: [Msg1013] -> Encoding

FromJSON Msg1013

Defined in Data.RTCM3.System

Methods

parseJSON :: Value -> Parser Msg1013

parseJSONList :: Value -> Parser [Msg1013]

Binary Msg1013

Defined in Data.RTCM3.System

Methods

put :: Msg1013 -> Put

get :: Get Msg1013

putList :: [Msg1013] -> Put

ToRTCM3 Msg1013

Defined in Data.RTCM3.System

Methods

toRTCM3 :: Msg1013 -> Msg

msg1013 :: Word16

msg1013_header :: Lens' Msg1013 MessageHeader

msg1013_messages :: Lens' Msg1013 [Message]

newtype Msg1029

Msg1029.

RTCMv3 message 1029.

Constructors

Msg1029

Fields

• _msg1029_message :: TextMessage

  Text Messages.

Instances

Eq Msg1029

Defined in Data.RTCM3.System

Methods

(==) :: Msg1029 -> Msg1029 -> Bool

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

Read Msg1029

Defined in Data.RTCM3.System

Methods

readsPrec :: Int -> ReadS Msg1029

readList :: ReadS [Msg1029]

readPrec :: ReadPrec Msg1029

readListPrec :: ReadPrec [Msg1029]

Show Msg1029

Defined in Data.RTCM3.System

Methods

showsPrec :: Int -> Msg1029 -> ShowS

show :: Msg1029 -> String

showList :: [Msg1029] -> ShowS

ToJSON Msg1029

Defined in Data.RTCM3.System

Methods

toJSON :: Msg1029 -> Value

toEncoding :: Msg1029 -> Encoding

toJSONList :: [Msg1029] -> Value

toEncodingList :: [Msg1029] -> Encoding

FromJSON Msg1029

Defined in Data.RTCM3.System

Methods

parseJSON :: Value -> Parser Msg1029

parseJSONList :: Value -> Parser [Msg1029]

Binary Msg1029

Defined in Data.RTCM3.System

Methods

put :: Msg1029 -> Put

get :: Get Msg1029

putList :: [Msg1029] -> Put

ToRTCM3 Msg1029

Defined in Data.RTCM3.System

Methods

toRTCM3 :: Msg1029 -> Msg

msg1029 :: Word16

msg1029_message :: Iso' Msg1029 TextMessage