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

Defined in Util.UniqueFile

Methods

readsPrec :: Int -> ReadS UniqueFileCounter

readList :: ReadS [UniqueFileCounter]

readPrec :: ReadPrec UniqueFileCounter

readListPrec :: ReadPrec [UniqueFileCounter]

Show UniqueFileCounter

Defined in Util.UniqueFile

Methods

showsPrec :: Int -> UniqueFileCounter -> ShowS

show :: UniqueFileCounter -> String

showList :: [UniqueFileCounter] -> ShowS

initialUniqueFileCounter :: UniqueFileCounter

stepUniqueFileCounter :: UniqueFileCounter -> (String, UniqueFileCounter)

data UniqueFileStore

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

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

getFilePath :: UniqueFileStore -> String -> FilePath