Path
Uniquely describes the location of a test within a test hierarchy. Node order is from test case to root.
Unlabeled path
Is the second vertex reachable from the first?
The library provides FFI bindings to the Pathfinder relational optimiser and code generator. Specifically, the library allows for
* optimisation of table algebra (a variant of relational algebra) expressions
* and compilation of table algebra expressions into SQL:1999 queries
Note that the C source bundle of Pathfinder is also included in this package. The C sources are automatically built along with the Haskell FFI bindings. There is no need to download and install Pathfinder separately.
More information about Pathfinder is available from the following web page:
* http://db.inf.uni-tuebingen.de/research/pathfinder
Version 0.5.10
The extra path information, as given by the client. This is any part of the request path that follows the CGI program path. If the string returned by this function is not empty, it is guaranteed to start with a '/'.
Note that this function returns an unencoded string. Make sure to percent-encode any characters that are not allowed in URI paths before using the result of this function to construct a URI. See progURI, queryURI and requestURI for a higher-level interface.
The character that separates directories. In the case one character is possible, pathSeparator is the 'ideal' one.
> Windows: pathSeparator == '\\'
> Posix: pathSeparator == '/'
> isPathSeparator pathSeparator
The list of all possible separators.
> Windows: pathSeparators == ['\\', '/']
> Posix: pathSeparators == ['/']
> pathSeparator `elem` pathSeparators
The path returned by pathInfo, but with virtual-to-physical mapping applied to it.
This package provides type-safe access to filepath manipulations.
System.Path is designed to be used instead of System.FilePath. (It is intended to provide versions of functions from that module which have equivalent functionality but are more typesafe). System.Path.Directory is a companion module providing a type-safe alternative to System.Directory.
The heart of this module is the Path ar fd abstract type which represents file and directory paths. The idea is that there are two phantom type parameters - the first should be Abs or Rel, and the second File or Dir. A number of type synonyms are provided for common types:
> type AbsFile = Path Abs File
> type RelFile = Path Rel File
> type AbsDir = Path Abs Dir
> type RelDir = Path Rel Dir
> type AbsPath fd = Path Abs fd
> type RelPath fd = Path Rel fd
> type FilePath ar = Path ar File
> type DirPath ar = Path ar Dir
The type of the combine (aka </>) function gives the idea:
> (</>) :: DirPath ar -> RelPath fd -> Path ar fd
Together this enables us to give more meaningful types to a lot of the functions, and (hopefully) catch a bunch more errors at compile time.
Overloaded string literals are supported, so with the OverloadedStrings extension enabled, you can:
> f :: FilePath ar
> f = "tmp" </> "someFile" <.> "ext"
If you don't want to use OverloadedStrings, you can use the construction fns:
> f :: FilePath ar
> f = asDirPath "tmp" </> asFilePath "someFile"
> <.> "ext"
or...
> f :: FilePath ar
> f = asPath "tmp" </> asPath "someFile"
> <.> "ext"
or just...
> f :: FilePath ar
> f = asPath "tmp/someFile.ext"
One point to note is that whether one of these is interpreted as an absolute or a relative path depends on the type at which it is used:
> *System.Path> f :: AbsFile
> /tmp/someFile.ext
> *System.Path> f :: RelFile
> tmp/someFile.ext
You will typically want to import as follows:
> import Prelude hiding (FilePath)
> import System.Path
> import System.Path.Directory
> import System.Path.IO
The basic API (and properties satisfied) are heavily influenced by Neil Mitchell's System.FilePath module.
Version 0.5.2
File and directory names are values of type String, whose precise meaning is operating system dependent. Files can be opened, yielding a handle which can then be used to operate on the contents of that file.
as throwErrno, but exceptions include the given path when appropriate.
as throwErrnoIf, but exceptions include the given path when appropriate.
as throwErrnoIf_, but exceptions include the given path when appropriate.
Show more results