如何將 IO 操作插入 Pipe

Question

我有一個 Haskell function ，它給出了一個目錄，從中遞歸地獲取所有文件並將文件名寫入文件。 這是一個簡單的例子。 在下一步中，我必須通過使用文件內容的操作替換從文件到文本的映射（ transf操作）； 這顯然是 IO monad 中的一個操作。

我對Pipe的了解非常有限； 我嘗試了一個簡單的操作opex ，我試圖將其lift為 pipe。 我想刪除當前的傳輸

這看起來像一個簡單的問題，但盡管搜索了 web，但我找不到解決方案。 謝謝你的幫助！

pipedDoIO2 :: Path Abs File -> Path Abs Dir -> (Path Abs File -> IO Text) -> ErrIO ()
pipedDoIO2 file path transf =  do
    hand <-   openFile2handle file WriteMode
    Pipe.runEffect $
                getRecursiveContents path
                >-> PipePrelude.map ( transf)  -- some IO type left?
                -- >-> lift opex 
                >-> PipePrelude.toHandle hand    
    closeFile2 hand
    return ()

opex :: (Path Abs File -> IO Text)
opex = return . showT 

Answer 1

更多閱讀使我得到簡單的答案：使用mapM中的 mapM。 我希望這個解決方案可以幫助其他人找到這個在 web 上不容易檢測到的“明顯”解決方案； 我在文件擴展名上添加了一個filter作為如何使用filter的示例。

警告： toHandle “使用 hPutStrLn 將字符串寫入句柄”，即它在每次插入后插入一個\n 。

-- a convenient function to go through a directory and 
-- recursively apply a function to each file or directory
-- filters for extension md
pipedDoIO2 :: Path Abs File -> Path Abs Dir -> (Path Abs File -> ErrIO String) -> ErrIO ()
pipedDoIO2 file path opex =  do
    hand <-   openFile2handle file WriteMode
    Pipe.runEffect $
                getRecursiveContents path
                >-> PipePrelude.filter (hasExtension (Extension "md"))
                >-> PipePrelude.mapM opex 
                >-> PipePrelude.toHandle hand    
    closeFile2 hand
    return ()