Path.Extra

Extra Path utilities.

Documentation

toFilePathNoTrailingSep :: Path loc Dir -> FilePath

Convert to FilePath but don't add a trailing slash.

dropRoot :: Path Abs t -> Path Rel t

Drop the root (either / on POSIX or C:\, D:\, etc. on Windows).

parseCollapsedAbsDir :: MonadThrow m => FilePath -> m (Path Abs Dir)

Collapse intermediate "." and ".." directories from path, then parse it with parseAbsDir. (probably should be moved to the Path module)

parseCollapsedAbsFile :: MonadThrow m => FilePath -> m (Path Abs File)

Collapse intermediate "." and ".." directories from path, then parse it with parseAbsFile. (probably should be moved to the Path module)

concatAndColapseAbsDir :: MonadThrow m => Path Abs Dir -> FilePath -> m (Path Abs Dir)

Add a relative FilePath to the end of a Path We can't parse the FilePath first because we need to account for ".." in the FilePath (#2895)

rejectMissingFile :: MonadIO m => Maybe (Path Abs File) -> m (Maybe (Path Abs File))

If given file in Maybe does not exist, ensure we have Nothing. This is to be used in conjunction with forgivingAbsence and resolveFile.

Previously the idiom forgivingAbsence (relsoveFile …) alone was used, which relied on canonicalizePath throwing isDoesNotExistError when path does not exist. As it turns out, this behavior is actually not intentional and unreliable, see https://github.com/haskell/directory/issues/44. This was “fixed” in version 1.2.3.0 of directory package (now it never throws). To make it work with all versions, we need to use the following idiom:

forgivingAbsence (resolveFile …) >>= rejectMissingFile

rejectMissingDir :: MonadIO m => Maybe (Path Abs Dir) -> m (Maybe (Path Abs Dir))

See rejectMissingFile.

pathToByteString :: Path b t -> ByteString

Convert to a ByteString using toFilePath and UTF8.

pathToLazyByteString :: Path b t -> ByteString

Convert to a lazy ByteString using toFilePath and UTF8.

pathToText :: Path b t -> Text

tryGetModificationTime :: MonadIO m => Path Abs File -> m (Either () UTCTime)