Simplex.Messaging.Agent.Store

Store management

class Monad m => MonadAgentStore s m where

Store class type. Defines store access methods for implementations.

Methods

createRcvConn :: s -> TVar ChaChaDRG -> ConnData -> RcvQueue -> SConnectionMode c -> m ConnId

createSndConn :: s -> TVar ChaChaDRG -> ConnData -> SndQueue -> m ConnId

getConn :: s -> ConnId -> m SomeConn

getAllConnIds :: s -> m [ConnId]

getRcvConn :: s -> SMPServer -> RecipientId -> m SomeConn

deleteConn :: s -> ConnId -> m ()

upgradeRcvConnToDuplex :: s -> ConnId -> SndQueue -> m ()

upgradeSndConnToDuplex :: s -> ConnId -> RcvQueue -> m ()

setRcvQueueStatus :: s -> RcvQueue -> QueueStatus -> m ()

setRcvQueueActive :: s -> RcvQueue -> VerificationKey -> m ()

setSndQueueStatus :: s -> SndQueue -> QueueStatus -> m ()

updateSignKey :: s -> SndQueue -> SignatureKey -> m ()

createConfirmation :: s -> TVar ChaChaDRG -> NewConfirmation -> m ConfirmationId

acceptConfirmation :: s -> ConfirmationId -> ConnInfo -> m AcceptedConfirmation

getAcceptedConfirmation :: s -> ConnId -> m AcceptedConfirmation

removeConfirmations :: s -> ConnId -> m ()

createInvitation :: s -> TVar ChaChaDRG -> NewInvitation -> m InvitationId

getInvitation :: s -> InvitationId -> m Invitation

acceptInvitation :: s -> InvitationId -> ConnInfo -> m ()

deleteInvitation :: s -> ConnId -> InvitationId -> m ()

updateRcvIds :: s -> ConnId -> m (InternalId, InternalRcvId, PrevExternalSndId, PrevRcvMsgHash)

createRcvMsg :: s -> ConnId -> RcvMsgData -> m ()

updateSndIds :: s -> ConnId -> m (InternalId, InternalSndId, PrevSndMsgHash)

createSndMsg :: s -> ConnId -> SndMsgData -> m ()

updateSndMsgStatus :: s -> ConnId -> InternalId -> SndMsgStatus -> m ()

getPendingMsgData :: s -> ConnId -> InternalId -> m (SndQueue, MsgBody)

getPendingMsgs :: s -> ConnId -> m [PendingMsg]

getMsg :: s -> ConnId -> InternalId -> m Msg

checkRcvMsg :: s -> ConnId -> InternalId -> m ()

updateRcvMsgAck :: s -> ConnId -> InternalId -> m ()

Instances

(MonadUnliftIO m, MonadError StoreError m) => MonadAgentStore SQLiteStore m

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

createRcvConn :: forall (c :: ConnectionMode). SQLiteStore -> TVar ChaChaDRG -> ConnData -> RcvQueue -> SConnectionMode c -> m ConnId

createSndConn :: SQLiteStore -> TVar ChaChaDRG -> ConnData -> SndQueue -> m ConnId

getConn :: SQLiteStore -> ConnId -> m SomeConn

getAllConnIds :: SQLiteStore -> m [ConnId]

getRcvConn :: SQLiteStore -> SMPServer -> RecipientId -> m SomeConn

deleteConn :: SQLiteStore -> ConnId -> m ()

upgradeRcvConnToDuplex :: SQLiteStore -> ConnId -> SndQueue -> m ()

upgradeSndConnToDuplex :: SQLiteStore -> ConnId -> RcvQueue -> m ()

setRcvQueueStatus :: SQLiteStore -> RcvQueue -> QueueStatus -> m ()

setRcvQueueActive :: SQLiteStore -> RcvQueue -> VerificationKey -> m ()

setSndQueueStatus :: SQLiteStore -> SndQueue -> QueueStatus -> m ()

