mirror of
https://github.com/simplex-chat/simplexmq.git
synced 2026-03-31 22:46:27 +00:00
c5b7d3c7af
* agent: use large string encoding for contact link data * size-dependent user link data encoding * tag large user data encoding with \255
44 lines
988 B
Haskell
44 lines
988 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 (..), UserLinkData (..))
|
|
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 s)
|
|
|
|
deriving instance Eq (StoredSndQueue q)
|
|
|
|
deriving instance Eq ClientNtfCreds
|
|
|
|
deriving instance Eq ShortLinkCreds
|
|
|
|
deriving instance Show (ConnLinkData c)
|
|
|
|
deriving instance Eq (ConnLinkData c)
|
|
|
|
deriving instance Show UserLinkData
|
|
|
|
deriving instance Eq UserLinkData
|
|
|
|
deriving instance Show OwnerAuth
|
|
|
|
deriving instance Eq OwnerAuth
|
|
|
|
deriving instance Show ProxiedRelay
|
|
|
|
deriving instance Eq ProxiedRelay
|