{-# LANGUAGE StrictData  #-}
{-# LANGUAGE Trustworthy #-}
module Tox.DHT.RpcPacketSpec where

import           Test.Hspec

import           Data.Proxy                    (Proxy (..))
import           Data.Word                     (Word64)
import           Tox.DHT.RpcPacket             (RequestId (..), RpcPacket (..))
import           Tox.Network.Core.EncodingSpec


spec :: Spec
spec = do
  rpcSpec (Proxy :: Proxy (RpcPacket Word64))
  binarySpec (Proxy :: Proxy (RpcPacket Word64))
  readShowSpec (Proxy :: Proxy (RpcPacket Word64))

  it "has a payload and a request ID" $ do
    let packet = RpcPacket ["heyo"] (RequestId 0x12345678)
    rpcPayload packet `shouldBe` ["heyo"]
    requestId packet `shouldBe` RequestId 0x12345678