updateSignKey :: SQLiteStore -> SndQueue -> SignatureKey -> m ()

createConfirmation :: SQLiteStore -> TVar ChaChaDRG -> NewConfirmation -> m ConfirmationId

acceptConfirmation :: SQLiteStore -> ConfirmationId -> ConnInfo -> m AcceptedConfirmation

getAcceptedConfirmation :: SQLiteStore -> ConnId -> m AcceptedConfirmation

removeConfirmations :: SQLiteStore -> ConnId -> m ()

createInvitation :: SQLiteStore -> TVar ChaChaDRG -> NewInvitation -> m InvitationId

getInvitation :: SQLiteStore -> InvitationId -> m Invitation

acceptInvitation :: SQLiteStore -> InvitationId -> ConnInfo -> m ()

deleteInvitation :: SQLiteStore -> ConnId -> InvitationId -> m ()

updateRcvIds :: SQLiteStore -> ConnId -> m (InternalId, InternalRcvId, PrevExternalSndId, PrevRcvMsgHash)

createRcvMsg :: SQLiteStore -> ConnId -> RcvMsgData -> m ()

updateSndIds :: SQLiteStore -> ConnId -> m (InternalId, InternalSndId, PrevSndMsgHash)

createSndMsg :: SQLiteStore -> ConnId -> SndMsgData -> m ()

updateSndMsgStatus :: SQLiteStore -> ConnId -> InternalId -> SndMsgStatus -> m ()

getPendingMsgData :: SQLiteStore -> ConnId -> InternalId -> m (SndQueue, MsgBody)

getPendingMsgs :: SQLiteStore -> ConnId -> m [PendingMsg]

getMsg :: SQLiteStore -> ConnId -> InternalId -> m Msg

checkRcvMsg :: SQLiteStore -> ConnId -> InternalId -> m ()

updateRcvMsgAck :: SQLiteStore -> ConnId -> InternalId -> m ()

Queue types

data RcvQueue

A receive queue. SMP queue through which the agent receives messages from a sender.

Constructors

RcvQueue

Fields

• server :: SMPServer
• rcvId :: RecipientId
• rcvPrivateKey :: RecipientPrivateKey
• sndId :: Maybe SenderId
• decryptKey :: DecryptionKey
• verifyKey :: Maybe VerificationKey
• status :: QueueStatus

Instances

Eq RcvQueue

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: RcvQueue -> RcvQueue -> Bool

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

Show RcvQueue

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> RcvQueue -> ShowS

show :: RcvQueue -> String

showList :: [RcvQueue] -> ShowS

data SndQueue

A send queue. SMP queue through which the agent sends messages to a recipient.

Constructors

SndQueue

Fields

• server :: SMPServer
• sndId :: SenderId
• sndPrivateKey :: SenderPrivateKey
• encryptKey :: EncryptionKey
• signKey :: SignatureKey
• status :: QueueStatus

Instances

Eq SndQueue

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: SndQueue -> SndQueue -> Bool

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

Show SndQueue

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> SndQueue -> ShowS

show :: SndQueue -> String

showList :: [SndQueue] -> ShowS

Connection types

data ConnType

Type of a connection.

Constructors

CRcv

CSnd

CDuplex

CContact

Instances

Eq ConnType

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: ConnType -> ConnType -> Bool

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

Show ConnType

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> ConnType -> ShowS

show :: ConnType -> String

showList :: [ConnType] -> ShowS

TestEquality SConnType

Defined in Simplex.Messaging.Agent.Store

Methods

testEquality :: forall (a :: k) (b :: k). SConnType a -> SConnType b -> Maybe (a :~: b)

data Connection (d :: ConnType) where

Connection of a specific type.

• RcvConnection is a connection that only has a receive queue set up, typically created by a recipient initiating a duplex connection.
• SndConnection is a connection that only has a send queue set up, typically created by a sender joining a duplex connection through a recipient's invitation.
• DuplexConnection is a connection that has both receive and send queues set up, typically created by upgrading a receive or a send connection with a missing queue.

