Agda.Utils.FileName

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.

Extract the AbsolutePath to be used as FilePath.

Constructs AbsolutePaths.

Precondition: The path must be absolute and valid.

Makes the path absolute.

This function may raise an __IMPOSSIBLE__ error if canonicalizePath does not return an absolute path.

Resolve symlinks etc. Preserves sameFile.

Tries to establish if the two file paths point to the same file (or directory). False negatives may be returned.

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

True if the first file is newer than the second file. If a file doesn't exist it is considered to be infinitely old.

A partial version of makeRelative with flipped arguments, returning Nothing if the given path cannot be relativized to the given root.

Makes a path relative to a root without assuming that either path is canonical.

Generalizes stripExtension.