core: support files folder for mobile, delete files, chat item in CRRcvFileComplete (#530)

src/Simplex/Chat/Controller.hs

@@ -77,7 +77,8 @@ data ChatController = ChatController
     chatLock :: TMVar (),
     sndFiles :: TVar (Map Int64 Handle),
     rcvFiles :: TVar (Map Int64 Handle),
-    config :: ChatConfig
+    config :: ChatConfig,
+    filesFolder :: TVar (Maybe FilePath) -- path to files folder for mobile apps
   }
 
 data HelpSection = HSMain | HSFiles | HSGroups | HSMyAddress | HSMarkdown | HSMessages
@@ -91,6 +92,7 @@ data ChatCommand
   = ShowActiveUser
   | CreateActiveUser Profile
   | StartChat
+  | SetFilesFolder FilePath
   | APIGetChats
   | APIGetChat ChatType Int64 ChatPagination
   | APIGetChatItems Int
@@ -200,7 +202,7 @@ data ChatResponse
   | CRRcvFileAccepted {fileTransfer :: RcvFileTransfer, filePath :: FilePath}
   | CRRcvFileAcceptedSndCancelled {rcvFileTransfer :: RcvFileTransfer}
   | CRRcvFileStart {rcvFileTransfer :: RcvFileTransfer}
-  | CRRcvFileComplete {rcvFileTransfer :: RcvFileTransfer}
+  | CRRcvFileComplete {chatItem :: AChatItem}
   | CRRcvFileCancelled {rcvFileTransfer :: RcvFileTransfer}
   | CRRcvFileSndCancelled {rcvFileTransfer :: RcvFileTransfer}
   | CRSndFileStart {sndFileTransfer :: SndFileTransfer}

