ChatID is a type alias for an Ed25519 signature key.

1 files changed, 25 insertions, 2 deletions

diff --git a/src/Data/Tox/Msg.hs b/src/Data/Tox/Msg.hs
index d42b092b..e8c26a56 100644
--- a/src/Data/Tox/Msg.hs
+++ b/src/Data/Tox/Msg.hs
@@ -10,6 +10,9 @@
 {-# LANGUAGE TypeFamilies               #-}
 module Data.Tox.Msg where
 
+import Crypto.Error
+import qualified Crypto.PubKey.Ed25519 as Ed25519
+import Data.ByteArray             as BA
 import Data.ByteString            as B
 import Data.Dependent.Sum
 import Data.Functor.Contravariant
@@ -234,8 +237,28 @@ lossyness m = case msgbyte m of
       | otherwise            -> Lossless
 
 
-newtype ChatID = ChatID Nonce32
- deriving (Eq,Show,Serialize,Sized)
+newtype ChatID = ChatID Ed25519.PublicKey
+ deriving Eq
+
+instance Sized ChatID where size = ConstSize 32
+
+instance Serialize ChatID where
+    get = do
+        bs <- getBytes 32
+        case Ed25519.publicKey bs of
+            CryptoPassed ed -> return $ ChatID ed
+            CryptoFailed e -> fail (show e)
+    put (ChatID ed) = putByteString $ BA.convert ed
+
+instance Read ChatID where
+    readsPrec _ s
+        | Right bs <- parseToken32 s
+        , CryptoPassed ed <- Ed25519.publicKey bs
+                    = [ (ChatID ed, Prelude.drop 43 s) ]
+        | otherwise = []
+
+instance Show ChatID where
+    show (ChatID ed) = showToken32 ed
 
 data InviteType = GroupInvite { groupName :: Text }
                 | AccptedInvite