Constructors

RcvConnection :: ConnData -> RcvQueue -> Connection CRcv

SndConnection :: ConnData -> SndQueue -> Connection CSnd

DuplexConnection :: ConnData -> RcvQueue -> SndQueue -> Connection CDuplex

ContactConnection :: ConnData -> RcvQueue -> Connection CContact

Instances

Eq (Connection d)

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: Connection d -> Connection d -> Bool

(/=) :: Connection d -> Connection d -> Bool

Show (Connection d)

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> Connection d -> ShowS

show :: Connection d -> String

showList :: [Connection d] -> ShowS

data SConnType :: ConnType -> Type where

Constructors

SCRcv :: SConnType CRcv

SCSnd :: SConnType CSnd

SCDuplex :: SConnType CDuplex

SCContact :: SConnType CContact

Instances

TestEquality SConnType

Defined in Simplex.Messaging.Agent.Store

Methods

testEquality :: forall (a :: k) (b :: k). SConnType a -> SConnType b -> Maybe (a :~: b)

Eq (SConnType d)

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: SConnType d -> SConnType d -> Bool

(/=) :: SConnType d -> SConnType d -> Bool

Show (SConnType d)

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> SConnType d -> ShowS

show :: SConnType d -> String

showList :: [SConnType d] -> ShowS

connType :: SConnType c -> ConnType

data SomeConn

Connection of an unknown type. Used to refer to an arbitrary connection when retrieving from store.

Constructors

forall d. SomeConn (SConnType d) (Connection d)

Instances

Eq SomeConn

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: SomeConn -> SomeConn -> Bool

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

Show SomeConn

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> SomeConn -> ShowS

show :: SomeConn -> String

showList :: [SomeConn] -> ShowS

newtype ConnData

Constructors

ConnData

Fields

• connId :: ConnId

Instances

Eq ConnData

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: ConnData -> ConnData -> Bool

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

Show ConnData

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> ConnData -> ShowS

show :: ConnData -> String

showList :: [ConnData] -> ShowS

Confirmation types

data NewConfirmation

Constructors

NewConfirmation

Fields

• connId :: ConnId
• senderKey :: SenderPublicKey
• senderConnInfo :: ConnInfo

data AcceptedConfirmation

Constructors

AcceptedConfirmation

Fields

• confirmationId :: ConfirmationId
• connId :: ConnId
• senderKey :: SenderPublicKey
• senderConnInfo :: ConnInfo
• ownConnInfo :: ConnInfo

Invitations

data NewInvitation

Constructors

NewInvitation

Fields

• contactConnId :: ConnId
• connReq :: ConnectionRequest 'CMInvitation
• recipientConnInfo :: ConnInfo

data Invitation

Constructors

Invitation

Fields

• invitationId :: InvitationId
• contactConnId :: ConnId
• connReq :: ConnectionRequest 'CMInvitation
• recipientConnInfo :: ConnInfo
• ownConnInfo :: Maybe ConnInfo
• accepted :: Bool

Message integrity validation types

type PrevExternalSndId = Int64

Corresponds to last_external_snd_msg_id in connections table

type PrevRcvMsgHash = MsgHash

Corresponds to last_rcv_msg_hash in connections table

type PrevSndMsgHash = MsgHash

Corresponds to last_snd_msg_hash in connections table

Message data containers - used on Msg creation to reduce number of parameters

data RcvMsgData

Constructors

RcvMsgData

Fields

• msgMeta :: MsgMeta
• msgBody :: MsgBody
• internalRcvId :: InternalRcvId
• internalHash :: MsgHash
• externalPrevSndHash :: MsgHash

data SndMsgData

Constructors

SndMsgData

Fields

• internalId :: InternalId
• internalSndId :: InternalSndId
• internalTs :: InternalTs
• msgBody :: MsgBody
• internalHash :: MsgHash
• previousMsgHash :: MsgHash

data PendingMsg

Constructors

PendingMsg

Fields

