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

Methods

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

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

Read MessageHeader

Methods

readsPrec :: Int -> ReadS MessageHeader

readList :: ReadS [MessageHeader]

readPrec :: ReadPrec MessageHeader

readListPrec :: ReadPrec [MessageHeader]

Show MessageHeader

Methods

showsPrec :: Int -> MessageHeader -> ShowS

show :: MessageHeader -> String

showList :: [MessageHeader] -> ShowS

ToJSON MessageHeader

Methods

toJSON :: MessageHeader -> Value

toEncoding :: MessageHeader -> Encoding

toJSONList :: [MessageHeader] -> Value

toEncodingList :: [MessageHeader] -> Encoding

FromJSON MessageHeader

Methods

parseJSON :: Value -> Parser MessageHeader

parseJSONList :: Value -> Parser [MessageHeader]

BinaryBit MessageHeader

Methods

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

getBits :: Int -> BitGet MessageHeader

messageHeader_station :: Lens' MessageHeader Word16

messageHeader_seconds :: Lens' MessageHeader Word32

messageHeader_num :: Lens' MessageHeader Word16

messageHeader_n :: Lens' MessageHeader Word8

messageHeader_mjd :: Lens' MessageHeader Word16

messageHeader_leapSeconds :: Lens' MessageHeader Word8

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

Methods

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

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

Read Message

Methods

readsPrec :: Int -> ReadS Message

readList :: ReadS [Message]

readPrec :: ReadPrec Message

readListPrec :: ReadPrec [Message]

Show Message

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

ToJSON Message

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

FromJSON Message

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

BinaryBit Message

Methods

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

getBits :: Int -> BitGet Message

message_synchronous :: Lens' Message Bool

message_num :: Lens' Message Word16

message_interval :: Lens' Message Word16

msg1013 :: Word16

data Msg1013

Msg1013.

RTCMv3 message 1013.

Constructors

Msg1013

Fields

• _msg1013_header :: MessageHeader

  Messages header.

• _msg1013_messages :: [Message]

  Messages.

Instances

Eq Msg1013

Methods

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

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

Read Msg1013

Methods

readsPrec :: Int -> ReadS Msg1013

readList :: ReadS [Msg1013]

readPrec :: ReadPrec Msg1013

readListPrec :: ReadPrec [Msg1013]

Show Msg1013

Methods

showsPrec :: Int -> Msg1013 -> ShowS

show :: Msg1013 -> String

showList :: [Msg1013] -> ShowS

ToJSON Msg1013

Methods

toJSON :: Msg1013 -> Value

toEncoding :: Msg1013 -> Encoding

toJSONList :: [Msg1013] -> Value

toEncodingList :: [Msg1013] -> Encoding

FromJSON Msg1013

Methods

parseJSON :: Value -> Parser Msg1013

parseJSONList :: Value -> Parser [Msg1013]

Binary Msg1013

Methods

put :: Msg1013 -> Put

get :: Get Msg1013

putList :: [Msg1013] -> Put

ToRTCM3 Msg1013

Methods

toRTCM3 :: Msg1013 -> Msg

msg1013_messages :: Lens' Msg1013 [Message]

msg1013_header :: Lens' Msg1013 MessageHeader