Util.UniqueFile

UniqueFile is used for allocating names for temporary files in a directory. To avoid large numbers of files in the same directory, we create sub- directories where necessary.

Documentation

data UniqueFileCounter

Instances

Read UniqueFileCounter

Show UniqueFileCounter

initialUniqueFileCounter :: UniqueFileCounter

stepUniqueFileCounter :: UniqueFileCounter -> (String, UniqueFileCounter)

data UniqueFileStore

newUniqueFileStore :: FilePath -> (FilePath -> IO ()) -> IO UniqueFileStore

ensureDirectories :: UniqueFileStore -> String -> IO ()

getFilePath :: UniqueFileStore -> String -> FilePath