{-# LANGUAGE LambdaCase #-}
module Matterhorn.State.Attachments
  ( showAttachmentList
  , resetAttachmentList
  , showAttachmentFileBrowser
  , attachFileByPath
  , tryAddAttachment
  , tryReadAttachment
  )
where

import           Prelude ()
import           Matterhorn.Prelude

import           Brick ( vScrollToBeginning, viewportScroll )
import qualified Brick.Widgets.List as L
import qualified Brick.Widgets.FileBrowser as FB
import qualified Control.Exception as E
import           Data.Bool ( bool )
import qualified Data.ByteString as BS
import           Data.Either ( isRight )
import           Data.Text ( unpack )
import qualified Data.Vector as Vector
import           GHC.Exception ( toException )
import           Lens.Micro.Platform ( (.=), (%=) )
import           System.Directory ( doesDirectoryExist, doesFileExist, getDirectoryContents )

import           Matterhorn.Types

validateAttachmentPath :: FilePath -> IO (Maybe FilePath)
validateAttachmentPath :: FilePath -> IO (Maybe FilePath)
validateAttachmentPath FilePath
path = Maybe FilePath -> Maybe FilePath -> Bool -> Maybe FilePath
forall a. a -> a -> Bool -> a
bool Maybe FilePath
forall a. Maybe a
Nothing (FilePath -> Maybe FilePath
forall a. a -> Maybe a
Just FilePath
path) (Bool -> Maybe FilePath) -> IO Bool -> IO (Maybe FilePath)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> do
    Bool
ex <- FilePath -> IO Bool
doesDirectoryExist FilePath
path
    case Bool
ex of
        Bool
False -> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
        Bool
True -> do
            Either SomeException [FilePath]
result :: Either E.SomeException [FilePath]
                   <- IO [FilePath] -> IO (Either SomeException [FilePath])
forall e a. Exception e => IO a -> IO (Either e a)
E.try (IO [FilePath] -> IO (Either SomeException [FilePath]))
-> IO [FilePath] -> IO (Either SomeException [FilePath])
forall a b. (a -> b) -> a -> b
$ FilePath -> IO [FilePath]
getDirectoryContents FilePath
path
            Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool -> IO Bool) -> Bool -> IO Bool
forall a b. (a -> b) -> a -> b
$ Either SomeException [FilePath] -> Bool
forall a b. Either a b -> Bool
isRight Either SomeException [FilePath]
result

defaultAttachmentsPath :: Config -> IO (Maybe FilePath)
defaultAttachmentsPath :: Config -> IO (Maybe FilePath)
defaultAttachmentsPath = IO (Maybe FilePath)
-> (FilePath -> IO (Maybe FilePath))
-> Maybe FilePath
-> IO (Maybe FilePath)
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Maybe FilePath -> IO (Maybe FilePath)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe FilePath
forall a. Maybe a
Nothing) FilePath -> IO (Maybe FilePath)
validateAttachmentPath (Maybe FilePath -> IO (Maybe FilePath))
-> (Config -> Maybe FilePath) -> Config -> IO (Maybe FilePath)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Config -> Maybe FilePath
configDefaultAttachmentPath

showAttachmentList :: MH ()
showAttachmentList :: MH ()
showAttachmentList = do
    List Name AttachmentData
lst <- Getting
  (List Name AttachmentData) ChatState (List Name AttachmentData)
-> MH (List Name AttachmentData)
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use ((TeamState -> Const (List Name AttachmentData) TeamState)
-> ChatState -> Const (List Name AttachmentData) ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Const (List Name AttachmentData) TeamState)
 -> ChatState -> Const (List Name AttachmentData) ChatState)
-> ((List Name AttachmentData
     -> Const (List Name AttachmentData) (List Name AttachmentData))
    -> TeamState -> Const (List Name AttachmentData) TeamState)
-> Getting
     (List Name AttachmentData) ChatState (List Name AttachmentData)
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Const (List Name AttachmentData) ChatEditState)
-> TeamState -> Const (List Name AttachmentData) TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Const (List Name AttachmentData) ChatEditState)
 -> TeamState -> Const (List Name AttachmentData) TeamState)
