mirror of
https://github.com/simplex-chat/simplexmq.git
synced 2026-06-07 06:42:00 +00:00
Evgeny
b7a9542213
* smp server: short links and owners for channels * types * support mutliple rcv keys * fix down migration, test/create server schema dump * reduce schema dump * parameterize type for link data by connection type * return full connection link data * test version * change short link encoding * test: print pg_dump output * server pages, link encoding * fix connection request when queue data and sender ID are created for old servers * test, change pattern * ci: install postgresql tools in runner (#1507) * ci: install postgresql tools in runner * ci: docker shell abort on error * fix pattern for ghc 8.10.7 * patch ConnReqUriData SMP encoding to preserve queue mode after decoding * test for RKEY * fix/test store log with RKEY --------- Co-authored-by: sh <37271604+shumvgolove@users.noreply.github.com>
42 lines
933 B
Haskell
42 lines
933 B
Haskell
{-# LANGUAGE GADTs #-}
|
|
{-# LANGUAGE StandaloneDeriving #-}
|
|
{-# OPTIONS_GHC -Wno-orphans #-}
|
|
|
|
module AgentTests.EqInstances where
|
|
|
|
import Data.Type.Equality
|
|
import Simplex.Messaging.Agent.Protocol (ConnLinkData (..), OwnerAuth (..))
|
|
import Simplex.Messaging.Agent.Store
|
|
import Simplex.Messaging.Client (ProxiedRelay (..))
|
|
|
|
instance Eq SomeConn where
|
|
SomeConn d c == SomeConn d' c' = case testEquality d d' of
|
|
Just Refl -> c == c'
|
|
_ -> False
|
|
|
|
deriving instance Eq (Connection d)
|
|
|
|
deriving instance Eq (SConnType d)
|
|
|
|
deriving instance Eq (StoredRcvQueue q)
|
|
|
|
deriving instance Eq (StoredSndQueue q)
|
|
|
|
deriving instance Eq (DBQueueId q)
|
|
|
|
deriving instance Eq ClientNtfCreds
|
|
|
|
deriving instance Eq ShortLinkCreds
|
|
|
|
deriving instance Show (ConnLinkData c)
|
|
|
|
deriving instance Eq (ConnLinkData c)
|
|
|
|
deriving instance Show OwnerAuth
|
|
|
|
deriving instance Eq OwnerAuth
|
|
|
|
deriving instance Show ProxiedRelay
|
|
|
|
deriving instance Eq ProxiedRelay
|