simplexmq/tests/AgentTests/EqInstances.hs

{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module AgentTests.EqInstances where

import Data.Type.Equality
import Simplex.Messaging.Agent.Protocol (ABinaryConnectionRequestUri (..), AMessage (..), AMessageReceipt (..), AgentMessage (..), APrivHeader (..), ShortLinkCreds (..))
import Simplex.Messaging.Agent.Store
import Simplex.Messaging.Client (ProxiedRelay (..))
import Simplex.Messaging.Server.Information

instance (Eq rq, Eq sq) => Eq (SomeConn' rq sq) where
  SomeConn d c == SomeConn d' c' = case testEquality d d' of
    Just Refl -> c == c'
    _ -> False

deriving instance (Eq rq, Eq sq) => Eq (Connection' d rq sq)

deriving instance Eq (SConnType d)

deriving instance Eq (StoredRcvQueue s)

deriving instance Eq (StoredSndQueue q)

deriving instance Eq RcvQueueSub

deriving instance Eq ClientNtfCreds

deriving instance Eq ShortLinkCreds

deriving instance Show ProxiedRelay

deriving instance Eq ProxiedRelay

instance Eq ABinaryConnectionRequestUri where
  ABCR m cr == ABCR m' cr' = case testEquality m m' of
    Just Refl -> cr == cr'
    _ -> False

deriving instance Show ABinaryConnectionRequestUri

deriving instance Eq APrivHeader

deriving instance Eq AMessageReceipt

deriving instance Eq AMessage

deriving instance Eq AgentMessage

deriving instance Eq Entity

deriving instance Eq HostingType

deriving instance Eq PGPKey

deriving instance Eq ServerConditions

deriving instance Eq ServerContactAddress

deriving instance Eq ServerPublicInfo