ディレクトリ内のすべてのファイルをパイプで再帰的にリスト表示

Question

Pipes tutorialの読み込みが終了しました。ディレクトリ内のすべてのファイルを再帰的に一覧表示する関数を作成したかったのです。私は、次のコードで試してみました：

enumFiles :: FilePath -> Producer' FilePath (PS.SafeT IO)() 
enumFiles path = 
    PS.bracket (openDirStream path) (closeDirStream) loop 
    where 
    loop :: DirStream -> Producer' FilePath (PS.SafeT IO)() 
    loop ds = PS.liftBase (readDirStream ds) >>= checkName 
     where 
     checkName :: FilePath -> Producer' FilePath (PS.SafeT IO)() 
     checkName "" = return() 
     checkName "." = loop ds 
     checkName ".." = loop ds 
     checkName name = PS.liftBase (getSymbolicLinkStatus newPath) 
         >>= checkStat newPath 
      where newPath = path </> name 

     checkStat path stat 
      | isRegularFile stat = yield path >> loop ds 
      | isDirectory stat = enumFiles path 
      | otherwise = loop ds 

しかし、このプロデューサーはすぐ return()に到達すると終了します。私は正しい方法でそれを作っていないと思うが、これを行う正しい方法は何か分からない。

Answer 1

単純にこの行を変更：

| isDirectory stat = enumFiles path 

| isDirectory stat = enumFiles path >> loop ds 

のコードは、この再帰的な場合には再帰がありませんでした。

また、小さな生産者とのパイプの組成物にまでこのプロデューサーを破ることができます。私はそれがControl.Monadまたはその代わりに、手動再帰のPipe.Preludeからコンビネータの1からforeverを使用すると便利です見つける

{-# LANGUAGE RankNTypes #-} 

module Main where 

import qualified Pipes.Prelude as P 
import qualified Pipes.Safe as PS 

import   Control.Monad 
import   Pipes 
import   System.FilePath.Posix 
import   System.Posix.Directory 
import   System.Posix.Files 

readDirStream' :: FilePath -> Producer' FilePath (PS.SafeT IO)() 
readDirStream' dirpath = 
    PS.bracket (openDirStream dirpath) closeDirStream (forever . loop) 
    where 
    loop stream = 
     liftIO (readDirStream stream) >>= yield 

enumFiles :: FilePath -> Producer' FilePath (PS.SafeT IO)() 
enumFiles path = 
    readDirStream' path 
    >-> P.takeWhile (/= "") 
    >-> P.filter (not . flip elem [".", ".."]) 
    >-> P.map (path </>) 
    >-> forever (do 
        entry <- await 
        status <- liftIO $ getSymbolicLinkStatus entry 
        when (isDirectory status) (enumFiles entry) 
        when (isRegularFile status) (yield entry)) 

main :: IO() 
main = 
    PS.runSafeT $ runEffect (enumFiles "/tmp" >-> P.stdoutLn) 

。これは、このような小さなタイプミスを減らすのに役立ちます。しかし、子供たちが言うように、あなたの走行距離は非常によく変わるかもしれません。