NEW Bool AConnectionMode InitialKeys SubscriptionMode
LSET (UserConnLinkData 'CMContact) (Maybe CRClientData)
LGET (ConnShortLink 'CMContact)
JOIN Bool AConnectionRequestUri PQSupport SubscriptionMode ConnInfo
LET ConfirmationId ConnInfo
ACK AgentMsgId (Maybe MsgReceiptInfo)
SWCH
DEL

Instances

Instances details

Show ACommand Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ACommand -> ShowS show :: ACommand -> String showList :: [ACommand] -> ShowS
Eq ACommand Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ACommand -> ACommand -> Bool (/=) :: ACommand -> ACommand -> Bool

data AEvent (e :: AEntity) where Source #

Parameterized type for SMP agent events

Constructors

INV :: AConnectionRequestUri -> Maybe ClientServiceId -> AEvent 'AEConn
LINK :: ConnShortLink 'CMContact -> UserConnLinkData 'CMContact -> AEvent 'AEConn
LDATA :: FixedLinkData 'CMContact -> ConnLinkData 'CMContact -> AEvent 'AEConn
CONF :: ConfirmationId -> PQSupport -> [SMPServer] -> ConnInfo -> AEvent 'AEConn
REQ :: InvitationId -> PQSupport -> NonEmpty SMPServer -> ConnInfo -> AEvent 'AEConn
INFO :: PQSupport -> ConnInfo -> AEvent 'AEConn
CON :: PQEncryption -> AEvent 'AEConn
END :: AEvent 'AEConn
DELD :: AEvent 'AEConn
CONNECT :: AProtocolType -> TransportHost -> AEvent 'AENone
DISCONNECT :: AProtocolType -> TransportHost -> AEvent 'AENone
DOWN :: SMPServer -> [ConnId] -> AEvent 'AENone
UP :: SMPServer -> [ConnId] -> AEvent 'AENone
SWITCH :: QueueDirection -> SwitchPhase -> ConnectionStats -> AEvent 'AEConn
RSYNC :: RatchetSyncState -> Maybe AgentCryptoError -> ConnectionStats -> AEvent 'AEConn
SENT :: AgentMsgId -> Maybe SMPServer -> AEvent 'AEConn
MWARN :: AgentMsgId -> AgentErrorType -> AEvent 'AEConn
MERR :: AgentMsgId -> AgentErrorType -> AEvent 'AEConn
MERRS :: NonEmpty AgentMsgId -> AgentErrorType -> AEvent 'AEConn
MSG :: MsgMeta -> MsgFlags -> MsgBody -> AEvent 'AEConn
MSGNTF :: MsgId -> Maybe UTCTime -> AEvent 'AEConn
RCVD :: MsgMeta -> NonEmpty MsgReceipt -> AEvent 'AEConn
QCONT :: AEvent 'AEConn
DEL_RCVQS :: NonEmpty (ConnId, SMPServer, RecipientId, Maybe AgentErrorType) -> AEvent 'AEConn
DEL_CONNS :: NonEmpty ConnId -> AEvent 'AEConn
DEL_USER :: Int64 -> AEvent 'AENone
STAT :: ConnectionStats -> AEvent 'AEConn
OK :: AEvent 'AEConn
JOINED :: SndQueueSecured -> Maybe ClientServiceId -> AEvent 'AEConn
ERR :: AgentErrorType -> AEvent 'AEConn
ERRS :: NonEmpty (ConnId, AgentErrorType) -> AEvent 'AENone
SUSPENDED :: AEvent 'AENone
RFPROG :: Int64 -> Int64 -> AEvent 'AERcvFile
RFDONE :: FilePath -> AEvent 'AERcvFile
RFERR :: AgentErrorType -> AEvent 'AERcvFile
RFWARN :: AgentErrorType -> AEvent 'AERcvFile
SFPROG :: Int64 -> Int64 -> AEvent 'AESndFile
SFDONE :: ValidFileDescription 'FSender -> [ValidFileDescription 'FRecipient] -> AEvent 'AESndFile
SFERR :: AgentErrorType -> AEvent 'AESndFile
SFWARN :: AgentErrorType -> AEvent 'AESndFile

Instances

Instances details

Show (AEvent e) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AEvent e -> ShowS show :: AEvent e -> String showList :: [AEvent e] -> ShowS
Eq (AEvent e) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AEvent e -> AEvent e -> Bool (/=) :: AEvent e -> AEvent e -> Bool

data AEvt Source #

Constructors

AEntityI e => AEvt (SAEntity e) (AEvent e)

Instances

Instances details

Show AEvt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AEvt -> ShowS show :: AEvt -> String showList :: [AEvt] -> ShowS
Eq AEvt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AEvt -> AEvt -> Bool (/=) :: AEvt -> AEvt -> Bool

data ACommandTag Source #

Constructors

NEW_
LSET_
LGET_
JOIN_
LET_
ACK_
SWCH_
DEL_

Instances

Instances details

Show ACommandTag Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ACommandTag -> ShowS show :: ACommandTag -> String showList :: [ACommandTag] -> ShowS
StrEncoding ACommandTag Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: ACommandTag -> ByteString Source # strDecode :: ByteString -> Either String ACommandTag Source # strP :: Parser ACommandTag Source #

data AEventTag (e :: AEntity) where Source #

Constructors

INV_ :: AEventTag 'AEConn
LINK_ :: AEventTag 'AEConn
LDATA_ :: AEventTag 'AEConn
CONF_ :: AEventTag 'AEConn
REQ_ :: AEventTag 'AEConn
INFO_ :: AEventTag 'AEConn
CON_ :: AEventTag 'AEConn
END_ :: AEventTag 'AEConn
DELD_ :: AEventTag 'AEConn
CONNECT_ :: AEventTag 'AENone
DISCONNECT_ :: AEventTag 'AENone
DOWN_ :: AEventTag 'AENone
UP_ :: AEventTag 'AENone
SWITCH_ :: AEventTag 'AEConn
RSYNC_ :: AEventTag 'AEConn
SENT_ :: AEventTag 'AEConn
MWARN_ :: AEventTag 'AEConn
MERR_ :: AEventTag 'AEConn
MERRS_ :: AEventTag 'AEConn
MSG_ :: AEventTag 'AEConn
MSGNTF_ :: AEventTag 'AEConn
RCVD_ :: AEventTag 'AEConn
QCONT_ :: AEventTag 'AEConn
DEL_RCVQS_ :: AEventTag 'AEConn
DEL_CONNS_ :: AEventTag 'AEConn
DEL_USER_ :: AEventTag 'AENone
STAT_ :: AEventTag 'AEConn
OK_ :: AEventTag 'AEConn
JOINED_ :: AEventTag 'AEConn
ERR_ :: AEventTag 'AEConn
ERRS_ :: AEventTag 'AENone
SUSPENDED_ :: AEventTag 'AENone
RFDONE_ :: AEventTag 'AERcvFile
RFPROG_ :: AEventTag 'AERcvFile
RFERR_ :: AEventTag 'AERcvFile
RFWARN_ :: AEventTag 'AERcvFile
SFPROG_ :: AEventTag 'AESndFile
SFDONE_ :: AEventTag 'AESndFile
SFERR_ :: AEventTag 'AESndFile
SFWARN_ :: AEventTag 'AESndFile

Instances

Instances details

Show (AEventTag e) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AEventTag e -> ShowS show :: AEventTag e -> String showList :: [AEventTag e] -> ShowS
Eq (AEventTag e) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AEventTag e -> AEventTag e -> Bool (/=) :: AEventTag e -> AEventTag e -> Bool

data AEvtTag Source #

Constructors

AEntityI e => AEvtTag (SAEntity e) (AEventTag e)

Instances

Instances details

Show AEvtTag Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AEvtTag -> ShowS show :: AEvtTag -> String showList :: [AEvtTag] -> ShowS
Eq AEvtTag Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AEvtTag -> AEvtTag -> Bool (/=) :: AEvtTag -> AEvtTag -> Bool

aCommandTag :: ACommand -> ACommandTag Source #

aEventTag :: forall (e :: AEntity). AEvent e -> AEventTag e Source #

data AEntity Source #

Constructors

AEConn
AERcvFile
AESndFile
AENone

Instances

Instances details

Show AEntity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AEntity -> ShowS show :: AEntity -> String showList :: [AEntity] -> ShowS
Eq AEntity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AEntity -> AEntity -> Bool (/=) :: AEntity -> AEntity -> Bool
TestEquality SAEntity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods testEquality :: forall (a :: AEntity) (b :: AEntity). SAEntity a -> SAEntity b -> Maybe (a :~: b)

data SAEntity (a :: AEntity) where Source #

Constructors

SAEConn :: SAEntity 'AEConn
SAERcvFile :: SAEntity 'AERcvFile
SAESndFile :: SAEntity 'AESndFile
SAENone :: SAEntity 'AENone

Instances

Instances details

TestEquality SAEntity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods testEquality :: forall (a :: AEntity) (b :: AEntity). SAEntity a -> SAEntity b -> Maybe (a :~: b)
Show (SAEntity e) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SAEntity e -> ShowS show :: SAEntity e -> String showList :: [SAEntity e] -> ShowS

class AEntityI (e :: AEntity) where Source #

Methods

sAEntity :: SAEntity e Source #

Instances

Instances details

AEntityI 'AEConn Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sAEntity :: SAEntity 'AEConn Source #
AEntityI 'AENone Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sAEntity :: SAEntity 'AENone Source #
AEntityI 'AERcvFile Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sAEntity :: SAEntity 'AERcvFile Source #
AEntityI 'AESndFile Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sAEntity :: SAEntity 'AESndFile Source #

type MsgHash = ByteString Source #

data MsgMeta Source #

Agent message metadata sent to the client

Constructors

MsgMeta
Fields integrity :: MsgIntegrity recipient :: (AgentMsgId, UTCTime) broker :: (MsgId, UTCTime) sndMsgId :: AgentMsgId pqEncryption :: PQEncryption

Instances

Instances details

Show MsgMeta Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> MsgMeta -> ShowS show :: MsgMeta -> String showList :: [MsgMeta] -> ShowS
Eq MsgMeta Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: MsgMeta -> MsgMeta -> Bool (/=) :: MsgMeta -> MsgMeta -> Bool

data RcvQueueInfo Source #

Constructors

RcvQueueInfo
Fields rcvServer :: SMPServer status :: QueueStatus rcvSwitchStatus :: Maybe RcvSwitchStatus canAbortSwitch :: Bool subStatus :: SubscriptionStatus

Instances

Instances details

FromJSON RcvQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser RcvQueueInfo parseJSONList :: Value -> Parser [RcvQueueInfo] omittedField :: Maybe RcvQueueInfo
ToJSON RcvQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: RcvQueueInfo -> Value toEncoding :: RcvQueueInfo -> Encoding toJSONList :: [RcvQueueInfo] -> Value toEncodingList :: [RcvQueueInfo] -> Encoding omitField :: RcvQueueInfo -> Bool
Show RcvQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> RcvQueueInfo -> ShowS show :: RcvQueueInfo -> String showList :: [RcvQueueInfo] -> ShowS
Eq RcvQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: RcvQueueInfo -> RcvQueueInfo -> Bool (/=) :: RcvQueueInfo -> RcvQueueInfo -> Bool

data SndQueueInfo Source #

Constructors

SndQueueInfo
Fields sndServer :: SMPServer status :: QueueStatus sndSwitchStatus :: Maybe SndSwitchStatus

Instances

Instances details

FromJSON SndQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser SndQueueInfo parseJSONList :: Value -> Parser [SndQueueInfo] omittedField :: Maybe SndQueueInfo
ToJSON SndQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: SndQueueInfo -> Value toEncoding :: SndQueueInfo -> Encoding toJSONList :: [SndQueueInfo] -> Value toEncodingList :: [SndQueueInfo] -> Encoding omitField :: SndQueueInfo -> Bool
Show SndQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SndQueueInfo -> ShowS show :: SndQueueInfo -> String showList :: [SndQueueInfo] -> ShowS
Eq SndQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SndQueueInfo -> SndQueueInfo -> Bool (/=) :: SndQueueInfo -> SndQueueInfo -> Bool

data SubscriptionStatus Source #

Constructors

SSActive
SSPending
SSRemoved
Fields subError :: String
SSNoSub

Instances

Instances details

FromJSON SubscriptionStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser SubscriptionStatus parseJSONList :: Value -> Parser [SubscriptionStatus] omittedField :: Maybe SubscriptionStatus
ToJSON SubscriptionStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: SubscriptionStatus -> Value toEncoding :: SubscriptionStatus -> Encoding toJSONList :: [SubscriptionStatus] -> Value toEncodingList :: [SubscriptionStatus] -> Encoding omitField :: SubscriptionStatus -> Bool
Show SubscriptionStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SubscriptionStatus -> ShowS show :: SubscriptionStatus -> String showList :: [SubscriptionStatus] -> ShowS
Eq SubscriptionStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SubscriptionStatus -> SubscriptionStatus -> Bool (/=) :: SubscriptionStatus -> SubscriptionStatus -> Bool
Ord SubscriptionStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods compare :: SubscriptionStatus -> SubscriptionStatus -> Ordering (<) :: SubscriptionStatus -> SubscriptionStatus -> Bool (<=) :: SubscriptionStatus -> SubscriptionStatus -> Bool (>) :: SubscriptionStatus -> SubscriptionStatus -> Bool (>=) :: SubscriptionStatus -> SubscriptionStatus -> Bool max :: SubscriptionStatus -> SubscriptionStatus -> SubscriptionStatus min :: SubscriptionStatus -> SubscriptionStatus -> SubscriptionStatus

data ConnectionStats Source #

Constructors

ConnectionStats
Fields connAgentVersion :: VersionSMPA rcvQueuesInfo :: [RcvQueueInfo] sndQueuesInfo :: [SndQueueInfo] ratchetSyncState :: RatchetSyncState ratchetSyncSupported :: Bool subStatus :: Maybe SubscriptionStatus

Instances

Instances details

FromJSON ConnectionStats Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser ConnectionStats parseJSONList :: Value -> Parser [ConnectionStats] omittedField :: Maybe ConnectionStats
ToJSON ConnectionStats Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnectionStats -> Value toEncoding :: ConnectionStats -> Encoding toJSONList :: [ConnectionStats] -> Value toEncodingList :: [ConnectionStats] -> Encoding omitField :: ConnectionStats -> Bool
Show ConnectionStats Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnectionStats -> ShowS show :: ConnectionStats -> String showList :: [ConnectionStats] -> ShowS
Eq ConnectionStats Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnectionStats -> ConnectionStats -> Bool (/=) :: ConnectionStats -> ConnectionStats -> Bool

data SwitchPhase Source #

Constructors

SPStarted
SPConfirmed
SPSecured
SPCompleted

Instances

Instances details

FromJSON SwitchPhase Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser SwitchPhase parseJSONList :: Value -> Parser [SwitchPhase] omittedField :: Maybe SwitchPhase
ToJSON SwitchPhase Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: SwitchPhase -> Value toEncoding :: SwitchPhase -> Encoding toJSONList :: [SwitchPhase] -> Value toEncodingList :: [SwitchPhase] -> Encoding omitField :: SwitchPhase -> Bool
Show SwitchPhase Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SwitchPhase -> ShowS show :: SwitchPhase -> String showList :: [SwitchPhase] -> ShowS
Eq SwitchPhase Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SwitchPhase -> SwitchPhase -> Bool (/=) :: SwitchPhase -> SwitchPhase -> Bool

data RcvSwitchStatus Source #

Constructors

RSSwitchStarted
RSSendingQADD
RSSendingQUSE
RSReceivedMessage

Instances

Instances details

FromJSON RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser RcvSwitchStatus parseJSONList :: Value -> Parser [RcvSwitchStatus] omittedField :: Maybe RcvSwitchStatus
ToJSON RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: RcvSwitchStatus -> Value toEncoding :: RcvSwitchStatus -> Encoding toJSONList :: [RcvSwitchStatus] -> Value toEncodingList :: [RcvSwitchStatus] -> Encoding omitField :: RcvSwitchStatus -> Bool
Show RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> RcvSwitchStatus -> ShowS show :: RcvSwitchStatus -> String showList :: [RcvSwitchStatus] -> ShowS
Eq RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: RcvSwitchStatus -> RcvSwitchStatus -> Bool (/=) :: RcvSwitchStatus -> RcvSwitchStatus -> Bool
StrEncoding RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: RcvSwitchStatus -> ByteString Source # strDecode :: ByteString -> Either String RcvSwitchStatus Source # strP :: Parser RcvSwitchStatus Source #
FromField RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser RcvSwitchStatus #
ToField RcvSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: RcvSwitchStatus -> SQLData #

data SndSwitchStatus Source #

Constructors

SSSendingQKEY
SSSendingQTEST

Instances

Instances details

FromJSON SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser SndSwitchStatus parseJSONList :: Value -> Parser [SndSwitchStatus] omittedField :: Maybe SndSwitchStatus
ToJSON SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: SndSwitchStatus -> Value toEncoding :: SndSwitchStatus -> Encoding toJSONList :: [SndSwitchStatus] -> Value toEncodingList :: [SndSwitchStatus] -> Encoding omitField :: SndSwitchStatus -> Bool
Show SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SndSwitchStatus -> ShowS show :: SndSwitchStatus -> String showList :: [SndSwitchStatus] -> ShowS
Eq SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SndSwitchStatus -> SndSwitchStatus -> Bool (/=) :: SndSwitchStatus -> SndSwitchStatus -> Bool
StrEncoding SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: SndSwitchStatus -> ByteString Source # strDecode :: ByteString -> Either String SndSwitchStatus Source # strP :: Parser SndSwitchStatus Source #
FromField SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser SndSwitchStatus #
ToField SndSwitchStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: SndSwitchStatus -> SQLData #

data QueueDirection Source #

Constructors

QDRcv
QDSnd

Instances

Instances details

FromJSON QueueDirection Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser QueueDirection parseJSONList :: Value -> Parser [QueueDirection] omittedField :: Maybe QueueDirection
ToJSON QueueDirection Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: QueueDirection -> Value toEncoding :: QueueDirection -> Encoding toJSONList :: [QueueDirection] -> Value toEncodingList :: [QueueDirection] -> Encoding omitField :: QueueDirection -> Bool
Show QueueDirection Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> QueueDirection -> ShowS show :: QueueDirection -> String showList :: [QueueDirection] -> ShowS
Eq QueueDirection Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: QueueDirection -> QueueDirection -> Bool (/=) :: QueueDirection -> QueueDirection -> Bool

data RatchetSyncState Source #

Constructors

RSOk
RSAllowed
RSRequired
RSStarted
RSAgreed

Instances

Instances details

FromJSON RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser RatchetSyncState parseJSONList :: Value -> Parser [RatchetSyncState] omittedField :: Maybe RatchetSyncState
ToJSON RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: RatchetSyncState -> Value toEncoding :: RatchetSyncState -> Encoding toJSONList :: [RatchetSyncState] -> Value toEncodingList :: [RatchetSyncState] -> Encoding omitField :: RatchetSyncState -> Bool
Show RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> RatchetSyncState -> ShowS show :: RatchetSyncState -> String showList :: [RatchetSyncState] -> ShowS
Eq RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: RatchetSyncState -> RatchetSyncState -> Bool (/=) :: RatchetSyncState -> RatchetSyncState -> Bool
StrEncoding RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: RatchetSyncState -> ByteString Source # strDecode :: ByteString -> Either String RatchetSyncState Source # strP :: Parser RatchetSyncState Source #
FromField RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser RatchetSyncState #
ToField RatchetSyncState Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: RatchetSyncState -> SQLData #

data SMPConfirmation Source #

Constructors

SMPConfirmation

Fields

senderKey :: Maybe SndPublicAuthKey
sender's public key to use for authentication of sender's commands at the recepient's server
e2ePubKey :: PublicKeyX25519
sender's DH public key for simple per-queue e2e encryption
connInfo :: ConnInfo
sender's information to be associated with the connection, e.g. sender's profile information
smpReplyQueues :: [SMPQueueInfo]
optional reply queues included in confirmation (added in agent protocol v2)
smpClientVersion :: VersionSMPC
SMP client version

Instances

Instances details

Show SMPConfirmation Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SMPConfirmation -> ShowS show :: SMPConfirmation -> String showList :: [SMPConfirmation] -> ShowS

data AgentMsgEnvelope Source #

Constructors

AgentConfirmation
Fields agentVersion :: VersionSMPA e2eEncryption_ :: Maybe (SndE2ERatchetParams 'X448) encConnInfo :: ByteString
AgentMsgEnvelope
Fields agentVersion :: VersionSMPA encAgentMessage :: ByteString
AgentInvitation
Fields agentVersion :: VersionSMPA connReq :: ConnectionRequestUri 'CMInvitation connInfo :: ByteString
AgentRatchetKey
Fields agentVersion :: VersionSMPA e2eEncryption :: RcvE2ERatchetParams 'X448 info :: ByteString

Instances

Instances details

Show AgentMsgEnvelope Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AgentMsgEnvelope -> ShowS show :: AgentMsgEnvelope -> String showList :: [AgentMsgEnvelope] -> ShowS
Encoding AgentMsgEnvelope Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AgentMsgEnvelope -> ByteString Source # smpDecode :: ByteString -> Either String AgentMsgEnvelope Source # smpP :: Parser AgentMsgEnvelope Source #

data AgentMessage Source #

Constructors

AgentConnInfo ConnInfo
AgentConnInfoReply (NonEmpty SMPQueueInfo) ConnInfo
AgentRatchetInfo ByteString
AgentMessage APrivHeader AMessage

Instances

Instances details

Show AgentMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AgentMessage -> ShowS show :: AgentMessage -> String showList :: [AgentMessage] -> ShowS
Encoding AgentMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AgentMessage -> ByteString Source # smpDecode :: ByteString -> Either String AgentMessage Source # smpP :: Parser AgentMessage Source #

data AgentMessageType Source #

Constructors

AM_CONN_INFO
AM_CONN_INFO_REPLY
AM_RATCHET_INFO
AM_HELLO_
AM_A_MSG_
AM_A_RCVD_
AM_QCONT_
AM_QADD_
AM_QKEY_
AM_QUSE_
AM_QTEST_
AM_EREADY_

Instances

Instances details

Show AgentMessageType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AgentMessageType -> ShowS show :: AgentMessageType -> String showList :: [AgentMessageType] -> ShowS
Eq AgentMessageType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AgentMessageType -> AgentMessageType -> Bool (/=) :: AgentMessageType -> AgentMessageType -> Bool
Encoding AgentMessageType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AgentMessageType -> ByteString Source # smpDecode :: ByteString -> Either String AgentMessageType Source # smpP :: Parser AgentMessageType Source #
FromField AgentMessageType Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser AgentMessageType #
ToField AgentMessageType Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: AgentMessageType -> SQLData #

data APrivHeader Source #

Constructors

APrivHeader
Fields sndMsgId :: AgentMsgId sequential ID assigned by the sending agent prevMsgHash :: MsgHash digest of the previous message

Instances

Instances details

Show APrivHeader Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> APrivHeader -> ShowS show :: APrivHeader -> String showList :: [APrivHeader] -> ShowS
Encoding APrivHeader Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: APrivHeader -> ByteString Source # smpDecode :: ByteString -> Either String APrivHeader Source # smpP :: Parser APrivHeader Source #

data AMessage Source #

Messages sent between SMP agents once SMP queue is secured.

https://github.com/simplex-chat/simplexmq/blob/master/protocol/agent-protocol.md#messages-between-smp-agents

Constructors

HELLO	the first message in the queue to validate it is secured
A_MSG MsgBody	agent envelope for the client message
A_RCVD (NonEmpty AMessageReceipt)	agent envelope for delivery receipt
A_QCONT SndQAddr	the message instructing the client to continue sending messages (after ERR QUOTA)
QADD (NonEmpty (SMPQueueUri, Maybe SndQAddr))
QKEY (NonEmpty (SMPQueueInfo, SndPublicAuthKey))
QUSE (NonEmpty (SndQAddr, Bool))
QTEST (NonEmpty SndQAddr)
EREADY AgentMsgId

Instances

Instances details

Show AMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AMessage -> ShowS show :: AMessage -> String showList :: [AMessage] -> ShowS
Encoding AMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AMessage -> ByteString Source # smpDecode :: ByteString -> Either String AMessage Source # smpP :: Parser AMessage Source #
FromField AMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser AMessage #
ToField AMessage Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: AMessage -> SQLData #

data AMessageReceipt Source #

this type is used to send as part of the protocol between different clients TODO possibly, rename fields and types referring to external and internal IDs to make them different

Constructors

AMessageReceipt
Fields agentMsgId :: AgentMsgId msgHash :: MsgHash rcptInfo :: MsgReceiptInfo

Instances

Instances details

Show AMessageReceipt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AMessageReceipt -> ShowS show :: AMessageReceipt -> String showList :: [AMessageReceipt] -> ShowS
Encoding AMessageReceipt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AMessageReceipt -> ByteString Source # smpDecode :: ByteString -> Either String AMessageReceipt Source # smpP :: Parser AMessageReceipt Source #

data MsgReceipt Source #

this type is used as part of agent protocol to communicate with the user application

Constructors

MsgReceipt
Fields agentMsgId :: AgentMsgId msgRcptStatus :: MsgReceiptStatus

Instances

Instances details

Show MsgReceipt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> MsgReceipt -> ShowS show :: MsgReceipt -> String showList :: [MsgReceipt] -> ShowS
Eq MsgReceipt Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: MsgReceipt -> MsgReceipt -> Bool (/=) :: MsgReceipt -> MsgReceipt -> Bool

type MsgReceiptInfo = ByteString Source #

data MsgReceiptStatus Source #

Constructors

MROk
MRBadMsgHash

Instances

Instances details

FromJSON MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser MsgReceiptStatus parseJSONList :: Value -> Parser [MsgReceiptStatus] omittedField :: Maybe MsgReceiptStatus
ToJSON MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: MsgReceiptStatus -> Value toEncoding :: MsgReceiptStatus -> Encoding toJSONList :: [MsgReceiptStatus] -> Value toEncodingList :: [MsgReceiptStatus] -> Encoding omitField :: MsgReceiptStatus -> Bool
Show MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> MsgReceiptStatus -> ShowS show :: MsgReceiptStatus -> String showList :: [MsgReceiptStatus] -> ShowS
Eq MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: MsgReceiptStatus -> MsgReceiptStatus -> Bool (/=) :: MsgReceiptStatus -> MsgReceiptStatus -> Bool
StrEncoding MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: MsgReceiptStatus -> ByteString Source # strDecode :: ByteString -> Either String MsgReceiptStatus Source # strP :: Parser MsgReceiptStatus Source #
FromField MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser MsgReceiptStatus #
ToField MsgReceiptStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: MsgReceiptStatus -> SQLData #

type SndQAddr = (SMPServer, SenderId) Source #

type SMPServer = ProtocolServer 'PSMP Source #

pattern SMPServer :: NonEmpty TransportHost -> ServiceName -> KeyHash -> ProtocolServer 'PSMP Source #

pattern ProtoServerWithAuth :: ProtocolServer p -> Maybe BasicAuth -> ProtoServerWithAuth p Source #

type SMPServerWithAuth = ProtoServerWithAuth 'PSMP Source #

data SrvLoc Source #

Constructors

SrvLoc HostName ServiceName

Instances

Instances details

Show SrvLoc Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods showsPrec :: Int -> SrvLoc -> ShowS show :: SrvLoc -> String showList :: [SrvLoc] -> ShowS
Eq SrvLoc Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods (==) :: SrvLoc -> SrvLoc -> Bool (/=) :: SrvLoc -> SrvLoc -> Bool
Ord SrvLoc Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods compare :: SrvLoc -> SrvLoc -> Ordering (<) :: SrvLoc -> SrvLoc -> Bool (<=) :: SrvLoc -> SrvLoc -> Bool (>) :: SrvLoc -> SrvLoc -> Bool (>=) :: SrvLoc -> SrvLoc -> Bool max :: SrvLoc -> SrvLoc -> SrvLoc min :: SrvLoc -> SrvLoc -> SrvLoc
StrEncoding SrvLoc Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods strEncode :: SrvLoc -> ByteString Source # strDecode :: ByteString -> Either String SrvLoc Source # strP :: Parser SrvLoc Source #

class SMPQueue q where Source #

Methods

qServer :: q -> SMPServer Source #

queueId :: q -> QueueId Source #

Instances

Instances details

SMPQueue SMPQueueAddress Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods qServer :: SMPQueueAddress -> SMPServer Source # queueId :: SMPQueueAddress -> QueueId Source #
SMPQueue SMPQueueInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods qServer :: SMPQueueInfo -> SMPServer Source # queueId :: SMPQueueInfo -> QueueId Source #
SMPQueue SMPQueueUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods qServer :: SMPQueueUri -> SMPServer Source # queueId :: SMPQueueUri -> QueueId Source #
SMPQueue NewRcvQueue Source #
Instance details Defined in Simplex.Messaging.Agent.Store Methods qServer :: NewRcvQueue -> SMPServer Source # queueId :: NewRcvQueue -> QueueId Source #
SMPQueue RcvQueue Source #
Instance details Defined in Simplex.Messaging.Agent.Store Methods qServer :: RcvQueue -> SMPServer Source # queueId :: RcvQueue -> QueueId Source #
SMPQueue RcvQueueSub Source #
Instance details Defined in Simplex.Messaging.Agent.Store Methods qServer :: RcvQueueSub -> SMPServer Source # queueId :: RcvQueueSub -> QueueId Source #
SMPQueue SndQueue Source #
Instance details Defined in Simplex.Messaging.Agent.Store Methods qServer :: SndQueue -> SMPServer Source # queueId :: SndQueue -> QueueId Source #

qAddress :: SMPQueue q => q -> (SMPServer, QueueId) Source #

sameQueue :: SMPQueue q => (SMPServer, QueueId) -> q -> Bool Source #

sameQAddress :: (SMPServer, QueueId) -> (SMPServer, QueueId) -> Bool Source #

noAuthSrv :: forall (p :: ProtocolType). ProtocolServer p -> ProtoServerWithAuth p Source #

data SMPQueueUri Source #

SMP queue information sent out-of-band.

https://github.com/simplex-chat/simplexmq/blob/master/protocol/simplex-messaging.md#out-of-band-messages

Constructors

SMPQueueUri
Fields clientVRange :: VersionRangeSMPC queueAddress :: SMPQueueAddress

Instances

Instances details

Show SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

showsPrec :: Int -> SMPQueueUri -> ShowS

show :: SMPQueueUri -> String

showList :: [SMPQueueUri] -> ShowS

Eq SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

(==) :: SMPQueueUri -> SMPQueueUri -> Bool

(/=) :: SMPQueueUri -> SMPQueueUri -> Bool

SMPQueue SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

qServer :: SMPQueueUri -> SMPServer Source #

queueId :: SMPQueueUri -> QueueId Source #

Encoding SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

smpEncode :: SMPQueueUri -> ByteString Source #

smpDecode :: ByteString -> Either String SMPQueueUri Source #

smpP :: Parser SMPQueueUri Source #

StrEncoding SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

strEncode :: SMPQueueUri -> ByteString Source #

strDecode :: ByteString -> Either String SMPQueueUri Source #

strP :: Parser SMPQueueUri Source #

FromField SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Store.AgentStore

Methods

fromField :: FieldParser SMPQueueUri #

ToField SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Store.AgentStore

Methods

toField :: SMPQueueUri -> SQLData #

VersionRangeI SMPClientVersion SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Associated Types

type VersionT SMPClientVersion SMPQueueUri
Instance details Defined in Simplex.Messaging.Agent.Protocol type VersionT SMPClientVersion SMPQueueUri = SMPQueueInfo

type VersionT SMPClientVersion SMPQueueUri Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

type VersionT SMPClientVersion SMPQueueUri = SMPQueueInfo

data SMPQueueInfo Source #

Constructors

SMPQueueInfo
Fields clientVersion :: VersionSMPC queueAddress :: SMPQueueAddress

Instances

Instances details

Show SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

showsPrec :: Int -> SMPQueueInfo -> ShowS

show :: SMPQueueInfo -> String

showList :: [SMPQueueInfo] -> ShowS

Eq SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

(==) :: SMPQueueInfo -> SMPQueueInfo -> Bool

(/=) :: SMPQueueInfo -> SMPQueueInfo -> Bool

SMPQueue SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

qServer :: SMPQueueInfo -> SMPServer Source #

queueId :: SMPQueueInfo -> QueueId Source #

Encoding SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Methods

smpEncode :: SMPQueueInfo -> ByteString Source #

smpDecode :: ByteString -> Either String SMPQueueInfo Source #

smpP :: Parser SMPQueueInfo Source #

VersionI SMPClientVersion SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

Associated Types

type VersionRangeT SMPClientVersion SMPQueueInfo
Instance details Defined in Simplex.Messaging.Agent.Protocol type VersionRangeT SMPClientVersion SMPQueueInfo = SMPQueueUri

Methods

version :: SMPQueueInfo -> Version SMPClientVersion Source #

toVersionRangeT :: SMPQueueInfo -> VersionRange SMPClientVersion -> VersionRangeT SMPClientVersion SMPQueueInfo Source #

FromField [SMPQueueInfo] Source #

Instance details

Defined in Simplex.Messaging.Agent.Store.AgentStore

Methods

fromField :: FieldParser [SMPQueueInfo] #

ToField [SMPQueueInfo] Source #

Instance details

Defined in Simplex.Messaging.Agent.Store.AgentStore

Methods

toField :: [SMPQueueInfo] -> SQLData #

type VersionRangeT SMPClientVersion SMPQueueInfo Source #

Instance details

Defined in Simplex.Messaging.Agent.Protocol

type VersionRangeT SMPClientVersion SMPQueueInfo = SMPQueueUri

data SMPQueueAddress Source #

Constructors

SMPQueueAddress
Fields smpServer :: SMPServer senderId :: SenderId dhPublicKey :: PublicKeyX25519 queueMode :: Maybe QueueMode

Instances

Instances details

Show SMPQueueAddress Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SMPQueueAddress -> ShowS show :: SMPQueueAddress -> String showList :: [SMPQueueAddress] -> ShowS
Eq SMPQueueAddress Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SMPQueueAddress -> SMPQueueAddress -> Bool (/=) :: SMPQueueAddress -> SMPQueueAddress -> Bool
SMPQueue SMPQueueAddress Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods qServer :: SMPQueueAddress -> SMPServer Source # queueId :: SMPQueueAddress -> QueueId Source #

data ConnectionMode Source #

Constructors

CMInvitation
CMContact

Instances

Instances details

FromJSON ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser ConnectionMode parseJSONList :: Value -> Parser [ConnectionMode] omittedField :: Maybe ConnectionMode
ToJSON ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnectionMode -> Value toEncoding :: ConnectionMode -> Encoding toJSONList :: [ConnectionMode] -> Value toEncodingList :: [ConnectionMode] -> Encoding omitField :: ConnectionMode -> Bool
Show ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnectionMode -> ShowS show :: ConnectionMode -> String showList :: [ConnectionMode] -> ShowS
Eq ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnectionMode -> ConnectionMode -> Bool (/=) :: ConnectionMode -> ConnectionMode -> Bool
Encoding ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: ConnectionMode -> ByteString Source # smpDecode :: ByteString -> Either String ConnectionMode Source # smpP :: Parser ConnectionMode Source #
StrEncoding ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: ConnectionMode -> ByteString Source # strDecode :: ByteString -> Either String ConnectionMode Source # strP :: Parser ConnectionMode Source #
FromField ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser ConnectionMode #
ToField ConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: ConnectionMode -> SQLData #
TestEquality SConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods testEquality :: forall (a :: ConnectionMode) (b :: ConnectionMode). SConnectionMode a -> SConnectionMode b -> Maybe (a :~: b)

data SConnectionMode (m :: ConnectionMode) where Source #

Constructors

SCMInvitation :: SConnectionMode 'CMInvitation
SCMContact :: SConnectionMode 'CMContact

Instances

Instances details

TestEquality SConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods testEquality :: forall (a :: ConnectionMode) (b :: ConnectionMode). SConnectionMode a -> SConnectionMode b -> Maybe (a :~: b)
Show (SConnectionMode m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SConnectionMode m -> ShowS show :: SConnectionMode m -> String showList :: [SConnectionMode m] -> ShowS
Eq (SConnectionMode m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SConnectionMode m -> SConnectionMode m -> Bool (/=) :: SConnectionMode m -> SConnectionMode m -> Bool
ToField (SConnectionMode c) Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: SConnectionMode c -> SQLData #

data AConnectionMode Source #

Constructors

ConnectionModeI m => ACM (SConnectionMode m)

Instances

Instances details

Show AConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AConnectionMode -> ShowS show :: AConnectionMode -> String showList :: [AConnectionMode] -> ShowS
Eq AConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AConnectionMode -> AConnectionMode -> Bool (/=) :: AConnectionMode -> AConnectionMode -> Bool
StrEncoding AConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: AConnectionMode -> ByteString Source # strDecode :: ByteString -> Either String AConnectionMode Source # strP :: Parser AConnectionMode Source #
FromField AConnectionMode Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser AConnectionMode #

class ConnectionModeI (m :: ConnectionMode) where Source #

Methods

sConnectionMode :: SConnectionMode m Source #

Instances

Instances details

ConnectionModeI 'CMContact Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sConnectionMode :: SConnectionMode 'CMContact Source #
ConnectionModeI 'CMInvitation Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods sConnectionMode :: SConnectionMode 'CMInvitation Source #

data ConnectionRequestUri (m :: ConnectionMode) where Source #

Constructors

CRInvitationUri :: ConnReqUriData -> RcvE2ERatchetParamsUri 'X448 -> ConnectionRequestUri 'CMInvitation
CRContactUri :: ConnReqUriData -> ConnectionRequestUri 'CMContact

Instances

Instances details

ConnectionModeI m => FromJSON (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser (ConnectionRequestUri m) parseJSONList :: Value -> Parser [ConnectionRequestUri m] omittedField :: Maybe (ConnectionRequestUri m)
ConnectionModeI m => ToJSON (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnectionRequestUri m -> Value toEncoding :: ConnectionRequestUri m -> Encoding toJSONList :: [ConnectionRequestUri m] -> Value toEncodingList :: [ConnectionRequestUri m] -> Encoding omitField :: ConnectionRequestUri m -> Bool
Show (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnectionRequestUri m -> ShowS show :: ConnectionRequestUri m -> String showList :: [ConnectionRequestUri m] -> ShowS
Eq (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnectionRequestUri m -> ConnectionRequestUri m -> Bool (/=) :: ConnectionRequestUri m -> ConnectionRequestUri m -> Bool
ConnectionModeI m => Encoding (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: ConnectionRequestUri m -> ByteString Source # smpDecode :: ByteString -> Either String (ConnectionRequestUri m) Source # smpP :: Parser (ConnectionRequestUri m) Source #
ConnectionModeI m => StrEncoding (ConnectionRequestUri m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: ConnectionRequestUri m -> ByteString Source # strDecode :: ByteString -> Either String (ConnectionRequestUri m) Source # strP :: Parser (ConnectionRequestUri m) Source #
(Typeable c, ConnectionModeI c) => FromField (ConnectionRequestUri c) Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser (ConnectionRequestUri c) #
ConnectionModeI c => ToField (ConnectionRequestUri c) Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: ConnectionRequestUri c -> SQLData #

data AConnectionRequestUri Source #

Constructors

ConnectionModeI m => ACR (SConnectionMode m) (ConnectionRequestUri m)

Instances

Instances details

FromJSON AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser AConnectionRequestUri parseJSONList :: Value -> Parser [AConnectionRequestUri] omittedField :: Maybe AConnectionRequestUri
ToJSON AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: AConnectionRequestUri -> Value toEncoding :: AConnectionRequestUri -> Encoding toJSONList :: [AConnectionRequestUri] -> Value toEncodingList :: [AConnectionRequestUri] -> Encoding omitField :: AConnectionRequestUri -> Bool
Show AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AConnectionRequestUri -> ShowS show :: AConnectionRequestUri -> String showList :: [AConnectionRequestUri] -> ShowS
Eq AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AConnectionRequestUri -> AConnectionRequestUri -> Bool (/=) :: AConnectionRequestUri -> AConnectionRequestUri -> Bool
Encoding AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AConnectionRequestUri -> ByteString Source # smpDecode :: ByteString -> Either String AConnectionRequestUri Source # smpP :: Parser AConnectionRequestUri Source #
StrEncoding AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: AConnectionRequestUri -> ByteString Source # strDecode :: ByteString -> Either String AConnectionRequestUri Source # strP :: Parser AConnectionRequestUri Source #
FromField AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser AConnectionRequestUri #
ToField AConnectionRequestUri Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: AConnectionRequestUri -> SQLData #

data ShortLinkCreds Source #

Constructors

ShortLinkCreds
Fields shortLinkId :: LinkId shortLinkKey :: LinkKey linkPrivSigKey :: PrivateKeyEd25519 linkRootSigKey :: Maybe PublicKeyEd25519 linkEncFixedData :: EncFixedDataBytes

Instances

Instances details

Show ShortLinkCreds Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ShortLinkCreds -> ShowS show :: ShortLinkCreds -> String showList :: [ShortLinkCreds] -> ShowS

data ConnReqUriData Source #

Constructors

ConnReqUriData
Fields crScheme :: ServiceScheme crAgentVRange :: VersionRangeSMPA crSmpQueues :: NonEmpty SMPQueueUri crClientData :: Maybe CRClientData

Instances

Instances details

Show ConnReqUriData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnReqUriData -> ShowS show :: ConnReqUriData -> String showList :: [ConnReqUriData] -> ShowS
Eq ConnReqUriData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnReqUriData -> ConnReqUriData -> Bool (/=) :: ConnReqUriData -> ConnReqUriData -> Bool
Encoding ConnReqUriData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: ConnReqUriData -> ByteString Source # smpDecode :: ByteString -> Either String ConnReqUriData Source # smpP :: Parser ConnReqUriData Source #

type CRClientData = Text Source #

data ServiceScheme Source #

Instances

Instances details

Show ServiceScheme Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods showsPrec :: Int -> ServiceScheme -> ShowS show :: ServiceScheme -> String showList :: [ServiceScheme] -> ShowS
Eq ServiceScheme Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods (==) :: ServiceScheme -> ServiceScheme -> Bool (/=) :: ServiceScheme -> ServiceScheme -> Bool
StrEncoding ServiceScheme Source #
Instance details Defined in Simplex.Messaging.ServiceScheme Methods strEncode :: ServiceScheme -> ByteString Source # strDecode :: ByteString -> Either String ServiceScheme Source # strP :: Parser ServiceScheme Source #

data FixedLinkData (c :: ConnectionMode) Source #

Constructors

FixedLinkData
Fields agentVRange :: VersionRangeSMPA rootKey :: PublicKeyEd25519 linkConnReq :: ConnectionRequestUri c linkEntityId :: Maybe ByteString

Instances

Instances details

Show (FixedLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> FixedLinkData c -> ShowS show :: FixedLinkData c -> String showList :: [FixedLinkData c] -> ShowS
Eq (FixedLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: FixedLinkData c -> FixedLinkData c -> Bool (/=) :: FixedLinkData c -> FixedLinkData c -> Bool
ConnectionModeI c => Encoding (FixedLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: FixedLinkData c -> ByteString Source # smpDecode :: ByteString -> Either String (FixedLinkData c) Source # smpP :: Parser (FixedLinkData c) Source #

data AConnLinkData Source #

Constructors

ConnectionModeI m => ACLD (SConnectionMode m) (ConnLinkData m)

Instances

Instances details

Encoding AConnLinkData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AConnLinkData -> ByteString Source # smpDecode :: ByteString -> Either String AConnLinkData Source # smpP :: Parser AConnLinkData Source #

data ConnLinkData (c :: ConnectionMode) where Source #

Constructors

InvitationLinkData :: VersionRangeSMPA -> UserLinkData -> ConnLinkData 'CMInvitation
ContactLinkData :: VersionRangeSMPA -> UserContactData -> ConnLinkData 'CMContact

Instances

Instances details

Show (ConnLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnLinkData c -> ShowS show :: ConnLinkData c -> String showList :: [ConnLinkData c] -> ShowS
Eq (ConnLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnLinkData c -> ConnLinkData c -> Bool (/=) :: ConnLinkData c -> ConnLinkData c -> Bool
ConnectionModeI c => Encoding (ConnLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: ConnLinkData c -> ByteString Source # smpDecode :: ByteString -> Either String (ConnLinkData c) Source # smpP :: Parser (ConnLinkData c) Source #

data AUserConnLinkData Source #

Constructors

ConnectionModeI m => AULD (SConnectionMode m) (UserConnLinkData m)

Instances

Instances details

Encoding AUserConnLinkData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AUserConnLinkData -> ByteString Source # smpDecode :: ByteString -> Either String AUserConnLinkData Source # smpP :: Parser AUserConnLinkData Source #

data UserConnLinkData (c :: ConnectionMode) where Source #

Constructors

UserInvLinkData :: UserLinkData -> UserConnLinkData 'CMInvitation
UserContactLinkData :: UserContactData -> UserConnLinkData 'CMContact

Instances

Instances details

Show (UserConnLinkData m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> UserConnLinkData m -> ShowS show :: UserConnLinkData m -> String showList :: [UserConnLinkData m] -> ShowS
Eq (UserConnLinkData m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: UserConnLinkData m -> UserConnLinkData m -> Bool (/=) :: UserConnLinkData m -> UserConnLinkData m -> Bool
ConnectionModeI c => Encoding (UserConnLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: UserConnLinkData c -> ByteString Source # smpDecode :: ByteString -> Either String (UserConnLinkData c) Source # smpP :: Parser (UserConnLinkData c) Source #
ConnectionModeI c => StrEncoding (UserConnLinkData c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: UserConnLinkData c -> ByteString Source # strDecode :: ByteString -> Either String (UserConnLinkData c) Source # strP :: Parser (UserConnLinkData c) Source #

data UserContactData Source #

Constructors

UserContactData
Fields direct :: Bool owners :: [OwnerAuth] relays :: [ConnShortLink 'CMContact] userData :: UserLinkData

Instances

Instances details

Show UserContactData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> UserContactData -> ShowS show :: UserContactData -> String showList :: [UserContactData] -> ShowS
Eq UserContactData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: UserContactData -> UserContactData -> Bool (/=) :: UserContactData -> UserContactData -> Bool
Encoding UserContactData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: UserContactData -> ByteString Source # smpDecode :: ByteString -> Either String UserContactData Source # smpP :: Parser UserContactData Source #

newtype UserLinkData Source #

Constructors

UserLinkData ByteString

Instances

Instances details

Show UserLinkData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> UserLinkData -> ShowS show :: UserLinkData -> String showList :: [UserLinkData] -> ShowS
Eq UserLinkData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: UserLinkData -> UserLinkData -> Bool (/=) :: UserLinkData -> UserLinkData -> Bool
Encoding UserLinkData Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: UserLinkData -> ByteString Source # smpDecode :: ByteString -> Either String UserLinkData Source # smpP :: Parser UserLinkData Source #

data OwnerAuth Source #

Constructors

OwnerAuth
Fields ownerId :: OwnerId ownerKey :: PublicKeyEd25519 authOwnerSig :: Signature 'Ed25519

Instances

Instances details

Show OwnerAuth Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> OwnerAuth -> ShowS show :: OwnerAuth -> String showList :: [OwnerAuth] -> ShowS
Eq OwnerAuth Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: OwnerAuth -> OwnerAuth -> Bool (/=) :: OwnerAuth -> OwnerAuth -> Bool
Encoding OwnerAuth Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: OwnerAuth -> ByteString Source # smpDecode :: ByteString -> Either String OwnerAuth Source # smpP :: Parser OwnerAuth Source #

type OwnerId = ByteString Source #

data ConnectionLink (m :: ConnectionMode) Source #

Constructors

CLFull (ConnectionRequestUri m)
CLShort (ConnShortLink m)

Instances

Instances details

ConnectionModeI m => FromJSON (ConnectionLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser (ConnectionLink m) parseJSONList :: Value -> Parser [ConnectionLink m] omittedField :: Maybe (ConnectionLink m)
ConnectionModeI m => ToJSON (ConnectionLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnectionLink m -> Value toEncoding :: ConnectionLink m -> Encoding toJSONList :: [ConnectionLink m] -> Value toEncodingList :: [ConnectionLink m] -> Encoding omitField :: ConnectionLink m -> Bool
Show (ConnectionLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnectionLink m -> ShowS show :: ConnectionLink m -> String showList :: [ConnectionLink m] -> ShowS
Eq (ConnectionLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnectionLink m -> ConnectionLink m -> Bool (/=) :: ConnectionLink m -> ConnectionLink m -> Bool
ConnectionModeI m => StrEncoding (ConnectionLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: ConnectionLink m -> ByteString Source # strDecode :: ByteString -> Either String (ConnectionLink m) Source # strP :: Parser (ConnectionLink m) Source #
(Typeable c, ConnectionModeI c) => FromField (ConnectionLink c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser (ConnectionLink c) #
ConnectionModeI c => ToField (ConnectionLink c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: ConnectionLink c -> SQLData #

data AConnectionLink Source #

Constructors

ConnectionModeI m => ACL (SConnectionMode m) (ConnectionLink m)

Instances

Instances details

FromJSON AConnectionLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser AConnectionLink parseJSONList :: Value -> Parser [AConnectionLink] omittedField :: Maybe AConnectionLink
ToJSON AConnectionLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: AConnectionLink -> Value toEncoding :: AConnectionLink -> Encoding toJSONList :: [AConnectionLink] -> Value toEncodingList :: [AConnectionLink] -> Encoding omitField :: AConnectionLink -> Bool
Show AConnectionLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AConnectionLink -> ShowS show :: AConnectionLink -> String showList :: [AConnectionLink] -> ShowS
Eq AConnectionLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AConnectionLink -> AConnectionLink -> Bool (/=) :: AConnectionLink -> AConnectionLink -> Bool
StrEncoding AConnectionLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: AConnectionLink -> ByteString Source # strDecode :: ByteString -> Either String AConnectionLink Source # strP :: Parser AConnectionLink Source #

data ConnShortLink (m :: ConnectionMode) where Source #

Constructors

CSLInvitation :: ShortLinkScheme -> SMPServer -> LinkId -> LinkKey -> ConnShortLink 'CMInvitation
CSLContact :: ShortLinkScheme -> ContactConnType -> SMPServer -> LinkKey -> ConnShortLink 'CMContact

Instances

Instances details

ConnectionModeI m => FromJSON (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser (ConnShortLink m) parseJSONList :: Value -> Parser [ConnShortLink m] omittedField :: Maybe (ConnShortLink m)
ConnectionModeI m => ToJSON (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnShortLink m -> Value toEncoding :: ConnShortLink m -> Encoding toJSONList :: [ConnShortLink m] -> Value toEncodingList :: [ConnShortLink m] -> Encoding omitField :: ConnShortLink m -> Bool
Show (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnShortLink m -> ShowS show :: ConnShortLink m -> String showList :: [ConnShortLink m] -> ShowS
Eq (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnShortLink m -> ConnShortLink m -> Bool (/=) :: ConnShortLink m -> ConnShortLink m -> Bool
ConnectionModeI m => Encoding (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: ConnShortLink m -> ByteString Source # smpDecode :: ByteString -> Either String (ConnShortLink m) Source # smpP :: Parser (ConnShortLink m) Source #
ConnectionModeI m => StrEncoding (ConnShortLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: ConnShortLink m -> ByteString Source # strDecode :: ByteString -> Either String (ConnShortLink m) Source # strP :: Parser (ConnShortLink m) Source #
(Typeable c, ConnectionModeI c) => FromField (ConnShortLink c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser (ConnShortLink c) #
ConnectionModeI c => ToField (ConnShortLink c) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: ConnShortLink c -> SQLData #

data AConnShortLink Source #

Constructors

ConnectionModeI m => ACSL (SConnectionMode m) (ConnShortLink m)

Instances

Instances details

FromJSON AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser AConnShortLink parseJSONList :: Value -> Parser [AConnShortLink] omittedField :: Maybe AConnShortLink
ToJSON AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: AConnShortLink -> Value toEncoding :: AConnShortLink -> Encoding toJSONList :: [AConnShortLink] -> Value toEncodingList :: [AConnShortLink] -> Encoding omitField :: AConnShortLink -> Bool
Show AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AConnShortLink -> ShowS show :: AConnShortLink -> String showList :: [AConnShortLink] -> ShowS
Eq AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AConnShortLink -> AConnShortLink -> Bool (/=) :: AConnShortLink -> AConnShortLink -> Bool
Encoding AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods smpEncode :: AConnShortLink -> ByteString Source # smpDecode :: ByteString -> Either String AConnShortLink Source # smpP :: Parser AConnShortLink Source #
StrEncoding AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: AConnShortLink -> ByteString Source # strDecode :: ByteString -> Either String AConnShortLink Source # strP :: Parser AConnShortLink Source #
FromField AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser AConnShortLink #
ToField AConnShortLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: AConnShortLink -> SQLData #

data CreatedConnLink (m :: ConnectionMode) Source #

Constructors

CCLink
Fields connFullLink :: ConnectionRequestUri m connShortLink :: Maybe (ConnShortLink m)

Instances

Instances details

ConnectionModeI m => FromJSON (CreatedConnLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser (CreatedConnLink m) parseJSONList :: Value -> Parser [CreatedConnLink m] omittedField :: Maybe (CreatedConnLink m)
ConnectionModeI m => ToJSON (CreatedConnLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: CreatedConnLink m -> Value toEncoding :: CreatedConnLink m -> Encoding toJSONList :: [CreatedConnLink m] -> Value toEncodingList :: [CreatedConnLink m] -> Encoding omitField :: CreatedConnLink m -> Bool
Show (CreatedConnLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> CreatedConnLink m -> ShowS show :: CreatedConnLink m -> String showList :: [CreatedConnLink m] -> ShowS
Eq (CreatedConnLink m) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: CreatedConnLink m -> CreatedConnLink m -> Bool (/=) :: CreatedConnLink m -> CreatedConnLink m -> Bool

data ACreatedConnLink Source #

Constructors

ConnectionModeI m => ACCL (SConnectionMode m) (CreatedConnLink m)

Instances

Instances details

FromJSON ACreatedConnLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser ACreatedConnLink parseJSONList :: Value -> Parser [ACreatedConnLink] omittedField :: Maybe ACreatedConnLink
ToJSON ACreatedConnLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ACreatedConnLink -> Value toEncoding :: ACreatedConnLink -> Encoding toJSONList :: [ACreatedConnLink] -> Value toEncodingList :: [ACreatedConnLink] -> Encoding omitField :: ACreatedConnLink -> Bool
Show ACreatedConnLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ACreatedConnLink -> ShowS show :: ACreatedConnLink -> String showList :: [ACreatedConnLink] -> ShowS
Eq ACreatedConnLink Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ACreatedConnLink -> ACreatedConnLink -> Bool (/=) :: ACreatedConnLink -> ACreatedConnLink -> Bool

data ContactConnType Source #

Constructors

CCTContact
CCTChannel
CCTGroup
CCTRelay

Instances

Instances details

Show ContactConnType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ContactConnType -> ShowS show :: ContactConnType -> String showList :: [ContactConnType] -> ShowS
Eq ContactConnType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ContactConnType -> ContactConnType -> Bool (/=) :: ContactConnType -> ContactConnType -> Bool

data ShortLinkScheme Source #

Constructors

SLSSimplex
SLSServer

Instances

Instances details

Show ShortLinkScheme Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ShortLinkScheme -> ShowS show :: ShortLinkScheme -> String showList :: [ShortLinkScheme] -> ShowS
Eq ShortLinkScheme Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ShortLinkScheme -> ShortLinkScheme -> Bool (/=) :: ShortLinkScheme -> ShortLinkScheme -> Bool

newtype LinkKey Source #

Constructors

LinkKey ByteString

Instances

Instances details

Show LinkKey Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> LinkKey -> ShowS show :: LinkKey -> String showList :: [LinkKey] -> ShowS
Eq LinkKey Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: LinkKey -> LinkKey -> Bool (/=) :: LinkKey -> LinkKey -> Bool
StrEncoding LinkKey Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: LinkKey -> ByteString Source # strDecode :: ByteString -> Either String LinkKey Source # strP :: Parser LinkKey Source #
FromField LinkKey Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser LinkKey #
ToField LinkKey Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: LinkKey -> SQLData #

data PreparedLinkParams Source #

Parameters for creating a connection with a prepared link.

Constructors

PreparedLinkParams

Fields

plpNonce :: CbNonce
Correlation ID / determines sender ID
plpQueueE2EKeys :: KeyPairX25519
Queue E2EE DH key pair
plpLinkKey :: LinkKey
For encrypting link data
plpRootPrivKey :: PrivateKeyEd25519
Root signing key (for signing link data)
plpSignedFixedData :: ByteString
smpEncode of FixedLinkData (includes linkEntityId)
plpSrvWithAuth :: SMPServerWithAuth
Server with basic auth (not stored in link)

Instances

Instances details

Show PreparedLinkParams Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> PreparedLinkParams -> ShowS show :: PreparedLinkParams -> String showList :: [PreparedLinkParams] -> ShowS

data StoredClientService (s :: DBStored) Source #

Constructors

ClientService
Fields dbServiceId :: DBEntityId' s serviceId :: ServiceId

Instances

Instances details

Show (StoredClientService s) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> StoredClientService s -> ShowS show :: StoredClientService s -> String showList :: [StoredClientService s] -> ShowS
Eq (StoredClientService s) Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: StoredClientService s -> StoredClientService s -> Bool (/=) :: StoredClientService s -> StoredClientService s -> Bool

type ClientService = StoredClientService 'DBStored Source #

type ClientServiceId = DBEntityId Source #

validateOwners :: Maybe ShortLinkCreds -> UserContactData -> Either String () Source #

validateLinkOwners :: PublicKeyEd25519 -> [OwnerAuth] -> Either String () Source #

sameConnReqContact :: ConnectionRequestUri 'CMContact -> ConnectionRequestUri 'CMContact -> Bool Source #

sameShortLinkContact :: ConnShortLink 'CMContact -> ConnShortLink 'CMContact -> Bool Source #

simplexChat :: ServiceScheme Source #

connReqUriP' :: forall (m :: ConnectionMode). ConnectionModeI m => Maybe ServiceScheme -> Parser (ConnectionRequestUri m) Source #

simplexConnReqUri :: forall (m :: ConnectionMode). ConnectionRequestUri m -> ConnectionRequestUri m Source #

simplexShortLink :: forall (m :: ConnectionMode). ConnShortLink m -> ConnShortLink m Source #

data AgentErrorType Source #

Error type used in errors sent to agent clients.

Constructors

CMD	command or response error
Fields cmdErr :: CommandErrorType errContext :: String
CONN	connection errors
Fields connErr :: ConnectionErrorType errContext :: String
NO_USER	user not found in database
SMP	SMP protocol errors forwarded to agent clients
Fields serverAddress :: String smpErr :: ErrorType
NTF	NTF protocol errors forwarded to agent clients
Fields serverAddress :: String ntfErr :: ErrorType
XFTP	XFTP protocol errors forwarded to agent clients
Fields serverAddress :: String xftpErr :: XFTPErrorType
FILE	XFTP agent errors
Fields fileErr :: FileErrorType
PROXY	SMP proxy errors
Fields proxyServer :: String relayServer :: String proxyErr :: ProxyClientError
RCP	XRCP protocol errors forwarded to agent clients
Fields rcpErr :: RCErrorType
BROKER	SMP server errors
Fields brokerAddress :: String brokerErr :: BrokerErrorType
AGENT	errors of other agents
Fields agentErr :: SMPAgentError
NOTICE	client notice
Fields server :: Text preset :: Bool expiresAt :: Maybe UTCTime
INTERNAL	agent implementation or dependency errors
Fields internalErr :: String
CRITICAL	critical agent errors that should be shown to the user, optionally with restart button
Fields offerRestart :: Bool criticalErr :: String
INACTIVE	agent inactive

Instances

Instances details

FromJSON AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser AgentErrorType parseJSONList :: Value -> Parser [AgentErrorType] omittedField :: Maybe AgentErrorType
ToJSON AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: AgentErrorType -> Value toEncoding :: AgentErrorType -> Encoding toJSONList :: [AgentErrorType] -> Value toEncodingList :: [AgentErrorType] -> Encoding omitField :: AgentErrorType -> Bool
Exception AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toException :: AgentErrorType -> SomeException fromException :: SomeException -> Maybe AgentErrorType displayException :: AgentErrorType -> String
Show AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AgentErrorType -> ShowS show :: AgentErrorType -> String showList :: [AgentErrorType] -> ShowS
Eq AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AgentErrorType -> AgentErrorType -> Bool (/=) :: AgentErrorType -> AgentErrorType -> Bool
AnyError AgentErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromSomeException :: SomeException -> AgentErrorType Source #

data CommandErrorType Source #

SMP agent protocol command or response error.

Constructors

PROHIBITED	command is prohibited in this context
SYNTAX	command syntax is invalid
NO_CONN	entity ID is required with this command
SIZE	message size is not correct (no terminating space)
LARGE	message does not fit in SMP block

Instances

Instances details

FromJSON CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser CommandErrorType parseJSONList :: Value -> Parser [CommandErrorType] omittedField :: Maybe CommandErrorType
ToJSON CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: CommandErrorType -> Value toEncoding :: CommandErrorType -> Encoding toJSONList :: [CommandErrorType] -> Value toEncodingList :: [CommandErrorType] -> Encoding omitField :: CommandErrorType -> Bool
Exception CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toException :: CommandErrorType -> SomeException fromException :: SomeException -> Maybe CommandErrorType displayException :: CommandErrorType -> String
Read CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods readsPrec :: Int -> ReadS CommandErrorType readList :: ReadS [CommandErrorType] readPrec :: ReadPrec CommandErrorType readListPrec :: ReadPrec [CommandErrorType]
Show CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> CommandErrorType -> ShowS show :: CommandErrorType -> String showList :: [CommandErrorType] -> ShowS
Eq CommandErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: CommandErrorType -> CommandErrorType -> Bool (/=) :: CommandErrorType -> CommandErrorType -> Bool

data ConnectionErrorType Source #

Connection error.

Constructors

NOT_FOUND	connection is not in the database
DUPLICATE	connection already exists
SIMPLEX	connection is simplex, but operation requires another queue
NOT_ACCEPTED	connection not accepted on join HELLO after timeout
NOT_AVAILABLE	connection not available on reply confirmation/HELLO after timeout

Instances

Instances details

FromJSON ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser ConnectionErrorType parseJSONList :: Value -> Parser [ConnectionErrorType] omittedField :: Maybe ConnectionErrorType
ToJSON ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: ConnectionErrorType -> Value toEncoding :: ConnectionErrorType -> Encoding toJSONList :: [ConnectionErrorType] -> Value toEncodingList :: [ConnectionErrorType] -> Encoding omitField :: ConnectionErrorType -> Bool
Exception ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toException :: ConnectionErrorType -> SomeException fromException :: SomeException -> Maybe ConnectionErrorType displayException :: ConnectionErrorType -> String
Read ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods readsPrec :: Int -> ReadS ConnectionErrorType readList :: ReadS [ConnectionErrorType] readPrec :: ReadPrec ConnectionErrorType readListPrec :: ReadPrec [ConnectionErrorType]
Show ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnectionErrorType -> ShowS show :: ConnectionErrorType -> String showList :: [ConnectionErrorType] -> ShowS
Eq ConnectionErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: ConnectionErrorType -> ConnectionErrorType -> Bool (/=) :: ConnectionErrorType -> ConnectionErrorType -> Bool

data BrokerErrorType Source #

SMP server errors.

Constructors

RESPONSE	invalid server response (failed to parse)
Fields respErr :: String
UNEXPECTED	unexpected response
Fields respErr :: String
NETWORK	network error
Fields networkError :: NetworkError
HOST	no compatible server host (e.g. onion when public is required, or vice versa)
NO_SERVICE	service unavailable client-side - used in agent errors
TRANSPORT	handshake or other transport error
Fields transportErr :: TransportError
TIMEOUT	command response timeout

Instances

Instances details

FromJSON BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods parseJSON :: Value -> Parser BrokerErrorType parseJSONList :: Value -> Parser [BrokerErrorType] omittedField :: Maybe BrokerErrorType
ToJSON BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods toJSON :: BrokerErrorType -> Value toEncoding :: BrokerErrorType -> Encoding toJSONList :: [BrokerErrorType] -> Value toEncodingList :: [BrokerErrorType] -> Encoding omitField :: BrokerErrorType -> Bool
Exception BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods toException :: BrokerErrorType -> SomeException fromException :: SomeException -> Maybe BrokerErrorType displayException :: BrokerErrorType -> String
Read BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods readsPrec :: Int -> ReadS BrokerErrorType readList :: ReadS [BrokerErrorType] readPrec :: ReadPrec BrokerErrorType readListPrec :: ReadPrec [BrokerErrorType]
Show BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods showsPrec :: Int -> BrokerErrorType -> ShowS show :: BrokerErrorType -> String showList :: [BrokerErrorType] -> ShowS
Eq BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods (==) :: BrokerErrorType -> BrokerErrorType -> Bool (/=) :: BrokerErrorType -> BrokerErrorType -> Bool
Encoding BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods smpEncode :: BrokerErrorType -> ByteString Source # smpDecode :: ByteString -> Either String BrokerErrorType Source # smpP :: Parser BrokerErrorType Source #
StrEncoding BrokerErrorType Source #
Instance details Defined in Simplex.Messaging.Protocol Methods strEncode :: BrokerErrorType -> ByteString Source # strDecode :: ByteString -> Either String BrokerErrorType Source # strP :: Parser BrokerErrorType Source #

data SMPAgentError Source #

Errors of another SMP agent.

Constructors

A_MESSAGE	client or agent message that failed to parse
A_PROHIBITED	prohibited SMP/agent message
Fields prohibitedErr :: String
A_VERSION	incompatible version of SMP client, agent or encryption protocols
A_LINK	failed signature, hash or senderId verification of retrieved link data
Fields linkErr :: String
A_CRYPTO	cannot decrypt message
Fields cryptoErr :: AgentCryptoError
A_DUPLICATE	duplicate message - this error is detected by ratchet decryption - this message will be ignored and not shown. it may also indicate a loss of ratchet synchronization (when only one message is sent via copied ratchet). when message is dropped after too many reception attempts, DroppedMsg is included.
Fields droppedMsg_ :: Maybe DroppedMsg
A_QUEUE	error in the message to adddeleteetc queue in connection
Fields queueErr :: String

Instances

Instances details

FromJSON SMPAgentError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser SMPAgentError parseJSONList :: Value -> Parser [SMPAgentError] omittedField :: Maybe SMPAgentError
ToJSON SMPAgentError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: SMPAgentError -> Value toEncoding :: SMPAgentError -> Encoding toJSONList :: [SMPAgentError] -> Value toEncodingList :: [SMPAgentError] -> Encoding omitField :: SMPAgentError -> Bool
Exception SMPAgentError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toException :: SMPAgentError -> SomeException fromException :: SomeException -> Maybe SMPAgentError displayException :: SMPAgentError -> String
Show SMPAgentError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> SMPAgentError -> ShowS show :: SMPAgentError -> String showList :: [SMPAgentError] -> ShowS
Eq SMPAgentError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: SMPAgentError -> SMPAgentError -> Bool (/=) :: SMPAgentError -> SMPAgentError -> Bool

data DroppedMsg Source #

Constructors

DroppedMsg
Fields brokerTs :: UTCTime attempts :: Int

Instances

Instances details

FromJSON DroppedMsg Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser DroppedMsg parseJSONList :: Value -> Parser [DroppedMsg] omittedField :: Maybe DroppedMsg
ToJSON DroppedMsg Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: DroppedMsg -> Value toEncoding :: DroppedMsg -> Encoding toJSONList :: [DroppedMsg] -> Value toEncodingList :: [DroppedMsg] -> Encoding omitField :: DroppedMsg -> Bool
Show DroppedMsg Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> DroppedMsg -> ShowS show :: DroppedMsg -> String showList :: [DroppedMsg] -> ShowS
Eq DroppedMsg Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: DroppedMsg -> DroppedMsg -> Bool (/=) :: DroppedMsg -> DroppedMsg -> Bool

data AgentCryptoError Source #

Constructors

DECRYPT_AES	AES decryption error
DECRYPT_CB
RATCHET_HEADER	can't decrypt ratchet header, possibly ratchet out of sync due to device change
RATCHET_EARLIER Word32	earlier message number (or, possibly, skipped message that failed to decrypt?)
RATCHET_SKIPPED Word32	too many skipped messages
RATCHET_SYNC	ratchet synchronization error

Instances

Instances details

FromJSON AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser AgentCryptoError parseJSONList :: Value -> Parser [AgentCryptoError] omittedField :: Maybe AgentCryptoError
ToJSON AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: AgentCryptoError -> Value toEncoding :: AgentCryptoError -> Encoding toJSONList :: [AgentCryptoError] -> Value toEncodingList :: [AgentCryptoError] -> Encoding omitField :: AgentCryptoError -> Bool
Exception AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toException :: AgentCryptoError -> SomeException fromException :: SomeException -> Maybe AgentCryptoError displayException :: AgentCryptoError -> String
Read AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods readsPrec :: Int -> ReadS AgentCryptoError readList :: ReadS [AgentCryptoError] readPrec :: ReadPrec AgentCryptoError readListPrec :: ReadPrec [AgentCryptoError]
Show AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> AgentCryptoError -> ShowS show :: AgentCryptoError -> String showList :: [AgentCryptoError] -> ShowS
Eq AgentCryptoError Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: AgentCryptoError -> AgentCryptoError -> Bool (/=) :: AgentCryptoError -> AgentCryptoError -> Bool

cryptoErrToSyncState :: AgentCryptoError -> RatchetSyncState Source #

type ATransmission = (ACorrId, AEntityId, AEvt) Source #

SMP agent event

type ConnId = ByteString Source #

SMP agent connection ID.

type ConfirmationId = ByteString Source #

type InvitationId = ByteString Source #

data MsgIntegrity Source #

Result of received message integrity validation.

Constructors

MsgOk
MsgError
Fields errorInfo :: MsgErrorType

Instances

Instances details

FromJSON MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser MsgIntegrity parseJSONList :: Value -> Parser [MsgIntegrity] omittedField :: Maybe MsgIntegrity
ToJSON MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: MsgIntegrity -> Value toEncoding :: MsgIntegrity -> Encoding toJSONList :: [MsgIntegrity] -> Value toEncodingList :: [MsgIntegrity] -> Encoding omitField :: MsgIntegrity -> Bool
Show MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> MsgIntegrity -> ShowS show :: MsgIntegrity -> String showList :: [MsgIntegrity] -> ShowS
Eq MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: MsgIntegrity -> MsgIntegrity -> Bool (/=) :: MsgIntegrity -> MsgIntegrity -> Bool
StrEncoding MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: MsgIntegrity -> ByteString Source # strDecode :: ByteString -> Either String MsgIntegrity Source # strP :: Parser MsgIntegrity Source #
FromField MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser MsgIntegrity #
ToField MsgIntegrity Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: MsgIntegrity -> SQLData #

data MsgErrorType Source #

Error of message integrity validation.

Constructors

MsgSkipped
Fields fromMsgId :: AgentMsgId toMsgId :: AgentMsgId
MsgBadId
Fields msgId :: AgentMsgId
MsgBadHash
MsgDuplicate

Instances

Instances details

FromJSON MsgErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser MsgErrorType parseJSONList :: Value -> Parser [MsgErrorType] omittedField :: Maybe MsgErrorType
ToJSON MsgErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: MsgErrorType -> Value toEncoding :: MsgErrorType -> Encoding toJSONList :: [MsgErrorType] -> Value toEncodingList :: [MsgErrorType] -> Encoding omitField :: MsgErrorType -> Bool
Show MsgErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> MsgErrorType -> ShowS show :: MsgErrorType -> String showList :: [MsgErrorType] -> ShowS
Eq MsgErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: MsgErrorType -> MsgErrorType -> Bool (/=) :: MsgErrorType -> MsgErrorType -> Bool
StrEncoding MsgErrorType Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: MsgErrorType -> ByteString Source # strDecode :: ByteString -> Either String MsgErrorType Source # strP :: Parser MsgErrorType Source #

data QueueStatus Source #

SMP queue status.

Constructors

New	queue is created
Confirmed	queue is confirmed by the sender
Secured	queue is secured with sender key (only used by the queue recipient)
Active	queue is active
Disabled	queue is disabled (only used by the queue recipient)

Instances

Instances details

FromJSON QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser QueueStatus parseJSONList :: Value -> Parser [QueueStatus] omittedField :: Maybe QueueStatus
ToJSON QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: QueueStatus -> Value toEncoding :: QueueStatus -> Encoding toJSONList :: [QueueStatus] -> Value toEncodingList :: [QueueStatus] -> Encoding omitField :: QueueStatus -> Bool
Read QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods readsPrec :: Int -> ReadS QueueStatus readList :: ReadS [QueueStatus] readPrec :: ReadPrec QueueStatus readListPrec :: ReadPrec [QueueStatus]
Show QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> QueueStatus -> ShowS show :: QueueStatus -> String showList :: [QueueStatus] -> ShowS
Eq QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: QueueStatus -> QueueStatus -> Bool (/=) :: QueueStatus -> QueueStatus -> Bool
FromField QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods fromField :: FieldParser QueueStatus #
ToField QueueStatus Source #
Instance details Defined in Simplex.Messaging.Agent.Store.AgentStore Methods toField :: QueueStatus -> SQLData #

type UserId = Int64 Source #

type ACorrId = ByteString Source #

type AgentMsgId = Int64 Source #

data NotificationsMode Source #

Constructors

NMPeriodic
NMInstant

Instances

Instances details

FromJSON NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods parseJSON :: Value -> Parser NotificationsMode parseJSONList :: Value -> Parser [NotificationsMode] omittedField :: Maybe NotificationsMode
ToJSON NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toJSON :: NotificationsMode -> Value toEncoding :: NotificationsMode -> Encoding toJSONList :: [NotificationsMode] -> Value toEncodingList :: [NotificationsMode] -> Encoding omitField :: NotificationsMode -> Bool
Show NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> NotificationsMode -> ShowS show :: NotificationsMode -> String showList :: [NotificationsMode] -> ShowS
Eq NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods (==) :: NotificationsMode -> NotificationsMode -> Bool (/=) :: NotificationsMode -> NotificationsMode -> Bool
StrEncoding NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods strEncode :: NotificationsMode -> ByteString Source # strDecode :: ByteString -> Either String NotificationsMode Source # strP :: Parser NotificationsMode Source #
FromField NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods fromField :: FieldParser NotificationsMode #
ToField NotificationsMode Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods toField :: NotificationsMode -> SQLData #

data NotificationInfo Source #

Constructors

NotificationInfo
Fields ntfConnId :: ConnId ntfDbQueueId :: Int64 ntfTs :: SystemTime ntfMsgMeta :: Maybe NMsgMeta

Instances

Instances details

Show NotificationInfo Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> NotificationInfo -> ShowS show :: NotificationInfo -> String showList :: [NotificationInfo] -> ShowS

data ConnMsgReq Source #

Constructors

ConnMsgReq
Fields msgConnId :: ConnId msgDbQueueId :: Int64 msgTs :: Maybe UTCTime

Instances

Instances details

Show ConnMsgReq Source #
Instance details Defined in Simplex.Messaging.Agent.Protocol Methods showsPrec :: Int -> ConnMsgReq -> ShowS show :: ConnMsgReq -> String showList :: [ConnMsgReq] -> ShowS