-> ((List Name AttachmentData
     -> Const (List Name AttachmentData) (List Name AttachmentData))
    -> ChatEditState -> Const (List Name AttachmentData) ChatEditState)
-> (List Name AttachmentData
    -> Const (List Name AttachmentData) (List Name AttachmentData))
-> TeamState
-> Const (List Name AttachmentData) TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(List Name AttachmentData
 -> Const (List Name AttachmentData) (List Name AttachmentData))
-> ChatEditState -> Const (List Name AttachmentData) ChatEditState
Lens' ChatEditState (List Name AttachmentData)
cedAttachmentList)
    case Vector AttachmentData -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length (List Name AttachmentData -> Vector AttachmentData
forall n (t :: * -> *) e. GenericList n t e -> t e
L.listElements List Name AttachmentData
lst) of
        Int
0 -> MH ()
showAttachmentFileBrowser
        Int
_ -> Mode -> MH ()
setMode Mode
ManageAttachments

resetAttachmentList :: MH ()
resetAttachmentList :: MH ()
resetAttachmentList = do
    TeamId
tId <- Getting TeamId ChatState TeamId -> MH TeamId
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use Getting TeamId ChatState TeamId
SimpleGetter ChatState TeamId
csCurrentTeamId
    let listName :: Name
listName = TeamId -> Name
AttachmentList TeamId
tId
    (TeamState -> Identity TeamState)
-> ChatState -> Identity ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Identity TeamState)
 -> ChatState -> Identity ChatState)
-> ((List Name AttachmentData
     -> Identity (List Name AttachmentData))
    -> TeamState -> Identity TeamState)
-> (List Name AttachmentData
    -> Identity (List Name AttachmentData))
-> ChatState
-> Identity ChatState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Identity ChatEditState)
-> TeamState -> Identity TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Identity ChatEditState)
 -> TeamState -> Identity TeamState)
-> ((List Name AttachmentData
     -> Identity (List Name AttachmentData))
    -> ChatEditState -> Identity ChatEditState)
-> (List Name AttachmentData
    -> Identity (List Name AttachmentData))
-> TeamState
-> Identity TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(List Name AttachmentData -> Identity (List Name AttachmentData))
-> ChatEditState -> Identity ChatEditState
Lens' ChatEditState (List Name AttachmentData)
cedAttachmentList ((List Name AttachmentData -> Identity (List Name AttachmentData))
 -> ChatState -> Identity ChatState)
-> List Name AttachmentData -> MH ()
forall s (m :: * -> *) a b.
MonadState s m =>
ASetter s s a b -> b -> m ()
.= Name -> Vector AttachmentData -> Int -> List Name AttachmentData
forall (t :: * -> *) n e.
Foldable t =>
n -> t e -> Int -> GenericList n t e
L.list Name
listName Vector AttachmentData
forall a. Monoid a => a
mempty Int
1
    EventM Name () -> MH ()
forall a. EventM Name a -> MH a
mh (EventM Name () -> MH ()) -> EventM Name () -> MH ()
forall a b. (a -> b) -> a -> b
$ ViewportScroll Name -> EventM Name ()
forall n. ViewportScroll n -> EventM n ()
vScrollToBeginning (ViewportScroll Name -> EventM Name ())
-> ViewportScroll Name -> EventM Name ()
forall a b. (a -> b) -> a -> b
$ Name -> ViewportScroll Name
forall n. n -> ViewportScroll n
viewportScroll Name
listName

showAttachmentFileBrowser :: MH ()
showAttachmentFileBrowser :: MH ()
showAttachmentFileBrowser = do
    Config
config <- Getting Config ChatState Config -> MH Config
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use ((ChatResources -> Const Config ChatResources)
-> ChatState -> Const Config ChatState
Lens' ChatState ChatResources
csResources((ChatResources -> Const Config ChatResources)
 -> ChatState -> Const Config ChatState)
-> ((Config -> Const Config Config)
    -> ChatResources -> Const Config ChatResources)
-> Getting Config ChatState Config
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(Config -> Const Config Config)
-> ChatResources -> Const Config ChatResources
Lens' ChatResources Config
crConfiguration)
    TeamId
