將sinkFile與Haskell Conduit重用

Question

我想將一個照片列表發送到接收器以將其保存在磁盤上。 每個Photo結構都包含lazy ByteString類型的content字段。

基本上我想做那樣的事情：

CL.sourceList photos $$ sinkPhotos

我想在我的接收器中重用CB.sinkFile ，因為如果我理解正確，它會進行錯誤管理。 這是我到目前為止的嘗試：

mkFilePath :: Photo -> FilePath
mkFilePath photo = last $ splitOn "/" (url photo)

sinkPhotos :: Sink Photo IO ()
sinkPhotos = do
    mphoto <- await
    case mphoto of
        Nothing -> return ()
        Just photo -> do
          yield ct =$ CB.sinkFile fp
          sinkPhotos
          where fp = mkFilePath photo
                ct = BL.toStrict $ content photo

它失敗了：

src/Screepy/Main.hs:30:23:
    No instance for (MonadResource IO)
      arising from a use of `CB.sinkFile'
    Possible fix: add an instance declaration for (MonadResource IO)
    In the second argument of `(=$)', namely `CB.sinkFile fp'
    In a stmt of a 'do' block: yield ct =$ CB.sinkFile fp
    In the expression:
      do { yield ct =$ CB.sinkFile fp;
           sinkPhotos }

• 如何將sinkFile包裝在結構上而不是直接用於ByteString ？
• 如何從ByteString創建Source ？

Answer 1

我不確定我是否在回答你提出的所有問題。 我只會解決類型問題：錯誤只是由於您提供的簽名而引起的。 這不行嗎？

sinkPhotos :: MonadResource m => Sink Photo m ()
sinkPhotos = do
    mphoto <- await
    case mphoto of
        Nothing -> return ()
        Just photo -> do
          yield ct =$ CB.sinkFile fp
          sinkPhotos
          where fp = mkFilePath photo
                ct = BL.toStrict $ content photo

現在只是找到使用runResourceT的正確位置的問題，不是嗎？ 查詢ghci我們看到：

    >>> let photos = [] :: [Photo]

    >>> :t  CL.sourceList photos $$ sinkPhotos
    CL.sourceList photos $$ sinkPhotos :: MonadResource m => m ()

    >>> :t  runResourceT $ CL.sourceList photos $$ sinkPhotos
    runResourceT $ CL.sourceList photos $$ sinkPhotos
      :: (MonadThrow m, MonadBaseControl IO m, Control.Monad.IO.Class.MonadIO m) =>  m ()

    >>> :t  runResourceT $ CL.sourceList photos $$ sinkPhotos :: IO ()
    runResourceT $ CL.sourceList photos $$ sinkPhotos :: IO () 

所以給出一個照片列表，你可以寫

 main = runResourceT $ CL.sourceList photos $$ sinkPhotos 

編輯：順便說一句，如果你使用類型，ghci中的類型查詢會給出更清晰的結果

 sinkPhotos :: Sink Photo (ResourceT IO) ()

雖然你可能有理由允許其他可能性。