Cách haskell để sao chép một thư mục

Question

Tôi thấy mình đang làm nhiều hơn và nhiều kịch bản hơn trong haskell. Nhưng có một số trường hợp mà tôi thực sự không chắc chắn làm thế nào để làm điều đó "đúng".
ví dụ: sao chép một thư mục đệ quy (a la unix cp -r).

Kể từ khi tôi chủ yếu sử dụng Linux và Mac Os Tôi thường gian lận:

import System.Cmd 
import System.Exit 

copyDir :: FilePath -> FilePath -> IO ExitCode 
copyDir src dest = system $ "cp -r " ++ srC++ " " ++ dest 

Nhưng cách khuyến khích để sao chép một thư mục một cách độc lập nền tảng là gì?
Tôi không tìm thấy bất kỳ điều gì phù hợp về tấn công.

Đây là thực hiện thay naiv của tôi, tôi sử dụng cho đến nay:

import System.Directory 
import System.FilePath((</>)) 
import Control.Applicative((<$>)) 
import Control.Exception(throw) 
import Control.Monad(when,forM_) 

copyDir :: FilePath -> FilePath -> IO() 
copyDir src dst = do 
    whenM (not <$> doesDirectoryExist src) $ 
    throw (userError "source does not exist") 
    whenM (doesFileOrDirectoryExist dst) $ 
    throw (userError "destination already exists") 

    createDirectory dst 
    content <- getDirectoryContents src 
    let xs = filter (`notElem` [".", ".."]) content 
    forM_ xs $ \name -> do 
    let srcPath = src </> name 
    let dstPath = dst </> name 
    isDirectory <- doesDirectoryExist srcPath 
    if isDirectory 
     then copyDir srcPath dstPath 
     else copyFile srcPath dstPath 

    where 
    doesFileOrDirectoryExist x = orM [doesDirectoryExist x, doesFileExist x] 
    orM xs = or <$> sequence xs 
    whenM s r = s >>= flip when r 

Mọi góp ý về những gì thực sự là cách để làm điều đó?

---

Tôi đã cập nhật điều này với các đề xuất của hammar và FUZxxl.
... nhưng tôi vẫn cảm thấy vụng về với tôi vì một nhiệm vụ phổ biến như vậy!

Answer 1

Tôi không thể tìm thấy bất kỳ thứ gì thực hiện điều này trên Hackage.

Mã của bạn trông khá tuyệt với tôi. Một số ý kiến:

1. dstExists <- doesDirectoryExist dst 
   

   này không đưa vào tài khoản mà một tập tin với tên đích có thể tồn tại.

2. if or [not srcExists, dstExists] then print "cannot copy" 
   

   Bạn có thể muốn ném một ngoại lệ hoặc trả lại trạng thái thay vì in trực tiếp từ chức năng này.

3. paths <- forM xs $ \name -> do 
       [...] 
       return() 
   

   Kể từ khi bạn không sử dụng paths cho bất cứ điều gì, bạn có thể thay đổi điều này để

   forM_ xs $ \name -> do 
       [...] 
   

Answer 2

Gói cung cấp traversals thư mục đệ quy, bạn có thể sử dụng để đơn giản hóa mã của bạn.

Answer 3

Có thể sử dụng thư viện Shelly để làm được điều này, xem cp_r:

cp_r "sourcedir" "targetdir" 

Shelly đầu tiên cố gắng sử dụng có nguồn gốc cp -r nếu có.Nếu không, nó sẽ trở lại bản thực thi Haskell IO.

Để biết thêm chi tiết về loại ngữ nghĩa của cp_r, xem this post do tôi viết để mô tả làm thế nào để sử dụng cp_r với String và hay Text.

Answer 4

Gói filesystem-trees cung cấp phương tiện cho việc thực hiện rất đơn giản:

import System.File.Tree (getDirectory, copyTo_) 

copyDirectory :: FilePath -> FilePath -> IO() 
copyDirectory source target = getDirectory source >>= copyTo_ target