• connId :: ConnId
• msgId :: InternalId

Instances

Show PendingMsg

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> PendingMsg -> ShowS

show :: PendingMsg -> String

showList :: [PendingMsg] -> ShowS

Broadcast types

type BroadcastId = ByteString

Message types

data Msg

A message in either direction that is stored by the agent.

Constructors

MRcv RcvMsg

MSnd SndMsg

Instances

Eq Msg

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: Msg -> Msg -> Bool

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

Show Msg

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> Msg -> ShowS

show :: Msg -> String

showList :: [Msg] -> ShowS

data RcvMsg

A message received by the agent from a sender.

Constructors

RcvMsg

Fields

• msgBase :: MsgBase
• internalRcvId :: InternalRcvId
• externalSndId :: ExternalSndId

  Id of the message at sender, corresponds to $sel:internalSndId:SndMsgData from the sender's side. Sender Id is made sequential for detection of missing messages. For redundant / parallel queues, it also allows to keep track of duplicates and restore the original order before delivery to the client.

• externalSndTs :: ExternalSndTs
• brokerId :: BrokerId

  Id of the message at broker, although it is not sequential (to avoid metadata leakage for potential observer), it is needed to track repeated deliveries in case of connection loss - this logic is not implemented yet.

• brokerTs :: BrokerTs
• rcvMsgStatus :: RcvMsgStatus
• ackBrokerTs :: AckBrokerTs

  Timestamp of acknowledgement to broker, corresponds to AcknowledgedToBroker status. Do not mix up with $sel:brokerTs:RcvMsg - timestamp created at broker after it receives the message from sender.

• ackSenderTs :: AckSenderTs

  Timestamp of acknowledgement to sender, corresponds to AcknowledgedToSender status. Do not mix up with $sel:externalSndTs:RcvMsg - timestamp created at sender before sending, which in its turn corresponds to $sel:internalTs:SndMsgData in sending agent.

• externalPrevSndHash :: MsgHash

  Hash of previous message as received from sender - stored for integrity forensics.

• msgIntegrity :: MsgIntegrity

Instances

Eq RcvMsg

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: RcvMsg -> RcvMsg -> Bool

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

Show RcvMsg

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> RcvMsg -> ShowS

show :: RcvMsg -> String

showList :: [RcvMsg] -> ShowS

newtype InternalRcvId

Constructors

InternalRcvId

Fields

• unRcvId :: Int64

Instances

Eq InternalRcvId

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: InternalRcvId -> InternalRcvId -> Bool

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

Show InternalRcvId

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> InternalRcvId -> ShowS

show :: InternalRcvId -> String

showList :: [InternalRcvId] -> ShowS

FromField InternalRcvId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

fromField :: FieldParser InternalRcvId

ToField InternalRcvId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

toField :: InternalRcvId -> SQLData

type ExternalSndId = Int64

type ExternalSndTs = UTCTime

type BrokerId = MsgId

type BrokerTs = UTCTime

data RcvMsgStatus

Constructors

Received

AcknowledgedToBroker

AcknowledgedToSender

Instances

Eq RcvMsgStatus

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: RcvMsgStatus -> RcvMsgStatus -> Bool

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

Show RcvMsgStatus

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> RcvMsgStatus -> ShowS

show :: RcvMsgStatus -> String

showList :: [RcvMsgStatus] -> ShowS

ToField RcvMsgStatus

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

toField :: RcvMsgStatus -> SQLData

type AckBrokerTs = UTCTime

type AckSenderTs = UTCTime

data SndMsg

A message sent by the agent to a recipient.

Constructors

SndMsg

Fields

• msgBase :: MsgBase
• internalSndId :: InternalSndId

  Id of the message sent / to be sent, as in its number in order of sending.

• sndMsgStatus :: SndMsgStatus
• sentTs :: SentTs

  Timestamp of the message received by broker, corresponds to Sent status.

• deliveredTs :: DeliveredTs

  Timestamp of the message received by recipient, corresponds to Delivered status.