tId <- Getting TeamId ChatState TeamId -> MH TeamId
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use Getting TeamId ChatState TeamId
SimpleGetter ChatState TeamId
csCurrentTeamId
    Maybe FilePath
filePath <- IO (Maybe FilePath) -> MH (Maybe FilePath)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe FilePath) -> MH (Maybe FilePath))
-> IO (Maybe FilePath) -> MH (Maybe FilePath)
forall a b. (a -> b) -> a -> b
$ Config -> IO (Maybe FilePath)
defaultAttachmentsPath Config
config
    Maybe (FileBrowser Name)
browser <- IO (Maybe (FileBrowser Name)) -> MH (Maybe (FileBrowser Name))
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe (FileBrowser Name)) -> MH (Maybe (FileBrowser Name)))
-> IO (Maybe (FileBrowser Name)) -> MH (Maybe (FileBrowser Name))
forall a b. (a -> b) -> a -> b
$ FileBrowser Name -> Maybe (FileBrowser Name)
forall a. a -> Maybe a
Just (FileBrowser Name -> Maybe (FileBrowser Name))
-> IO (FileBrowser Name) -> IO (Maybe (FileBrowser Name))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (FileInfo -> Bool)
-> Name -> Maybe FilePath -> IO (FileBrowser Name)
forall n.
(FileInfo -> Bool) -> n -> Maybe FilePath -> IO (FileBrowser n)
FB.newFileBrowser FileInfo -> Bool
FB.selectNonDirectories (TeamId -> Name
AttachmentFileBrowser TeamId
tId) Maybe FilePath
filePath
    (TeamState -> Identity TeamState)
-> ChatState -> Identity ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Identity TeamState)
 -> ChatState -> Identity ChatState)
-> ((Maybe (FileBrowser Name)
     -> Identity (Maybe (FileBrowser Name)))
    -> TeamState -> Identity TeamState)
-> (Maybe (FileBrowser Name)
    -> Identity (Maybe (FileBrowser Name)))
-> ChatState
-> Identity ChatState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Identity ChatEditState)
-> TeamState -> Identity TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Identity ChatEditState)
 -> TeamState -> Identity TeamState)
-> ((Maybe (FileBrowser Name)
     -> Identity (Maybe (FileBrowser Name)))
    -> ChatEditState -> Identity ChatEditState)
-> (Maybe (FileBrowser Name)
    -> Identity (Maybe (FileBrowser Name)))
-> TeamState
-> Identity TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(Maybe (FileBrowser Name) -> Identity (Maybe (FileBrowser Name)))
-> ChatEditState -> Identity ChatEditState
Lens' ChatEditState (Maybe (FileBrowser Name))
cedFileBrowser ((Maybe (FileBrowser Name) -> Identity (Maybe (FileBrowser Name)))
 -> ChatState -> Identity ChatState)
-> Maybe (FileBrowser Name) -> MH ()
forall s (m :: * -> *) a b.
MonadState s m =>
ASetter s s a b -> b -> m ()
.= Maybe (FileBrowser Name)
browser
    Mode -> MH ()
setMode Mode
ManageAttachmentsBrowseFiles

attachFileByPath :: Text -> MH ()
attachFileByPath :: Text -> MH ()
attachFileByPath Text
txtPath = do
    let strPath :: FilePath
strPath = Text -> FilePath
unpack Text
txtPath
    FileInfo
fileInfo <- IO FileInfo -> MH FileInfo
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO FileInfo -> MH FileInfo) -> IO FileInfo -> MH FileInfo
forall a b. (a -> b) -> a -> b
$ FilePath -> FilePath -> IO FileInfo
FB.getFileInfo FilePath
strPath FilePath
strPath
    case FileInfo -> Either IOException FileStatus
FB.fileInfoFileStatus FileInfo
fileInfo of
        Left IOException
e -> do
            MHError -> MH ()
mhError (MHError -> MH ()) -> MHError -> MH ()
forall a b. (a -> b) -> a -> b
$ SomeException -> MHError
AttachmentException (IOException -> SomeException
forall e. Exception e => e -> SomeException
toException IOException
e)
        Right FileStatus
_ -> [FileInfo] -> MH ()
tryAddAttachment [FileInfo
fileInfo]

