Data.RTCM3

RTCMv3 message containers.

Documentation

data RTCM3Msg

An RTCM message ADT composed of all defined RTCM messages.

Includes RTCMMsgUnknown for valid RTCM messages with undefined message types and RTCMMsgBadCRC for RTCM messages with invalid CRC checksums.

Constructors

RTCM3Msg1001 Msg1001 Msg

RTCM3Msg1002 Msg1002 Msg

RTCM3Msg1003 Msg1003 Msg

RTCM3Msg1004 Msg1004 Msg

RTCM3Msg1005 Msg1005 Msg

RTCM3Msg1006 Msg1006 Msg

RTCM3Msg1007 Msg1007 Msg

RTCM3Msg1008 Msg1008 Msg

RTCM3Msg1009 Msg1009 Msg

RTCM3Msg1010 Msg1010 Msg

RTCM3Msg1011 Msg1011 Msg

RTCM3Msg1012 Msg1012 Msg

RTCM3Msg1013 Msg1013 Msg

RTCM3Msg1019 Msg1019 Msg

RTCM3Msg1020 Msg1020 Msg

RTCM3Msg1029 Msg1029 Msg

RTCM3Msg1033 Msg1033 Msg

RTCM3Msg1057 Msg1057 Msg

RTCM3Msg1058 Msg1058 Msg

RTCM3Msg1059 Msg1059 Msg

RTCM3Msg1060 Msg1060 Msg

RTCM3Msg1063 Msg1063 Msg

RTCM3Msg1064 Msg1064 Msg

RTCM3Msg1065 Msg1065 Msg

RTCM3Msg1066 Msg1066 Msg

RTCM3Msg1074 Msg1074 Msg

RTCM3Msg1075 Msg1075 Msg

RTCM3Msg1076 Msg1076 Msg

RTCM3Msg1077 Msg1077 Msg

RTCM3Msg1084 Msg1084 Msg

RTCM3Msg1085 Msg1085 Msg

RTCM3Msg1086 Msg1086 Msg

RTCM3Msg1087 Msg1087 Msg

RTCM3Msg1094 Msg1094 Msg

RTCM3Msg1095 Msg1095 Msg

RTCM3Msg1096 Msg1096 Msg

RTCM3Msg1097 Msg1097 Msg

RTCM3Msg1104 Msg1104 Msg

RTCM3Msg1105 Msg1105 Msg

RTCM3Msg1106 Msg1106 Msg

RTCM3Msg1107 Msg1107 Msg

RTCM3Msg1114 Msg1114 Msg

RTCM3Msg1115 Msg1115 Msg

RTCM3Msg1116 Msg1116 Msg

RTCM3Msg1117 Msg1117 Msg

RTCM3Msg1124 Msg1124 Msg

RTCM3Msg1125 Msg1125 Msg

RTCM3Msg1126 Msg1126 Msg

RTCM3Msg1127 Msg1127 Msg

RTCM3Msg1230 Msg1230 Msg

RTCM3Msg1265 Msg1265 Msg

RTCM3Msg1266 Msg1266 Msg

RTCM3MsgUnknown Word16 Msg

RTCM3MsgBadCrc Msg

RTCM3MsgEmpty Msg

Instances

Eq RTCM3Msg

Methods

(==) :: RTCM3Msg -> RTCM3Msg -> Bool

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

Read RTCM3Msg

Methods

readsPrec :: Int -> ReadS RTCM3Msg

readList :: ReadS [RTCM3Msg]

readPrec :: ReadPrec RTCM3Msg

readListPrec :: ReadPrec [RTCM3Msg]

Show RTCM3Msg

Methods

showsPrec :: Int -> RTCM3Msg -> ShowS

show :: RTCM3Msg -> String

showList :: [RTCM3Msg] -> ShowS

ToJSON RTCM3Msg

Methods

toJSON :: RTCM3Msg -> Value

toEncoding :: RTCM3Msg -> Encoding

toJSONList :: [RTCM3Msg] -> Value

toEncodingList :: [RTCM3Msg] -> Encoding

FromJSON RTCM3Msg

Methods

parseJSON :: Value -> Parser RTCM3Msg

parseJSONList :: Value -> Parser [RTCM3Msg]

Binary RTCM3Msg

Methods

put :: RTCM3Msg -> Put

get :: Get RTCM3Msg

putList :: [RTCM3Msg] -> Put

HasMsg RTCM3Msg

Methods

msg :: Lens' RTCM3Msg Msg

msgRTCM3Crc :: Lens' RTCM3Msg Word24

msgRTCM3Len :: Lens' RTCM3Msg Word16

msgRTCM3Payload :: Lens' RTCM3Msg Bytes

_RTCM3MsgEmpty :: Prism' RTCM3Msg Msg

_RTCM3MsgBadCrc :: Prism' RTCM3Msg Msg

_RTCM3MsgUnknown :: Prism' RTCM3Msg (Word16, Msg)

