Util.FileNames

FileNames contain facilities for manipulating filenames in a hopefully OS-independent manner.

Documentation

fileSep :: Char

topDir :: String

thisDir :: String

trimDir :: String -> String

splitName :: String -> (String, String)

combineNames :: String -> String -> String

breakName :: String -> [String]

unbreakName :: [String] -> String

splitExtension :: String -> Maybe (String, String)

unsplitExtension :: String -> String -> String

recordSep :: String