checkPathIsFile :: FB.FileInfo -> MH Bool
checkPathIsFile :: FileInfo -> MH Bool
checkPathIsFile = IO Bool -> MH Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> MH Bool)
-> (FileInfo -> IO Bool) -> FileInfo -> MH Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> IO Bool
doesFileExist (FilePath -> IO Bool)
-> (FileInfo -> FilePath) -> FileInfo -> IO Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FileInfo -> FilePath
FB.fileInfoFilePath

tryAddAttachment :: [FB.FileInfo] -> MH ()
tryAddAttachment :: [FileInfo] -> MH ()
tryAddAttachment [FileInfo]
entries = do
    [FileInfo] -> (FileInfo -> MH ()) -> MH ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
t a -> (a -> m b) -> m ()
forM_ [FileInfo]
entries ((FileInfo -> MH ()) -> MH ()) -> (FileInfo -> MH ()) -> MH ()
forall a b. (a -> b) -> a -> b
$ \FileInfo
entry -> do
        Bool
isFile <- FileInfo -> MH Bool
checkPathIsFile FileInfo
entry
        if Bool -> Bool
not Bool
isFile
        then MHError -> MH ()
mhError (Text -> MHError
BadAttachmentPath
            Text
"Error attaching file. It either doesn't exist or is a directory, which is not supported.")
        else do
            -- Is the entry already present? If so, ignore the selection.
            Vector AttachmentData
es <- Getting (Vector AttachmentData) ChatState (Vector AttachmentData)
-> MH (Vector AttachmentData)
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use ((TeamState -> Const (Vector AttachmentData) TeamState)
-> ChatState -> Const (Vector AttachmentData) ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Const (Vector AttachmentData) TeamState)
 -> ChatState -> Const (Vector AttachmentData) ChatState)
-> ((Vector AttachmentData
     -> Const (Vector AttachmentData) (Vector AttachmentData))
    -> TeamState -> Const (Vector AttachmentData) TeamState)
-> Getting
     (Vector AttachmentData) ChatState (Vector AttachmentData)
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Const (Vector AttachmentData) ChatEditState)
-> TeamState -> Const (Vector AttachmentData) TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Const (Vector AttachmentData) ChatEditState)
 -> TeamState -> Const (Vector AttachmentData) TeamState)
-> ((Vector AttachmentData
     -> Const (Vector AttachmentData) (Vector AttachmentData))
    -> ChatEditState -> Const (Vector AttachmentData) ChatEditState)
-> (Vector AttachmentData
    -> Const (Vector AttachmentData) (Vector AttachmentData))
-> TeamState
-> Const (Vector AttachmentData) TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(List Name AttachmentData
 -> Const (Vector AttachmentData) (List Name AttachmentData))
-> ChatEditState -> Const (Vector AttachmentData) ChatEditState
Lens' ChatEditState (List Name AttachmentData)
cedAttachmentList((List Name AttachmentData
  -> Const (Vector AttachmentData) (List Name AttachmentData))
 -> ChatEditState -> Const (Vector AttachmentData) ChatEditState)
-> ((Vector AttachmentData
     -> Const (Vector AttachmentData) (Vector AttachmentData))
    -> List Name AttachmentData
    -> Const (Vector AttachmentData) (List Name AttachmentData))
-> (Vector AttachmentData
    -> Const (Vector AttachmentData) (Vector AttachmentData))
-> ChatEditState
-> Const (Vector AttachmentData) ChatEditState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(Vector AttachmentData
 -> Const (Vector AttachmentData) (Vector AttachmentData))
-> List Name AttachmentData
-> Const (Vector AttachmentData) (List Name AttachmentData)
forall n (t1 :: * -> *) e1 (t2 :: * -> *) e2.
Lens (GenericList n t1 e1) (GenericList n t2 e2) (t1 e1) (t2 e2)
L.listElementsL)
            let matches :: AttachmentData -> Bool
matches = (FilePath -> FilePath -> Bool
forall a. Eq a => a -> a -> Bool
== FileInfo -> FilePath
FB.fileInfoFilePath FileInfo
entry) (FilePath -> Bool)
-> (AttachmentData -> FilePath) -> AttachmentData -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                              FileInfo -> FilePath
FB.fileInfoFilePath (FileInfo -> FilePath)
-> (AttachmentData -> FileInfo) -> AttachmentData -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                              AttachmentData -> FileInfo
attachmentDataFileInfo
            case (AttachmentData -> Bool)