_RTCM3Msg1266 :: Prism' RTCM3Msg (Msg1266, Msg)

_RTCM3Msg1265 :: Prism' RTCM3Msg (Msg1265, Msg)

_RTCM3Msg1230 :: Prism' RTCM3Msg (Msg1230, Msg)

_RTCM3Msg1127 :: Prism' RTCM3Msg (Msg1127, Msg)

_RTCM3Msg1126 :: Prism' RTCM3Msg (Msg1126, Msg)

_RTCM3Msg1125 :: Prism' RTCM3Msg (Msg1125, Msg)

_RTCM3Msg1124 :: Prism' RTCM3Msg (Msg1124, Msg)

_RTCM3Msg1117 :: Prism' RTCM3Msg (Msg1117, Msg)

_RTCM3Msg1116 :: Prism' RTCM3Msg (Msg1116, Msg)

_RTCM3Msg1115 :: Prism' RTCM3Msg (Msg1115, Msg)

_RTCM3Msg1114 :: Prism' RTCM3Msg (Msg1114, Msg)

_RTCM3Msg1107 :: Prism' RTCM3Msg (Msg1107, Msg)

_RTCM3Msg1106 :: Prism' RTCM3Msg (Msg1106, Msg)

_RTCM3Msg1105 :: Prism' RTCM3Msg (Msg1105, Msg)

_RTCM3Msg1104 :: Prism' RTCM3Msg (Msg1104, Msg)

_RTCM3Msg1097 :: Prism' RTCM3Msg (Msg1097, Msg)

_RTCM3Msg1096 :: Prism' RTCM3Msg (Msg1096, Msg)

_RTCM3Msg1095 :: Prism' RTCM3Msg (Msg1095, Msg)

_RTCM3Msg1094 :: Prism' RTCM3Msg (Msg1094, Msg)

_RTCM3Msg1087 :: Prism' RTCM3Msg (Msg1087, Msg)

_RTCM3Msg1086 :: Prism' RTCM3Msg (Msg1086, Msg)

_RTCM3Msg1085 :: Prism' RTCM3Msg (Msg1085, Msg)

_RTCM3Msg1084 :: Prism' RTCM3Msg (Msg1084, Msg)

_RTCM3Msg1077 :: Prism' RTCM3Msg (Msg1077, Msg)

_RTCM3Msg1076 :: Prism' RTCM3Msg (Msg1076, Msg)

_RTCM3Msg1075 :: Prism' RTCM3Msg (Msg1075, Msg)

_RTCM3Msg1074 :: Prism' RTCM3Msg (Msg1074, Msg)

_RTCM3Msg1066 :: Prism' RTCM3Msg (Msg1066, Msg)

_RTCM3Msg1065 :: Prism' RTCM3Msg (Msg1065, Msg)

_RTCM3Msg1064 :: Prism' RTCM3Msg (Msg1064, Msg)

_RTCM3Msg1063 :: Prism' RTCM3Msg (Msg1063, Msg)

_RTCM3Msg1060 :: Prism' RTCM3Msg (Msg1060, Msg)

_RTCM3Msg1059 :: Prism' RTCM3Msg (Msg1059, Msg)

_RTCM3Msg1058 :: Prism' RTCM3Msg (Msg1058, Msg)

_RTCM3Msg1057 :: Prism' RTCM3Msg (Msg1057, Msg)

_RTCM3Msg1033 :: Prism' RTCM3Msg (Msg1033, Msg)

_RTCM3Msg1029 :: Prism' RTCM3Msg (Msg1029, Msg)

_RTCM3Msg1020 :: Prism' RTCM3Msg (Msg1020, Msg)

_RTCM3Msg1019 :: Prism' RTCM3Msg (Msg1019, Msg)

_RTCM3Msg1013 :: Prism' RTCM3Msg (Msg1013, Msg)

_RTCM3Msg1012 :: Prism' RTCM3Msg (Msg1012, Msg)

_RTCM3Msg1011 :: Prism' RTCM3Msg (Msg1011, Msg)

_RTCM3Msg1010 :: Prism' RTCM3Msg (Msg1010, Msg)

_RTCM3Msg1009 :: Prism' RTCM3Msg (Msg1009, Msg)

_RTCM3Msg1008 :: Prism' RTCM3Msg (Msg1008, Msg)

_RTCM3Msg1007 :: Prism' RTCM3Msg (Msg1007, Msg)

_RTCM3Msg1006 :: Prism' RTCM3Msg (Msg1006, Msg)

_RTCM3Msg1005 :: Prism' RTCM3Msg (Msg1005, Msg)

_RTCM3Msg1004 :: Prism' RTCM3Msg (Msg1004, Msg)

_RTCM3Msg1003 :: Prism' RTCM3Msg (Msg1003, Msg)

_RTCM3Msg1002 :: Prism' RTCM3Msg (Msg1002, Msg)

_RTCM3Msg1001 :: Prism' RTCM3Msg (Msg1001, Msg)

(<<>>) :: Value -> Value -> Value