Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.FileName
Description
Operations on file names.
Synopsis
data AbsolutePath
filePath :: AbsolutePath -> FilePath
mkAbsolute :: FilePath -> AbsolutePath
absolute :: FilePath -> IO AbsolutePath
(===) :: FilePath -> FilePath -> IO Bool
tests :: IO Bool
Documentation
data AbsolutePath Source

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.

filePath :: AbsolutePath -> FilePathSource
mkAbsolute :: FilePath -> AbsolutePathSource

Constructs AbsolutePaths.

Precondition: The path must be absolute.

absolute :: FilePath -> IO AbsolutePathSource

Makes the path absolute.

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

(===) :: FilePath -> FilePath -> IO BoolSource
Tries to establish if the two file paths point to the same file (or directory).
tests :: IO BoolSource
Produced by Haddock version 2.6.0