Instances

Eq SndMsg

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: SndMsg -> SndMsg -> Bool

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

Show SndMsg

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> SndMsg -> ShowS

show :: SndMsg -> String

showList :: [SndMsg] -> ShowS

newtype InternalSndId

Constructors

InternalSndId

Fields

• unSndId :: Int64

Instances

Eq InternalSndId

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: InternalSndId -> InternalSndId -> Bool

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

Show InternalSndId

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> InternalSndId -> ShowS

show :: InternalSndId -> String

showList :: [InternalSndId] -> ShowS

FromField InternalSndId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

fromField :: FieldParser InternalSndId

ToField InternalSndId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

toField :: InternalSndId -> SQLData

data SndMsgStatus

Constructors

SndMsgCreated

SndMsgSent

SndMsgDelivered

Instances

Eq SndMsgStatus

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: SndMsgStatus -> SndMsgStatus -> Bool

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

Show SndMsgStatus

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> SndMsgStatus -> ShowS

show :: SndMsgStatus -> String

showList :: [SndMsgStatus] -> ShowS

ToField SndMsgStatus

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

toField :: SndMsgStatus -> SQLData

type SentTs = UTCTime

type DeliveredTs = UTCTime

data MsgBase

Base message data independent of direction.

Constructors

MsgBase

Fields

• connAlias :: ConnId
• internalId :: InternalId

  Monotonically increasing id of a message per connection, internal to the agent. Internal Id preserves ordering between both received and sent messages, and is needed to track the order of the conversation (which can be different for the sender / receiver) and address messages in commands. External [sender] Id cannot be used for this purpose due to a possibility of implementation errors in different agents.

• internalTs :: InternalTs
• msgBody :: MsgBody
• internalHash :: MsgHash

  Hash of the message as computed by agent.

Instances

Eq MsgBase

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: MsgBase -> MsgBase -> Bool

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

Show MsgBase

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> MsgBase -> ShowS

show :: MsgBase -> String

showList :: [MsgBase] -> ShowS

newtype InternalId

Constructors

InternalId

Fields

• unId :: Int64

Instances

Eq InternalId

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: InternalId -> InternalId -> Bool

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

Show InternalId

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> InternalId -> ShowS

show :: InternalId -> String

showList :: [InternalId] -> ShowS

FromField InternalId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

fromField :: FieldParser InternalId

ToField InternalId

Defined in Simplex.Messaging.Agent.Store.SQLite

Methods

toField :: InternalId -> SQLData

type InternalTs = UTCTime

Store errors

data StoreError

Agent store error.

Constructors

SEInternal ByteString

IO exceptions in store actions.

SEUniqueID

failed to generate unique random ID

SEConnNotFound

Connection alias not found (or both queues absent).

SEConnDuplicate

Connection alias already used.

SEBadConnType ConnType

Wrong connection type, e.g. "send" connection when "receive" or "duplex" is expected, or vice versa. upgradeRcvConnToDuplex and upgradeSndConnToDuplex do not allow duplex connections - they would also return this error.

SEConfirmationNotFound

Confirmation not found.

SEInvitationNotFound

Invitation not found

SEMsgNotFound

Message not found

SEBadQueueStatus

Currently not used. The intention was to pass current expected queue status in methods, as we always know what it should be at any stage of the protocol, and in case it does not match use this error.

SENotImplemented

Used in getMsg that is not implemented/used. TODO remove.

Instances

Eq StoreError

Defined in Simplex.Messaging.Agent.Store

Methods

(==) :: StoreError -> StoreError -> Bool

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

Show StoreError

Defined in Simplex.Messaging.Agent.Store

Methods

showsPrec :: Int -> StoreError -> ShowS

show :: StoreError -> String

showList :: [StoreError] -> ShowS

Exception StoreError

Defined in Simplex.Messaging.Agent.Store

Methods

toException :: StoreError -> SomeException

fromException :: SomeException -> Maybe StoreError

displayException :: StoreError -> String