Список TAR-архивов в Haskell

Question

В настоящее время я пытаюсь выяснить, как перечислить архив TAR (gzipped) в Haskell. Codec.Archive.Tar кажется правильным выбором для задачи, но я не могу понять, как mapentryPath над Entries моноидом.

Предположим, что TAR содержит записи (только файлы) a.txt, b.txt, c.txt и имеет имя foo.tar.gz. Вот мой код, чтобы прочитать файл:

import qualified Codec.Archive.Tar as Tar 
import qualified Data.ByteString.Lazy as BS 
import qualified Codec.Compression.GZip as GZip 

foldEntryToPath :: Tar.Entry -> [String] -> [String] 
foldEntryToPath entry list = list ++ [show $ Tar.entryPath entry] 

-- Converts TAR errors to a string. 
entryFailMapper :: String -> [String] 
entryFailMapper err = [err] 

main = do 
     fileContent <- fmap GZip.decompress $ BS.readFile "foo.tar.gz" 
     entries <- fmap Tar.read fileContent :: Tar.Entries 
     -- Here I don't know how to correctly apply fmap 
     entryPaths <- Tar.foldEntries foldEntryToPath [] entryFailMapper entries :: [String] 
     -- This should print ["a.txt", "b.txt", "c.txt"] 
     print entryPaths 

Вот ошибка печатается runghc:

readtar.hs:14:49: 
Expecting one more argument to `Tar.Entries' 
In an expression type signature: Tar.Entries 
In a stmt of a 'do' block: 
    entries <- fmap Tar.read fileContent :: Tar.Entries 
In the expression: 
    do { fileContent <- fmap GZip.decompress 
         $ BS.readFile "foo.tar.gz"; 
     entries <- fmap Tar.read fileContent :: Tar.Entries; 
     entryPaths <- Tar.foldEntries 
         foldEntryToPath [] (\ x -> [...]) entries :: 
         [String]; 
     print entryPaths } 

До сих пор у меня мало знаний о Haskell, но, прочитав the docs я не знаю, почему Tar.Entries является typeclass (это правильный термин, когда он говорит expecting n more arguments to <type>?) или какой правильный тип использовать.

Любая помощь будет оценена!

Answer 1

С немного возился вокруг, у меня теперь есть полный рабочий пример.

Одной из основных проблем было foldr -подобное поведение Tar.foldEntries. В действительности у меня есть файл TAR размером ~ 25 ГБ, содержащий несколько миллионов записей. См. the HaskellWiki для получения информации о том, почему это плохая идея. (Примечание:. Будучи эффективным не был вопросом, но я думаю, что foldEntries -бесплатно решение лучше для этого конкретного USECASE

Поэтому я написал свою собственную рекурсивную функцию Tar.Entries -> [String] отображения Даже если ошибки в настоящее время не особенно хорошо обработаны. , она должна обеспечивать хорошую отправную точку.

import qualified Codec.Archive.Tar as Tar 
import qualified Data.ByteString.Lazy as BS 
import qualified Codec.Compression.GZip as GZip 

entriesToPaths :: Tar.Entries Tar.FormatError -> [String] 
entriesToPaths (Tar.Next entry entries) = [Tar.entryPath entry] ++ entriesToPaths entries 
entriesToPaths Tar.Done = [] :: [String] 
entriesToPaths (Tar.Fail e) = ["Error"] 

main = do 
     fileContent <- fmap GZip.decompress $ BS.readFile "foo.tar.gz" 
     let entries = Tar.read fileContent 
     let entryPaths = entriesToPaths entries 
     -- This should print ["a.txt", "b.txt", "c.txt"] 
     print entryPaths 

Answer 2

Я думаю foldEntryToPath должно быть исправлено:

foldEntryToPath :: Tar.Entry -> [String] -> [String] 
foldEntryToPath entry list = (show $ Tar.entryPath entry) : list 

И в main:

fileContent <- fmap GZip.decompress $ BS.readFile "foo.tar.gz" 
let entries = Tar.read fileContent 
let entryPaths = Tar.foldEntries foldEntryToPath [] entryFailMapper entries 
print entryPaths