-> Vector AttachmentData -> Maybe AttachmentData
forall a. (a -> Bool) -> Vector a -> Maybe a
Vector.find AttachmentData -> Bool
matches Vector AttachmentData
es of
                Just AttachmentData
_ -> () -> MH ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
                Maybe AttachmentData
Nothing -> do
                    FileInfo -> MH (Either SomeException AttachmentData)
tryReadAttachment FileInfo
entry MH (Either SomeException AttachmentData)
-> (Either SomeException AttachmentData -> MH ()) -> MH ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \case
                        Right AttachmentData
a -> do
                            Maybe Int
oldIdx <- Getting (Maybe Int) ChatState (Maybe Int) -> MH (Maybe Int)
forall s (m :: * -> *) a. MonadState s m => Getting a s a -> m a
use ((TeamState -> Const (Maybe Int) TeamState)
-> ChatState -> Const (Maybe Int) ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Const (Maybe Int) TeamState)
 -> ChatState -> Const (Maybe Int) ChatState)
-> ((Maybe Int -> Const (Maybe Int) (Maybe Int))
    -> TeamState -> Const (Maybe Int) TeamState)
-> Getting (Maybe Int) ChatState (Maybe Int)
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Const (Maybe Int) ChatEditState)
-> TeamState -> Const (Maybe Int) TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Const (Maybe Int) ChatEditState)
 -> TeamState -> Const (Maybe Int) TeamState)
-> ((Maybe Int -> Const (Maybe Int) (Maybe Int))
    -> ChatEditState -> Const (Maybe Int) ChatEditState)
-> (Maybe Int -> Const (Maybe Int) (Maybe Int))
-> TeamState
-> Const (Maybe Int) TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(List Name AttachmentData
 -> Const (Maybe Int) (List Name AttachmentData))
-> ChatEditState -> Const (Maybe Int) ChatEditState
Lens' ChatEditState (List Name AttachmentData)
cedAttachmentList((List Name AttachmentData
  -> Const (Maybe Int) (List Name AttachmentData))
 -> ChatEditState -> Const (Maybe Int) ChatEditState)
-> ((Maybe Int -> Const (Maybe Int) (Maybe Int))
    -> List Name AttachmentData
    -> Const (Maybe Int) (List Name AttachmentData))
-> (Maybe Int -> Const (Maybe Int) (Maybe Int))
-> ChatEditState
-> Const (Maybe Int) ChatEditState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(Maybe Int -> Const (Maybe Int) (Maybe Int))
-> List Name AttachmentData
-> Const (Maybe Int) (List Name AttachmentData)
forall n (t :: * -> *) e. Lens' (GenericList n t e) (Maybe Int)
L.listSelectedL)
                            let newIdx :: Maybe Int
newIdx = if Vector AttachmentData -> Bool
forall a. Vector a -> Bool
Vector.null Vector AttachmentData
es
                                         then Int -> Maybe Int
forall a. a -> Maybe a
Just Int
0
                                         else Maybe Int
oldIdx
                            (TeamState -> Identity TeamState)
-> ChatState -> Identity ChatState
Lens' ChatState TeamState
csCurrentTeam((TeamState -> Identity TeamState)
 -> ChatState -> Identity ChatState)
-> ((List Name AttachmentData
     -> Identity (List Name AttachmentData))
    -> TeamState -> Identity TeamState)
-> (List Name AttachmentData
    -> Identity (List Name AttachmentData))
-> ChatState
-> Identity ChatState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(ChatEditState -> Identity ChatEditState)
-> TeamState -> Identity TeamState
Lens' TeamState ChatEditState
tsEditState((ChatEditState -> Identity ChatEditState)
 -> TeamState -> Identity TeamState)
-> ((List Name AttachmentData
     -> Identity (List Name AttachmentData))
    -> ChatEditState -> Identity ChatEditState)
-> (List Name AttachmentData
    -> Identity (List Name AttachmentData))
