diff options
author | James Crayne <jim.crayne@gmail.com> | 2020-01-24 09:10:56 +0000 |
---|---|---|
committer | James Crayne <jim.crayne@gmail.com> | 2020-01-24 09:10:56 +0000 |
commit | 770649a15332df52e98c8d99582e5d67d8d84787 (patch) | |
tree | 9b9c3382bb5113182f1ddc9b738f60df16e2317f /dht/src/Data/Tox | |
parent | b7d05c1aa9fe88880eca5ee3f6a20ac16c9e6137 (diff) |
fix formatting which confuses haddock
Diffstat (limited to 'dht/src/Data/Tox')
-rw-r--r-- | dht/src/Data/Tox/Message.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/dht/src/Data/Tox/Message.hs b/dht/src/Data/Tox/Message.hs index 9f1ce339..93750f90 100644 --- a/dht/src/Data/Tox/Message.hs +++ b/dht/src/Data/Tox/Message.hs | |||
@@ -9,11 +9,11 @@ import Data.Word | |||
9 | 9 | ||
10 | -- | The one-byte type code prefix that classifies a 'CryptoMessage'. | 10 | -- | The one-byte type code prefix that classifies a 'CryptoMessage'. |
11 | newtype MessageID = MessageID Word8 deriving (Eq,Enum,Ord,Bounded) | 11 | newtype MessageID = MessageID Word8 deriving (Eq,Enum,Ord,Bounded) |
12 | pattern Padding = MessageID 0 -- ^ 0 padding (skipped until we hit a non zero (data id) byte) | 12 | pattern Padding = MessageID 0 -- 0 padding (skipped until we hit a non zero (data id) byte) |
13 | pattern PacketRequest = MessageID 1 -- ^ 1 packet request packet (lossy packet) | 13 | pattern PacketRequest = MessageID 1 -- 1 packet request packet (lossy packet) |
14 | pattern KillPacket = MessageID 2 -- ^ 2 connection kill packet (lossy packet) | 14 | pattern KillPacket = MessageID 2 -- 2 connection kill packet (lossy packet) |
15 | pattern UnspecifiedPacket003 = MessageID 3 -- ^ 3+ unspecified | 15 | pattern UnspecifiedPacket003 = MessageID 3 -- 3+ unspecified |
16 | pattern PING = MessageID 16 -- ^ 16+ reserved for Messenger usage (lossless packets) | 16 | pattern PING = MessageID 16 -- 16+ reserved for Messenger usage (lossless packets) |
17 | -- TODO: rename to ALIVE 16 | 17 | -- TODO: rename to ALIVE 16 |
18 | -- SHARE_RELAYS 17 | 18 | -- SHARE_RELAYS 17 |
19 | -- FRIEND_REQUESTS 18 | 19 | -- FRIEND_REQUESTS 18 |
@@ -40,9 +40,9 @@ pattern DIRECT_GROUPCHAT = MessageID 98 -- 0x62 | |||
40 | pattern MESSAGE_GROUPCHAT = MessageID 99 -- 0x63 | 40 | pattern MESSAGE_GROUPCHAT = MessageID 99 -- 0x63 |
41 | -- TODO: rename to MESSAGE_CONFERENCE 99 | 41 | -- TODO: rename to MESSAGE_CONFERENCE 99 |
42 | -- LOSSLESS_RANGE_START 160 | 42 | -- LOSSLESS_RANGE_START 160 |
43 | pattern MessengerLossy192 = MessageID 192 -- ^ 192+ reserved for Messenger usage (lossy packets) | 43 | pattern MessengerLossy192 = MessageID 192 -- 192+ reserved for Messenger usage (lossy packets) |
44 | pattern LOSSY_GROUPCHAT = MessageID 199 -- 0xC7 | 44 | pattern LOSSY_GROUPCHAT = MessageID 199 -- 0xC7 |
45 | pattern Messenger255 = MessageID 255 -- ^ 255 reserved for Messenger usage (lossless packet) | 45 | pattern Messenger255 = MessageID 255 -- 255 reserved for Messenger usage (lossless packet) |
46 | 46 | ||
47 | instance Show MessageID where | 47 | instance Show MessageID where |
48 | show Padding = "Padding" | 48 | show Padding = "Padding" |