src/Simplex/Chat/Mobile.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE DuplicateRecordFields #-}
 {-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Simplex.Chat.Mobile where
 
@@ -48,7 +49,7 @@ cChatRecvMsg cc = deRefStablePtr cc >>= chatRecvMsg >>= newCAString
 mobileChatOpts :: ChatOpts
 mobileChatOpts =
   ChatOpts
-    { dbFilePrefix = "simplex_v1", -- two database files will be created: simplex_v1_chat.db and simplex_v1_agent.db
+    { dbFilePrefix = undefined,
       smpServers = [],
       logConnections = False,
       logAgent = False,

src/Simplex/Chat/Store.hs

@@ -115,6 +115,7 @@ module Simplex.Chat.Store
     updateFileTransferChatItemId,
     getFileTransfer,
     getFileTransferProgress,
+    getContactFiles,
     createNewSndMessage,
     createSndMsgDelivery,
     createNewMessageAndRcvMsgDelivery,
@@ -135,6 +136,7 @@ module Simplex.Chat.Store
     getGroupChatItemBySharedMsgId,
     getDirectChatItemIdByText,
     getGroupChatItemIdByText,
+    getChatItemByFileId,
     updateDirectChatItemStatus,
     updateDirectChatItem,
     deleteDirectChatItemInternal,
@@ -2214,6 +2216,19 @@ getFileTransferMeta_ db userId fileId =
     fileTransferMeta (fileName, fileSize, chunkSize, filePath, cancelled_) =
       FileTransferMeta {fileId, fileName, filePath, fileSize, chunkSize, cancelled = fromMaybe False cancelled_}
 
+getContactFiles :: MonadUnliftIO m => SQLiteStore -> UserId -> Contact -> m [(Int64, Maybe FilePath, ACIFileStatus)]
+getContactFiles st userId Contact {contactId} =
+  liftIO . withTransaction st $ \db ->
+    DB.query
+      db
+      [sql|
+        SELECT f.file_id, f.file_path, f.ci_file_status
+        FROM chat_items i
+        JOIN files f ON f.chat_item_id = i.chat_item_id
+        WHERE i.user_id = ? AND i.contact_id = ?
+      |]
+      (userId, contactId)
+
 createNewSndMessage :: StoreMonad m => SQLiteStore -> TVar ChaChaDRG -> ConnOrGroupId -> (SharedMsgId -> NewMessage) -> m SndMessage
 createNewSndMessage st gVar connOrGroupId mkMessage =
   liftIOEither . withTransaction st $ \db ->
@@ -3367,6 +3382,35 @@ getGroupChatItemIdByText st User {userId, localDisplayName = userName} groupId c
         |]
         (userId, groupId, cName, quotedMsg <> "%")
 
+getChatItemByFileId :: StoreMonad m => SQLiteStore -> User -> Int64 -> m AChatItem
+getChatItemByFileId st user@User {userId} fileId = do
+  liftIOEither . withTransaction st $ \db -> runExceptT $ do
+    r <- ExceptT $ getChatItemIdByFileId_ db userId fileId
+    case r of
+      (itemId, Just contactId, Nothing) -> do
+        ct <- ExceptT $ getContact_ db userId contactId
+        (CChatItem msgDir ci) <- ExceptT $ getDirectChatItem_ db userId contactId itemId
+        pure $ AChatItem SCTDirect msgDir (DirectChat ct) ci
+      (itemId, Nothing, Just groupId) -> do
+        gInfo <- ExceptT $ getGroupInfo_ db user groupId
+        (CChatItem msgDir ci) <- ExceptT $ getGroupChatItem_ db user groupId itemId
+        pure $ AChatItem SCTGroup msgDir (GroupChat gInfo) ci
+      _ -> throwError $ SEChatItemNotFoundByFileId fileId
+
+getChatItemIdByFileId_ :: DB.Connection -> UserId -> Int64 -> IO (Either StoreError (ChatItemId, Maybe Int64, Maybe Int64))
+getChatItemIdByFileId_ db userId fileId =
+  firstRow id (SEChatItemNotFoundByFileId fileId) $
+    DB.query
+      db
+      [sql|
+        SELECT i.chat_item_id, i.contact_id, i.group_id
+        FROM chat_items i
+        JOIN files f ON f.chat_item_id = i.chat_item_id
+        WHERE f.user_id = ? AND f.file_id = ?
+        LIMIT 1
+      |]
+      (userId, fileId)
+
 updateDirectChatItemsRead :: (StoreMonad m) => SQLiteStore -> Int64 -> (ChatItemId, ChatItemId) -> m ()
 updateDirectChatItemsRead st contactId (fromItemId, toItemId) = do
   currentTs <- liftIO getCurrentTime
@@ -3608,6 +3652,7 @@ data StoreError
   | SEChatItemNotFound {itemId :: ChatItemId}
   | SEQuotedChatItemNotFound
   | SEChatItemSharedMsgIdNotFound {sharedMsgId :: SharedMsgId}
+  | SEChatItemNotFoundByFileId {fileId :: FileTransferId}
   deriving (Show, Exception, Generic)
 
 instance ToJSON StoreError where

src/Simplex/Chat/View.hs

@@ -100,7 +100,7 @@ responseToView testView = \case
   CRContactsMerged intoCt mergedCt -> viewContactsMerged intoCt mergedCt
   CRReceivedContactRequest UserContactRequest {localDisplayName = c, profile} -> viewReceivedContactRequest c profile
   CRRcvFileStart ft -> receivingFile_ "started" ft
-  CRRcvFileComplete ft -> receivingFile_ "completed" ft
+  CRRcvFileComplete ci -> receivingFile_' "completed" ci
   CRRcvFileSndCancelled ft -> viewRcvFileSndCancelled ft
   CRSndFileStart ft -> sendingFile_ "started" ft
   CRSndFileComplete ft -> sendingFile_ "completed" ft
@@ -548,6 +548,13 @@ humanReadableSize size
     mB = kB * 1024
     gB = mB * 1024
 
+receivingFile_' :: StyledString -> AChatItem -> [StyledString]
+receivingFile_' status (AChatItem _ _ (DirectChat Contact {localDisplayName = c}) ChatItem {file = Just CIFile {fileId, fileName}, chatDir = CIDirectRcv}) =
+  [status <> " receiving " <> fileTransferStr fileId fileName <> " from " <> ttyContact c]
+receivingFile_' status (AChatItem _ _ _ ChatItem {file = Just CIFile {fileId, fileName}, chatDir = CIGroupRcv GroupMember {localDisplayName = m}}) =
+  [status <> " receiving " <> fileTransferStr fileId fileName <> " from " <> ttyContact m]
+receivingFile_' status _ = [status <> " receiving file"] -- shouldn't happen
+
 receivingFile_ :: StyledString -> RcvFileTransfer -> [StyledString]
 receivingFile_ status ft@RcvFileTransfer {senderDisplayName = c} =
   [status <> " receiving " <> rcvFile ft <> " from " <> ttyContact c]