Safe Haskell | None |
---|---|
Language | Haskell98 |
A normalizing well-typed path type.
- data Path b t
- data Abs
- data Rel
- data File
- data Dir
- parseAbsDir :: MonadThrow m => FilePath -> m (Path Abs Dir)
- parseRelDir :: MonadThrow m => FilePath -> m (Path Rel Dir)
- parseAbsFile :: MonadThrow m => FilePath -> m (Path Abs File)
- parseRelFile :: MonadThrow m => FilePath -> m (Path Rel File)
- data PathParseException
- mkAbsDir :: FilePath -> Q Exp
- mkRelDir :: FilePath -> Q Exp
- mkAbsFile :: FilePath -> Q Exp
- mkRelFile :: FilePath -> Q Exp
- (</>) :: Path b Dir -> Path Rel t -> Path b t
- stripDir :: MonadThrow m => Path b Dir -> Path b t -> m (Path Rel t)
- isParentOf :: Path b Dir -> Path b t -> Bool
- parent :: Path Abs t -> Path Abs Dir
- filename :: Path b File -> Path Rel File
- dirname :: Path b Dir -> Path Rel Dir
- toFilePath :: Path b t -> FilePath
Types
Path of some base and type.
Internally is a string. The string can be of two formats only:
- File format:
file.txt
,foo/bar.txt
,/foo/bar.txt
- Directory format:
foo/
,/foo/bar/
All directories end in a trailing separator. There are no duplicate
path separators //
, no ..
, no ./
, no ~/
, etc.
Parsing
parseAbsDir :: MonadThrow m => FilePath -> m (Path Abs Dir) Source
Get a location for an absolute directory. Produces a normalized path which always ends in a path separator.
Throws: PathParseException
parseRelDir :: MonadThrow m => FilePath -> m (Path Rel Dir) Source
Get a location for a relative directory. Produces a normalized path which always ends in a path separator.
Throws: PathParseException
parseAbsFile :: MonadThrow m => FilePath -> m (Path Abs File) Source
Get a location for an absolute file.
Throws: PathParseException
parseRelFile :: MonadThrow m => FilePath -> m (Path Rel File) Source
Get a location for a relative file.
Throws: PathParseException
data PathParseException Source
Exception when parsing a location.
Constructors
mkAbsDir :: FilePath -> Q Exp Source
Make a 'Path Abs Dir'.
Remember: due to the nature of absolute paths this (e.g. /home/foo
)
may compile on your platform, but it may not compile on another
platform (Windows).
mkAbsFile :: FilePath -> Q Exp Source
Make a 'Path Abs File'.
Remember: due to the nature of absolute paths this (e.g. /home/foo
)
may compile on your platform, but it may not compile on another
platform (Windows).
Operations
(</>) :: Path b Dir -> Path Rel t -> Path b t Source
Append two paths.
The following cases are valid and the equalities hold:
$(mkAbsDir x) </> $(mkRelDir y) = $(mkAbsDir (x ++ "/" ++ y))
$(mkAbsDir x) </> $(mkRelFile y) = $(mkAbsFile (x ++ "/" ++ y))
$(mkRelDir x) </> $(mkRelDir y) = $(mkRelDir (x ++ "/" ++ y))
$(mkRelDir x) </> $(mkRelFile y) = $(mkRelFile (x ++ "/" ++ y))
The following are proven not possible to express:
$(mkAbsFile …) </> x
$(mkRelFile …) </> x
x </> $(mkAbsFile …)
x </> $(mkAbsDir …)
stripDir :: MonadThrow m => Path b Dir -> Path b t -> m (Path Rel t) Source
Strip directory from path, making it relative to that directory.
Returns Nothing
if directory is not a parent of the path.
The following properties hold:
stripDir x (x </> y) = y
Cases which are proven not possible:
stripDir (a :: Path Abs …) (b :: Path Rel …)
stripDir (a :: Path Rel …) (b :: Path Abs …)
In other words the bases must match.
Throws: Couldn'tStripPrefixDir
isParentOf :: Path b Dir -> Path b t -> Bool Source
Is p a parent of the given location? Implemented in terms of
stripDir
. The bases must match.
parent :: Path Abs t -> Path Abs Dir Source
Take the absolute parent directory from the absolute path.
The following properties hold:
parent (x </> y) == x
On the root, getting the parent is idempotent:
parent (parent "/") = "/"
filename :: Path b File -> Path Rel File Source
Extract the file part of a path.
The following properties hold:
filename (p </> a) == filename a
dirname :: Path b Dir -> Path Rel Dir Source
Extract the last directory name of a path.
The following properties hold:
dirname (p </> a) == dirname a
Conversion
toFilePath :: Path b t -> FilePath Source
Convert to a FilePath
type.
All directories have a trailing slash, so if you want no trailing
slash, you can use dropTrailingPathSeparator
from
the filepath package.