| Agda-2.2.6: A dependently typed functional programming language and proof assistant | Source code | Contents | Index

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

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

Eq AbsolutePath
Data AbsolutePath
Ord AbsolutePath
Show AbsolutePath
Typeable AbsolutePath
Arbitrary AbsolutePath
EmbPrj AbsolutePath

filePath :: AbsolutePath -> FilePath | Source

mkAbsolute :: FilePath -> AbsolutePath | Source

Constructs `AbsolutePath`s. Precondition: The path must be absolute.

absolute :: FilePath -> IO AbsolutePath | Source

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

(===) :: FilePath -> FilePath -> IO Bool | Source

Tries to establish if the two file paths point to the same file (or directory).
tests
Produced by Haddock version 2.4.2