-> TeamState
-> Identity TeamState
forall b c a. (b -> c) -> (a -> b) -> a -> c
.(List Name AttachmentData -> Identity (List Name AttachmentData))
-> ChatEditState -> Identity ChatEditState
Lens' ChatEditState (List Name AttachmentData)
cedAttachmentList ((List Name AttachmentData -> Identity (List Name AttachmentData))
 -> ChatState -> Identity ChatState)
-> (List Name AttachmentData -> List Name AttachmentData) -> MH ()
forall s (m :: * -> *) a b.
MonadState s m =>
ASetter s s a b -> (a -> b) -> m ()
%= Vector AttachmentData
-> Maybe Int
-> List Name AttachmentData
-> List Name AttachmentData
forall (t :: * -> *) e n.
(Foldable t, Splittable t) =>
t e -> Maybe Int -> GenericList n t e -> GenericList n t e
L.listReplace (Vector AttachmentData -> AttachmentData -> Vector AttachmentData
forall a. Vector a -> a -> Vector a
Vector.snoc Vector AttachmentData
es AttachmentData
a) Maybe Int
newIdx
                        Left SomeException
e -> MHError -> MH ()
mhError (MHError -> MH ()) -> MHError -> MH ()
forall a b. (a -> b) -> a -> b
$ SomeException -> MHError
AttachmentException SomeException
e

    Bool -> MH () -> MH ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not (Bool -> Bool) -> Bool -> Bool
forall a b. (a -> b) -> a -> b
$ [FileInfo] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [FileInfo]
entries) (MH () -> MH ()) -> MH () -> MH ()
forall a b. (a -> b) -> a -> b
$ Mode -> MH ()
setMode Mode
Main

tryReadAttachment :: FB.FileInfo -> MH (Either E.SomeException AttachmentData)
tryReadAttachment :: FileInfo -> MH (Either SomeException AttachmentData)
tryReadAttachment FileInfo
fi = do
    let path :: FilePath
path = FileInfo -> FilePath
FB.fileInfoFilePath FileInfo
fi
    Either SomeException ByteString
readResult <- IO (Either SomeException ByteString)
-> MH (Either SomeException ByteString)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Either SomeException ByteString)
 -> MH (Either SomeException ByteString))
-> IO (Either SomeException ByteString)
-> MH (Either SomeException ByteString)
forall a b. (a -> b) -> a -> b
$ IO ByteString -> IO (Either SomeException ByteString)
forall e a. Exception e => IO a -> IO (Either e a)
E.try (IO ByteString -> IO (Either SomeException ByteString))
-> IO ByteString -> IO (Either SomeException ByteString)
forall a b. (a -> b) -> a -> b
$ FilePath -> IO ByteString
BS.readFile FilePath
path
    case Either SomeException ByteString
readResult of
        Right ByteString
bytes -> do
            Either SomeException AttachmentData
-> MH (Either SomeException AttachmentData)
forall (m :: * -> *) a. Monad m => a -> m a
return (Either SomeException AttachmentData
 -> MH (Either SomeException AttachmentData))
-> Either SomeException AttachmentData
-> MH (Either SomeException AttachmentData)
forall a b. (a -> b) -> a -> b
$ AttachmentData -> Either SomeException AttachmentData
forall a b. b -> Either a b
Right (AttachmentData -> Either SomeException AttachmentData)
-> AttachmentData -> Either SomeException AttachmentData
forall a b. (a -> b) -> a -> b
$
                AttachmentData :: FileInfo -> ByteString -> AttachmentData
AttachmentData { attachmentDataFileInfo :: FileInfo
attachmentDataFileInfo = FileInfo
fi
                               , attachmentDataBytes :: ByteString
attachmentDataBytes = ByteString
bytes
                               }
        Left SomeException
e -> Either SomeException AttachmentData
-> MH (Either SomeException AttachmentData)
forall (m :: * -> *) a. Monad m => a -> m a
return (Either SomeException AttachmentData
 -> MH (Either SomeException AttachmentData))
-> Either SomeException AttachmentData
-> MH (Either SomeException AttachmentData)
forall a b. (a -> b) -> a -> b
$ SomeException -> Either SomeException AttachmentData
forall a b. a -> Either a b
Left SomeException
e