Safe Haskell | None |
---|
Agda.Utils.FileName
Description
Operations on file names.
- data AbsolutePath
- filePath :: AbsolutePath -> FilePath
- mkAbsolute :: FilePath -> AbsolutePath
- absolute :: FilePath -> IO AbsolutePath
- (===) :: AbsolutePath -> AbsolutePath -> Bool
- doesFileExistCaseSensitive :: FilePath -> IO Bool
- tests :: IO Bool
Documentation
data AbsolutePath
Paths which are known to be absolute.
Note that the Eq
and Ord
instances do not check if different
paths point to the same files or directories.
Instances
filePath :: AbsolutePath -> FilePath
mkAbsolute :: FilePath -> AbsolutePath
Constructs AbsolutePath
s.
Precondition: The path must be absolute and valid.
absolute :: FilePath -> IO AbsolutePath
Makes the path absolute.
This function may raise an __IMPOSSIBLE__
error if
canonicalizePath
does not return an absolute path.
(===) :: AbsolutePath -> AbsolutePath -> Bool
Tries to establish if the two file paths point to the same file (or directory).
doesFileExistCaseSensitive :: FilePath -> IO Bool
Case-sensitive doesFileExist for Windows. This is case-sensitive only on the file name part, not on the directory part. (Ideally, path components coming from module name components should be checked case-sensitively and the other path components should be checked case insenstively.)