Agda.Utils.FileName

Operations on file names.

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

Eq AbsolutePath

Data AbsolutePath

Ord AbsolutePath

Show AbsolutePath

Typeable AbsolutePath

Arbitrary AbsolutePath

EmbPrj AbsolutePath

filePath :: AbsolutePath -> FilePath

mkAbsolute :: FilePath -> AbsolutePath

Constructs AbsolutePaths.

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).

tests :: IO Bool