From d184c1896ea4ff2d75709afcbc555758980dcbba Mon Sep 17 00:00:00 2001 From: travis-ci Date: Sun, 5 Jun 2016 20:26:09 +0000 Subject: [PATCH] Lastest docs updated travis build: 80 commit: ac381cbf602971c28460bc787dd9112280e45b5f auto-pushed to gh-pages --- HPath-IO-Errors.html | 30 +- HPath-IO.html | 47 +- HPath.html | 26 +- System-Posix-Directory-Foreign.html | 8 +- System-Posix-Directory-Traversals.html | 10 +- System-Posix-FD.html | 8 +- System-Posix-FilePath.html | 72 +- doc-index-60.html | 4 +- doc-index-A.html | 4 +- doc-index-All.html | 4 +- doc-index-B.html | 4 +- doc-index-C.html | 4 +- doc-index-D.html | 4 +- doc-index-E.html | 4 +- doc-index-F.html | 4 +- doc-index-G.html | 4 +- doc-index-H.html | 4 +- doc-index-I.html | 4 +- doc-index-J.html | 4 +- doc-index-M.html | 4 +- doc-index-N.html | 4 +- doc-index-O.html | 4 +- doc-index-P.html | 4 +- doc-index-R.html | 4 +- doc-index-S.html | 4 +- doc-index-T.html | 4 +- doc-index-U.html | 4 +- doc-index-W.html | 4 +- doc-index.html | 4 +- frames.html | 2 +- haddock-util.js | 24 +- hpath.haddock | Bin 115121 -> 114883 bytes index-frames.html | 2 +- index.html | 4 +- mini_HPath-IO-Errors.html | 2 +- mini_HPath-IO.html | 2 +- mini_HPath.html | 2 +- mini_System-Posix-Directory-Foreign.html | 2 +- mini_System-Posix-Directory-Traversals.html | 2 +- mini_System-Posix-FD.html | 2 +- mini_System-Posix-FilePath.html | 2 +- ocean.css | 73 +- src/HPath-IO.html | 1217 ++++++++++--------- 43 files changed, 797 insertions(+), 828 deletions(-) diff --git a/HPath-IO-Errors.html b/HPath-IO-Errors.html index d0f48d7..b0390a9 100644 --- a/HPath-IO-Errors.html +++ b/HPath-IO-Errors.html @@ -1,22 +1,22 @@ -HPath.IO.Errors

hpath-0.8.0: Support for well-typed paths

Copyright© 2016 Julian Ospald
LicenseBSD3
MaintainerJulian Ospald <hasufell@posteo.de>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

HPath.IO.Errors

Description

Provides error handling.

Synopsis

Types

data HPathIOException Source #

Constructors

FileDoesNotExist ByteString 
DirDoesNotExist ByteString 
SameFile ByteString ByteString 
DestinationInSource ByteString ByteString 
FileDoesExist ByteString 
DirDoesExist ByteString 
InvalidOperation String 
Can'tOpenDirectory ByteString 
CopyFailed String 
RecursiveFailure [IOException] 

Instances

Exception identifiers

isFileDoesNotExist :: HPathIOException -> Bool Source #

isDirDoesNotExist :: HPathIOException -> Bool Source #

isSameFile :: HPathIOException -> Bool Source #

isDestinationInSource :: HPathIOException -> Bool Source #

isFileDoesExist :: HPathIOException -> Bool Source #

isDirDoesExist :: HPathIOException -> Bool Source #

isInvalidOperation :: HPathIOException -> Bool Source #

isCan'tOpenDirectory :: HPathIOException -> Bool Source #

isCopyFailed :: HPathIOException -> Bool Source #

isRecursiveFailure :: HPathIOException -> Bool Source #

Path based functions

throwFileDoesExist :: Path Abs -> IO () Source #

throwDirDoesExist :: Path Abs -> IO () Source #

throwFileDoesNotExist :: Path Abs -> IO () Source #

throwDirDoesNotExist :: Path Abs -> IO () Source #

throwSameFile :: Path Abs -> Path Abs -> IO () Source #

Uses isSameFile and throws SameFile if it returns True.

sameFile :: Path Abs -> Path Abs -> IO Bool Source #

Check if the files are the same by examining device and file id. - This follows symbolic links.

throwDestinationInSource Source #

Arguments

:: Path Abs

source dir

-> Path Abs

full destination, dirname dest - must exist

-> IO () 

Checks whether the destination directory is contained +

hpath-0.8.0: Support for well-typed paths

Copyright© 2016 Julian Ospald
LicenseBSD3
MaintainerJulian Ospald <hasufell@posteo.de>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

HPath.IO.Errors

Description

Provides error handling.

Synopsis

Types

data HPathIOException Source

Constructors

FileDoesNotExist ByteString 
DirDoesNotExist ByteString 
SameFile ByteString ByteString 
DestinationInSource ByteString ByteString 
FileDoesExist ByteString 
DirDoesExist ByteString 
InvalidOperation String 
Can'tOpenDirectory ByteString 
CopyFailed String 
RecursiveFailure [IOException] 

Instances

Exception identifiers

isFileDoesNotExist :: HPathIOException -> Bool Source

isDirDoesNotExist :: HPathIOException -> Bool Source

isSameFile :: HPathIOException -> Bool Source

isDestinationInSource :: HPathIOException -> Bool Source

isFileDoesExist :: HPathIOException -> Bool Source

isDirDoesExist :: HPathIOException -> Bool Source

isInvalidOperation :: HPathIOException -> Bool Source

isCan'tOpenDirectory :: HPathIOException -> Bool Source

isCopyFailed :: HPathIOException -> Bool Source

isRecursiveFailure :: HPathIOException -> Bool Source

Path based functions

throwFileDoesExist :: Path Abs -> IO () Source

throwDirDoesExist :: Path Abs -> IO () Source

throwFileDoesNotExist :: Path Abs -> IO () Source

throwDirDoesNotExist :: Path Abs -> IO () Source

throwSameFile :: Path Abs -> Path Abs -> IO () Source

Uses isSameFile and throws SameFile if it returns True.

sameFile :: Path Abs -> Path Abs -> IO Bool Source

Check if the files are the same by examining device and file id. + This follows symbolic links.

throwDestinationInSource Source

Arguments

:: Path Abs

source dir

-> Path Abs

full destination, dirname dest + must exist

-> IO () 

Checks whether the destination directory is contained within the source directory by comparing the device+file ID of the source directory with all device+file IDs of the parent directories - of the destination.

doesFileExist :: Path Abs -> IO Bool Source #

Checks if the given file exists and is not a directory. - Does not follow symlinks.

doesDirectoryExist :: Path Abs -> IO Bool Source #

Checks if the given file exists and is a directory. - Does not follow symlinks.

isWritable :: Path Abs -> IO Bool Source #

Checks whether a file or folder is writable.

canOpenDirectory :: Path Abs -> IO Bool Source #

Checks whether the directory at the given path exists and can be - opened. This invokes openDirStream which follows symlinks.

throwCantOpenDirectory :: Path Abs -> IO () Source #

Throws a Can'tOpenDirectory HPathIOException if the directory at the given - path cannot be opened.

Error handling functions

catchErrno Source #

Arguments

:: [Errno]

errno to catch

-> IO a

action to try, which can raise an IOException

-> IO a

action to carry out in case of an IOException and - if errno matches

-> IO a 

Carries out an action, then checks if there is an IOException and + of the destination.

doesFileExist :: Path Abs -> IO Bool Source

Checks if the given file exists and is not a directory. + Does not follow symlinks.

doesDirectoryExist :: Path Abs -> IO Bool Source

Checks if the given file exists and is a directory. + Does not follow symlinks.

isWritable :: Path Abs -> IO Bool Source

Checks whether a file or folder is writable.

canOpenDirectory :: Path Abs -> IO Bool Source

Checks whether the directory at the given path exists and can be + opened. This invokes openDirStream which follows symlinks.

throwCantOpenDirectory :: Path Abs -> IO () Source

Throws a Can'tOpenDirectory HPathIOException if the directory at the given + path cannot be opened.

Error handling functions

catchErrno Source

Arguments

:: [Errno]

errno to catch

-> IO a

action to try, which can raise an IOException

-> IO a

action to carry out in case of an IOException and + if errno matches

-> IO a 

Carries out an action, then checks if there is an IOException and a specific errno. If so, then it carries out another action, otherwise - it rethrows the error.

rethrowErrnoAs Source #

Arguments

:: Exception e 
=> [Errno]

errno to catch

-> e

rethrow as if errno matches

-> IO a

action to try

-> IO a 

Execute the given action and retrow IO exceptions as a new Exception + it rethrows the error.

rethrowErrnoAs Source

Arguments

:: Exception e 
=> [Errno]

errno to catch

-> e

rethrow as if errno matches

-> IO a

action to try

-> IO a 

Execute the given action and retrow IO exceptions as a new Exception that have the given errno. If errno does not match the exception is rethrown - as is.

handleIOError :: (IOError -> IO a) -> IO a -> IO a Source #

Like catchIOError, with arguments swapped.

bracketeer Source #

Arguments

:: IO a

computation to run first

-> (a -> IO b)

computation to run last, when - no exception was raised

-> (a -> IO b)

computation to run last, - when an exception was raised

-> (a -> IO c)

computation to run in-between

-> IO c 

Like bracket, but allows to have different clean-up + as is.

handleIOError :: (IOError -> IO a) -> IO a -> IO a Source

Like catchIOError, with arguments swapped.

bracketeer Source

Arguments

:: IO a

computation to run first

-> (a -> IO b)

computation to run last, when + no exception was raised

-> (a -> IO b)

computation to run last, + when an exception was raised

-> (a -> IO c)

computation to run in-between

-> IO c 

Like bracket, but allows to have different clean-up actions depending on whether the in-between computation - has raised an exception or not.

reactOnError Source #

Arguments

:: IO a 
-> [(IOErrorType, IO a)]

reaction on IO errors

-> [(HPathIOException, IO a)]

reaction on HPathIOException

-> IO a 
\ No newline at end of file + has raised an exception or not.

reactOnError Source

Arguments

:: IO a 
-> [(IOErrorType, IO a)]

reaction on IO errors

-> [(HPathIOException, IO a)]

reaction on HPathIOException

-> IO a 
\ No newline at end of file diff --git a/HPath-IO.html b/HPath-IO.html index f24be9d..89e65b1 100644 --- a/HPath-IO.html +++ b/HPath-IO.html @@ -1,4 +1,4 @@ -HPath.IO

hpath-0.8.0: Support for well-typed paths

Copyright© 2016 Julian Ospald
LicenseBSD3
MaintainerJulian Ospald <hasufell@posteo.de>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

HPath.IO

Description

This module provides high-level IO related file operations like @@ -16,18 +16,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath-IO.html");}; exception handling is kept.

Note: BlockDevice, CharacterDevice, NamedPipe and Socket are ignored by some of the more high-level functions (like easyCopy). For other functions (like copyFile), the behavior on these file types is - unreliable/unsafe. Check the documentation of those functions for details.

Types

data FileType Source #

Constructors

Directory 
RegularFile 
SymbolicLink 
BlockDevice 
CharacterDevice 
NamedPipe 
Socket 

Instances

data RecursiveErrorMode Source #

The error mode for any recursive operation.

On FailEarly the whole operation fails immediately if any of the + unreliable/unsafe. Check the documentation of those functions for details.

Types

data FileType Source

Constructors

Directory 
RegularFile 
SymbolicLink 
BlockDevice 
CharacterDevice 
NamedPipe 
Socket 

Instances

data RecursiveErrorMode Source

The error mode for any recursive operation.

On FailEarly the whole operation fails immediately if any of the recursive sub-operations fail, which is sort of the default for IO operations.

On CollectFailures skips errors in the recursion and keeps on recursing. However all errors are collected in the RecursiveFailure error type, which is raised finally if there was any error. Also note that RecursiveFailure does not give any guarantees on the ordering - of the collected exceptions.

Constructors

FailEarly 
CollectFailures 

data CopyMode Source #

The mode for copy and file moves. + of the collected exceptions.

Constructors

FailEarly 
CollectFailures 

data CopyMode Source

The mode for copy and file moves. Overwrite mode is usually not very well defined, but is a convenience - shortcut.

Constructors

Strict

fail if any target exists

Overwrite

overwrite targets

File copying

copyDirRecursive Source #

Arguments

:: Path Abs

copy contents of this source dir

-> Path Abs

to this full destination (parent dirs - are not automatically created)

-> CopyMode 
-> RecursiveErrorMode 
-> IO () 

Copies the contents of a directory recursively to the given destination. - Does not follow symbolic links. This behaves more or less like:

  mkdir /destination/dir
-  cp -R /source/dir/* /destination/dir/
+ shortcut.

Constructors

Strict

fail if any target exists

Overwrite

overwrite targets

File copying

copyDirRecursive Source

Arguments

:: Path Abs

source dir

-> Path Abs

destination (parent dirs + are not automatically created)

-> CopyMode 
-> RecursiveErrorMode 
-> IO () 

Copies the contents of a directory recursively to the given destination, while preserving permissions. + Does not follow symbolic links. This behaves more or less like + the following, without descending into the destination if it + already exists:

  cp -a /source/dir /destination/somedir

For directory contents, this will ignore any file type that is not RegularFile, SymbolicLink or Directory.

For Overwrite copy mode this does not prune destination directory contents, so the destination might contain more files than the source after @@ -38,8 +39,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath-IO.html");}; carried out recursively (because it's slow)

Throws:

Throws in FailEarly RecursiveErrorMode only:

  • PermissionDenied if output directory is not writable
  • InvalidArgument if source directory is wrong type (symlink)
  • InappropriateType if source directory is wrong type (regular file)

Throws in CollectFailures RecursiveErrorMode only:

Throws in Strict CopyMode only:

  • AlreadyExists if destination already exists

recreateSymlink Source #

Arguments

:: Path Abs

the old symlink file

-> Path Abs

destination file

-> CopyMode 
-> IO () 

Recreate a symlink.

In Overwrite copy mode only files and empty directories are deleted.

Safety/reliability concerns:

Throws:

  • InvalidArgument if source file is wrong type (not a symlink)
  • PermissionDenied if output directory cannot be written to
  • PermissionDenied if source directory cannot be opened
  • SameFile if source and destination are the same file - (HPathIOException)

Throws in Strict mode only:

  • AlreadyExists if destination file already exists

Throws in Overwrite mode only:

  • UnsatisfiedConstraints if destination file is non-empty directory

Note: calls symlink

copyFile Source #

Arguments

:: Path Abs

source file

-> Path Abs

destination file

-> CopyMode 
-> IO () 

Copies the given regular file to the given destination. + part of the top-directory sanity-checks fail (HPathIOException)

Throws in Strict CopyMode only:

  • AlreadyExists if destination already exists

recreateSymlink Source

Arguments

:: Path Abs

the old symlink file

-> Path Abs

destination file

-> CopyMode 
-> IO () 

Recreate a symlink.

In Overwrite copy mode only files and empty directories are deleted.

Safety/reliability concerns:

Throws:

  • InvalidArgument if source file is wrong type (not a symlink)
  • PermissionDenied if output directory cannot be written to
  • PermissionDenied if source directory cannot be opened
  • SameFile if source and destination are the same file + (HPathIOException)

Throws in Strict mode only:

  • AlreadyExists if destination file already exists

Throws in Overwrite mode only:

  • UnsatisfiedConstraints if destination file is non-empty directory

Note: calls symlink

copyFile Source

Arguments

:: Path Abs

source file

-> Path Abs

destination file

-> CopyMode 
-> IO () 

Copies the given regular file to the given destination. Neither follows symbolic links, nor accepts them. For "copying" symbolic links, use recreateSymlink instead.

Note that this is still sort of a low-level function and doesn't examine file types. For a more high-level version, use easyCopy @@ -47,32 +48,32 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath-IO.html");}; them to a regular file, which might take indefinitely

  • when used on BlockDevice, may either read the "contents" and copy them to a regular file (potentially hanging indefinitely) or may create a regular empty destination file
  • when used on NamedPipe, will hang indefinitely

    • Throws:

    • NoSuchThing if source file does not exist
    • NoSuchThing if source file is a a Socket
    • PermissionDenied if output directory is not writable
    • PermissionDenied if source directory can't be opened
    • InvalidArgument if source file is wrong type (symlink or directory)
    • SameFile if source and destination are the same file - (HPathIOException)

    Throws in Strict mode only:

    • AlreadyExists if destination already exists

    Note: calls sendfile and possibly read/write as fallback

    easyCopy :: Path Abs -> Path Abs -> CopyMode -> RecursiveErrorMode -> IO () Source #

    Copies a regular file, directory or symbolic link. In case of a + (HPathIOException)

    Throws in Strict mode only:

    • AlreadyExists if destination already exists

    Note: calls sendfile and possibly read/write as fallback

    easyCopy :: Path Abs -> Path Abs -> CopyMode -> RecursiveErrorMode -> IO () Source

    Copies a regular file, directory or symbolic link. In case of a symbolic link it is just recreated, even if it points to a directory. - Any other file type is ignored.

    Safety/reliability concerns:

    File deletion

    deleteFile :: Path Abs -> IO () Source #

    Deletes the given file. Raises eISDIR - if run on a directory. Does not follow symbolic links.

    Throws:

    • InappropriateType for wrong file type (directory)
    • NoSuchThing if the file does not exist
    • PermissionDenied if the directory cannot be read

    deleteDir :: Path Abs -> IO () Source #

    Deletes the given directory, which must be empty, never symlinks.

    Throws:

    • InappropriateType for wrong file type (symlink to directory)
    • InappropriateType for wrong file type (regular file)
    • NoSuchThing if directory does not exist
    • UnsatisfiedConstraints if directory is not empty
    • PermissionDenied if we can't open or write to parent directory

    Notes: calls rmdir

    deleteDirRecursive :: Path Abs -> IO () Source #

    Deletes the given directory recursively. Does not follow symbolic + Any other file type is ignored.

    Safety/reliability concerns:

    File deletion

    deleteFile :: Path Abs -> IO () Source

    Deletes the given file. Raises eISDIR + if run on a directory. Does not follow symbolic links.

    Throws:

    • InappropriateType for wrong file type (directory)
    • NoSuchThing if the file does not exist
    • PermissionDenied if the directory cannot be read

    deleteDir :: Path Abs -> IO () Source

    Deletes the given directory, which must be empty, never symlinks.

    Throws:

    • InappropriateType for wrong file type (symlink to directory)
    • InappropriateType for wrong file type (regular file)
    • NoSuchThing if directory does not exist
    • UnsatisfiedConstraints if directory is not empty
    • PermissionDenied if we can't open or write to parent directory

    Notes: calls rmdir

    deleteDirRecursive :: Path Abs -> IO () Source

    Deletes the given directory recursively. Does not follow symbolic links. Tries deleteDir first before attemtping a recursive deletion.

    On directory contents this behaves like easyDelete and thus will ignore any file type that is not RegularFile, - SymbolicLink or Directory.

    Safety/reliability concerns:

    • not atomic
    • examines filetypes explicitly

    Throws:

    • InappropriateType for wrong file type (symlink to directory)
    • InappropriateType for wrong file type (regular file)
    • NoSuchThing if directory does not exist
    • PermissionDenied if we can't open or write to parent directory

    easyDelete :: Path Abs -> IO () Source #

    Deletes a file, directory or symlink. + SymbolicLink or Directory.

    Safety/reliability concerns:

    • not atomic
    • examines filetypes explicitly

    Throws:

    • InappropriateType for wrong file type (symlink to directory)
    • InappropriateType for wrong file type (regular file)
    • NoSuchThing if directory does not exist
    • PermissionDenied if we can't open or write to parent directory

    easyDelete :: Path Abs -> IO () Source

    Deletes a file, directory or symlink. In case of directory, performs recursive deletion. In case of a symlink, the symlink file is deleted. - Any other file type is ignored.

    Safety/reliability concerns:

    File opening

    openFile :: Path Abs -> IO ProcessID Source #

    Opens a file appropriately by invoking xdg-open. The file type - is not checked. This forks a process.

    executeFile Source #

    Arguments

    :: Path Abs

    program

    -> [ByteString]

    arguments

    -> IO ProcessID 

    Executes a program with the given arguments. This forks a process.

    File creation

    createRegularFile :: FileMode -> Path Abs -> IO () Source #

    Create an empty regular file at the given directory with the given + Any other file type is ignored.

    Safety/reliability concerns:

    File opening

    openFile :: Path Abs -> IO ProcessID Source

    Opens a file appropriately by invoking xdg-open. The file type + is not checked. This forks a process.

    executeFile Source

    Arguments

    :: Path Abs

    program

    -> [ByteString]

    arguments

    -> IO ProcessID 

    Executes a program with the given arguments. This forks a process.

    File creation

    createRegularFile :: FileMode -> Path Abs -> IO () Source

    Create an empty regular file at the given directory with the given filename.

    Throws:

    • PermissionDenied if output directory cannot be written to
    • AlreadyExists if destination file already exists
    • NoSuchThing if any of the parent components of the path - do not exist

    createDir :: FileMode -> Path Abs -> IO () Source #

    Create an empty directory at the given directory with the given filename.

    Throws:

    • PermissionDenied if output directory cannot be written to
    • AlreadyExists if destination directory already exists
    • NoSuchThing if any of the parent components of the path - do not exist

    createSymlink Source #

    Arguments

    :: Path Abs

    destination file

    -> ByteString

    path the symlink points to

    -> IO () 

    Create a symlink.

    Throws:

    • PermissionDenied if output directory cannot be written to
    • AlreadyExists if destination file already exists
    • NoSuchThing if any of the parent components of the path - do not exist

    Note: calls symlink

    File renaming/moving

    renameFile :: Path Abs -> Path Abs -> IO () Source #

    Rename a given file with the provided filename. Destination and source - must be on the same device, otherwise eXDEV will be raised.

    Does not follow symbolic links, but renames the symbolic link file.

    Safety/reliability concerns:

    • has a separate set of exception handling, apart from the syscall

    Throws:

    • NoSuchThing if source file does not exist
    • PermissionDenied if output directory cannot be written to
    • PermissionDenied if source directory cannot be opened
    • UnsupportedOperation if source and destination are on different + do not exist

    createDir :: FileMode -> Path Abs -> IO () Source

    Create an empty directory at the given directory with the given filename.

    Throws:

    • PermissionDenied if output directory cannot be written to
    • AlreadyExists if destination directory already exists
    • NoSuchThing if any of the parent components of the path + do not exist

    createSymlink Source

    Arguments

    :: Path Abs

    destination file

    -> ByteString

    path the symlink points to

    -> IO () 

    Create a symlink.

    Throws:

    • PermissionDenied if output directory cannot be written to
    • AlreadyExists if destination file already exists
    • NoSuchThing if any of the parent components of the path + do not exist

    Note: calls symlink

    File renaming/moving

    renameFile :: Path Abs -> Path Abs -> IO () Source

    Rename a given file with the provided filename. Destination and source + must be on the same device, otherwise eXDEV will be raised.

    Does not follow symbolic links, but renames the symbolic link file.

    Safety/reliability concerns:

    • has a separate set of exception handling, apart from the syscall

    Throws:

    • NoSuchThing if source file does not exist
    • PermissionDenied if output directory cannot be written to
    • PermissionDenied if source directory cannot be opened
    • UnsupportedOperation if source and destination are on different devices
    • FileDoesExist if destination file already exists (HPathIOException)
    • DirDoesExist if destination directory already exists (HPathIOException)
    • SameFile if destination and source are the same file - (HPathIOException)

    Note: calls rename (but does not allow to rename over existing files)

    moveFile Source #

    Arguments

    :: Path Abs

    file to move

    -> Path Abs

    destination

    -> CopyMode 
    -> IO () 

    Move a file. This also works across devices by copy-delete fallback. + (HPathIOException)

    Note: calls rename (but does not allow to rename over existing files)

    moveFile Source

    Arguments

    :: Path Abs

    file to move

    -> Path Abs

    destination

    -> CopyMode 
    -> IO () 

    Move a file. This also works across devices by copy-delete fallback. And also works on directories.

    Does not follow symbolic links, but renames the symbolic link file.

    Safety/reliability concerns:

    Throws:

    • NoSuchThing if source file does not exist
    • PermissionDenied if output directory cannot be written to
    • PermissionDenied if source directory cannot be opened
    • SameFile if destination and source are the same file (HPathIOException)

    Throws in Strict mode only:

    Note: calls rename (but does not allow to rename over existing files)

    File permissions

    newFilePerms :: FileMode Source #

    Default permissions for a new file.

    newDirPerms :: FileMode Source #

    Default permissions for a new directory.

    Directory reading

    getDirsFiles Source #

    Arguments

    :: Path Abs

    dir to read

    -> IO [Path Abs] 

    Gets all filenames of the given directory. This excludes "." and "..". - This version does not follow symbolic links.

    The contents are not sorted and there is no guarantee on the ordering.

    Throws:

    • NoSuchThing if directory does not exist
    • InappropriateType if file type is wrong (file)
    • InappropriateType if file type is wrong (symlink to file)
    • InappropriateType if file type is wrong (symlink to dir)
    • PermissionDenied if directory cannot be opened

    Filetype operations

    getFileType :: Path Abs -> IO FileType Source #

    Get the file type of the file located at the given path. Does - not follow symbolic links.

    Throws:

    • NoSuchThing if the file does not exist
    • PermissionDenied if any part of the path is not accessible

    Others

    canonicalizePath :: Path Abs -> IO (Path Abs) Source #

    Applies realpath on the given absolute path.

    Throws:

    • NoSuchThing if the file at the given path does not exist
    • NoSuchThing if the symlink is broken
    \ No newline at end of file + (HPathIOException)

    Note: calls rename (but does not allow to rename over existing files)

    File permissions

    newFilePerms :: FileMode Source

    Default permissions for a new file.

    newDirPerms :: FileMode Source

    Default permissions for a new directory.

    Directory reading

    getDirsFiles Source

    Arguments

    :: Path Abs

    dir to read

    -> IO [Path Abs] 

    Gets all filenames of the given directory. This excludes "." and "..". + This version does not follow symbolic links.

    The contents are not sorted and there is no guarantee on the ordering.

    Throws:

    • NoSuchThing if directory does not exist
    • InappropriateType if file type is wrong (file)
    • InappropriateType if file type is wrong (symlink to file)
    • InappropriateType if file type is wrong (symlink to dir)
    • PermissionDenied if directory cannot be opened

    Filetype operations

    getFileType :: Path Abs -> IO FileType Source

    Get the file type of the file located at the given path. Does + not follow symbolic links.

    Throws:

    • NoSuchThing if the file does not exist
    • PermissionDenied if any part of the path is not accessible

    Others

    canonicalizePath :: Path Abs -> IO (Path Abs) Source

    Applies realpath on the given absolute path.

    Throws:

    • NoSuchThing if the file at the given path does not exist
    • NoSuchThing if the symlink is broken
    \ No newline at end of file diff --git a/HPath.html b/HPath.html index 1aa5000..7160dac 100644 --- a/HPath.html +++ b/HPath.html @@ -1,8 +1,8 @@ -HPath

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2015–2016 FP Complete, 2016 Julian Ospald
    LicenseBSD 3 clause
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe
    LanguageHaskell2010

    HPath

    Description

    Support for well-typed paths.

    Synopsis

    Types

    data Abs Source #

    An absolute path.

    data Path b Source #

    Path of some base and type.

    Internally is a ByteString. The ByteString can be of two formats only:

    1. without trailing path separator: file.txt, foo/bar.txt, /foo/bar.txt
    2. with trailing path separator: foo/, /foo/bar/

    There are no duplicate - path separators //, no .., no ./, no ~/, etc.

    Instances

    Eq (Path b) Source #

    ByteString equality.

    The following property holds:

    show x == show y ≡ x == y

    Methods

    (==) :: Path b -> Path b -> Bool #

    (/=) :: Path b -> Path b -> Bool #

    Ord (Path b) Source #

    ByteString ordering.

    The following property holds:

    show x `compare` show y ≡ x `compare` y

    Methods

    compare :: Path b -> Path b -> Ordering #

    (<) :: Path b -> Path b -> Bool #

    (<=) :: Path b -> Path b -> Bool #

    (>) :: Path b -> Path b -> Bool #

    (>=) :: Path b -> Path b -> Bool #

    max :: Path b -> Path b -> Path b #

    min :: Path b -> Path b -> Path b #

    Show (Path b) Source #

    Same as toFilePath.

    The following property holds:

    x == y ≡ show x == show y

    Methods

    showsPrec :: Int -> Path b -> ShowS #

    show :: Path b -> String #

    showList :: [Path b] -> ShowS #

    NFData (Path b) Source # 

    Methods

    rnf :: Path b -> () #

    data Rel Source #

    A relative path; one without a root.

    Instances

    data Fn Source #

    A filename, without any /.

    Instances

    data PathParseException Source #

    Exception when parsing a location.

    Instances

    data PathException Source #

    Instances

    class RelC m Source #

    Instances

    PatternSynonyms/ViewPatterns

    pattern Path :: forall a. ByteString -> Path a Source #

    Path Parsing

    parseAbs :: MonadThrow m => ByteString -> m (Path Abs) Source #

    Get a location for an absolute path. Produces a normalised path.

    Throws: PathParseException

    >>> parseAbs "/abc"          :: Maybe (Path Abs)
+
    hpath-0.8.0: Support for well-typed paths
    Copyright© 2015–2016 FP Complete, 2016 Julian Ospald
    LicenseBSD 3 clause
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe-Inferred
    LanguageHaskell2010
    HPath
    Description
    Support for well-typed paths.
    Synopsis
    Types
    data Abs Source
    An absolute path.
    Instances
    data Path b Source
    Path of some base and type.
    Internally is a ByteString. The ByteString can be of two formats only:
    1. without trailing path separator: file.txt, foo/bar.txt, /foo/bar.txt
    2. with trailing path separator: foo/, /foo/bar/
    There are no duplicate
+ path separators //, no .., no ./, no ~/, etc.
    Instances
    Eq (Path b)
    ByteString equality.
    The following property holds:
    show x == show y ≡ x == y
    Ord (Path b)
    ByteString ordering.
    The following property holds:
    show x `compare` show y ≡ x `compare` y
    Show (Path b)
    Same as toFilePath.
    The following property holds:
    x == y ≡ show x == show y
    NFData (Path b) 
    Typeable (* -> *) Path 
    data Rel Source
    A relative path; one without a root.
    Instances
    data Fn Source
    A filename, without any /.
    Instances
    data PathParseException Source
    Exception when parsing a location.
    Instances
    data PathException Source
    Instances
    class RelC m Source
    Instances
    PatternSynonyms/ViewPatterns
    pattern  Path ByteString ::  Path t Source
    Path Parsing
    parseAbs :: MonadThrow m => ByteString -> m (Path Abs) Source
    Get a location for an absolute path. Produces a normalised path.
    Throws: PathParseException
    >>> parseAbs "/abc"          :: Maybe (Path Abs)
 Just "/abc"
 >>> parseAbs "/"             :: Maybe (Path Abs)
 Just "/"
@@ -16,8 +16,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 Nothing
 >>> parseAbs "/abc/../foo"   :: Maybe (Path Abs)
 Nothing
-
    parseFn :: MonadThrow m => ByteString -> m (Path Fn) Source #
    Parses a filename. Filenames must not contain slashes.
- Excludes . and '..'.
    Throws: PathParseException
    >>> parseFn "abc"        :: Maybe (Path Fn)
+
    parseFn :: MonadThrow m => ByteString -> m (Path Fn) Source
    Parses a filename. Filenames must not contain slashes.
+ Excludes . and '..'.
    Throws: PathParseException
    >>> parseFn "abc"        :: Maybe (Path Fn)
 Just "abc"
 >>> parseFn "..."        :: Maybe (Path Fn)
 Just "..."
@@ -37,7 +37,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 Nothing
 >>> parseFn ".."         :: Maybe (Path Fn)
 Nothing
-
    parseRel :: MonadThrow m => ByteString -> m (Path Rel) Source #
    Get a location for a relative path. Produces a normalised
+

    parseRel :: MonadThrow m => ByteString -> m (Path Rel) Source

    Get a location for a relative path. Produces a normalised path.

    Note that filepath may contain any number of ./ but may not consist solely of ./. It also may not contain a single .. anywhere.

    Throws: PathParseException

    >>> parseRel "abc"        :: Maybe (Path Rel)
 Just "abc"
@@ -57,7 +57,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 Nothing
 >>> parseRel ".."         :: Maybe (Path Rel)
 Nothing
-

    Path Conversion

    fromAbs :: Path Abs -> ByteString Source #

    Convert an absolute Path to a ByteString type.

    fromRel :: RelC r => Path r -> ByteString Source #

    Convert a relative Path to a ByteString type.

    toFilePath :: Path b -> ByteString Source #

    Convert any Path to a ByteString type.

    Path Operations

    (</>) :: RelC r => Path b -> Path r -> Path b Source #

    Append two paths.

    The second argument must always be a relative path, which ensures +

    Path Conversion

    fromAbs :: Path Abs -> ByteString Source

    Convert an absolute Path to a ByteString type.

    fromRel :: RelC r => Path r -> ByteString Source

    Convert a relative Path to a ByteString type.

    toFilePath :: Path b -> ByteString Source

    Convert any Path to a ByteString type.

    Path Operations

    (</>) :: RelC r => Path b -> Path r -> Path b Source

    Append two paths.

    The second argument must always be a relative path, which ensures that undefinable things like `"abc" <> "/def"` cannot happen.

    Technically, the first argument can be a path that points to a non-directory, because this library is IO-agnostic and makes no assumptions about file types.

    >>> (MkPath "/")        </> (MkPath "file"     :: Path Rel)
@@ -68,15 +68,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 "/file/lal"
 >>> (MkPath "/")        </> (MkPath "file/"    :: Path Rel)
 "/file/"
-

    basename :: MonadThrow m => Path b -> m (Path Fn) Source #

    Extract the file part of a path.

    The following properties hold:

    basename (p </> a) == basename a

    Throws: PathException if given the root path "/"

    >>> basename (MkPath "/abc/def/dod") :: Maybe (Path Fn)
+

    basename :: MonadThrow m => Path b -> m (Path Fn) Source

    Extract the file part of a path.

    The following properties hold:

    basename (p </> a) == basename a

    Throws: PathException if given the root path "/"

    >>> basename (MkPath "/abc/def/dod") :: Maybe (Path Fn)
 Just "dod"
 >>> basename (MkPath "/")            :: Maybe (Path Fn)
 Nothing
-

    dirname :: Path Abs -> Path Abs Source #

    Extract the directory name of a path.

    The following properties hold:

    dirname (p </> a) == dirname p
    >>> dirname (MkPath "/abc/def/dod")
+

    dirname :: Path Abs -> Path Abs Source

    Extract the directory name of a path.

    The following properties hold:

    dirname (p </> a) == dirname p
    >>> dirname (MkPath "/abc/def/dod")
 "/abc/def"
 >>> dirname (MkPath "/")
 "/"
-

    isParentOf :: Path b -> Path b -> Bool Source #

    Is p a parent of the given location? Implemented in terms of +

    isParentOf :: Path b -> Path b -> Bool Source

    Is p a parent of the given location? Implemented in terms of stripDir. The bases must match.

    >>> (MkPath "/lal/lad")     `isParentOf` (MkPath "/lal/lad/fad")
 True
 >>> (MkPath "lal/lad")      `isParentOf` (MkPath "lal/lad/fad")
@@ -87,11 +87,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 False
 >>> (MkPath "fad")          `isParentOf` (MkPath "fad")
 False
-

    getAllParents :: Path Abs -> [Path Abs] Source #

    Get all parents of a path.

    >>> getAllParents (MkPath "/abs/def/dod")
+

    getAllParents :: Path Abs -> [Path Abs] Source

    Get all parents of a path.

    >>> getAllParents (MkPath "/abs/def/dod")
 ["/abs/def","/abs","/"]
 >>> getAllParents (MkPath "/")
 []
-

    stripDir :: MonadThrow m => Path b -> Path b -> m (Path Rel) Source #

    Strip directory from path, making it relative to that directory. +

    stripDir :: MonadThrow m => Path b -> Path b -> m (Path Rel) Source

    Strip directory from path, making it relative to that directory. Throws Couldn'tStripPrefixDir if directory is not a parent of the path.

    The bases must match.

    >>> (MkPath "/lal/lad")     `stripDir` (MkPath "/lal/lad/fad") :: Maybe (Path Rel)
 Just "fad"
 >>> (MkPath "lal/lad")      `stripDir` (MkPath "lal/lad/fad")  :: Maybe (Path Rel)
@@ -102,4 +102,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath.html");};
 Nothing
 >>> (MkPath "fad")          `stripDir` (MkPath "fad")          :: Maybe (Path Rel)
 Nothing
-

    Path IO helpers

    withAbsPath :: Path Abs -> (ByteString -> IO a) -> IO a Source #

    withRelPath :: Path Rel -> (ByteString -> IO a) -> IO a Source #

    withFnPath :: Path Fn -> (ByteString -> IO a) -> IO a Source #

    \ No newline at end of file +

    Path IO helpers

    withAbsPath :: Path Abs -> (ByteString -> IO a) -> IO a Source

    withRelPath :: Path Rel -> (ByteString -> IO a) -> IO a Source

    withFnPath :: Path Fn -> (ByteString -> IO a) -> IO a Source

    \ No newline at end of file diff --git a/System-Posix-Directory-Foreign.html b/System-Posix-Directory-Foreign.html index e17f18a..54490ea 100644 --- a/System-Posix-Directory-Foreign.html +++ b/System-Posix-Directory-Foreign.html @@ -1,9 +1,9 @@ -System.Posix.Directory.Foreign

    hpath-0.8.0: Support for well-typed paths

    Safe HaskellSafe
    LanguageHaskell2010

    System.Posix.Directory.Foreign

    Documentation

    newtype DirType Source #

    Constructors

    DirType Int 

    Instances

    data Flags Source #

    Constructors

    Flags Int 
    UnsupportedFlag String 

    Instances

    Eq Flags Source # 

    Methods

    (==) :: Flags -> Flags -> Bool #

    (/=) :: Flags -> Flags -> Bool #

    Show Flags Source # 

    Methods

    showsPrec :: Int -> Flags -> ShowS #

    show :: Flags -> String #

    showList :: [Flags] -> ShowS #

    unFlags :: Flags -> Int Source #

    isSupported :: Flags -> Bool Source #

    Returns True if posix-paths was compiled with support for the provided +

    hpath-0.8.0: Support for well-typed paths

    Safe HaskellSafe-Inferred
    LanguageHaskell2010

    System.Posix.Directory.Foreign

    Documentation

    newtype DirType Source

    Constructors

    DirType Int 

    Instances

    data Flags Source

    Constructors

    Flags Int 
    UnsupportedFlag String 

    Instances

    unFlags :: Flags -> Int Source

    isSupported :: Flags -> Bool Source

    Returns True if posix-paths was compiled with support for the provided flag. (As of this writing, the only flag for which this check may be - necessary is oCloexec; all other flags will always yield True.)

    oCloexec :: Flags Source #

    O_CLOEXEC is not supported on every POSIX platform. Use + necessary is oCloexec; all other flags will always yield True.)

    oCloexec :: Flags Source

    O_CLOEXEC is not supported on every POSIX platform. Use isSupported oCloexec to determine if support for O_CLOEXEC was compiled into your version of posix-paths. (If not, using oCloexec will - throw an exception.)

    dtBlk :: DirType Source #

    oAppend :: Flags Source #

    dtChr :: DirType Source #

    pathMax :: Int Source #

    oAsync :: Flags Source #

    dtDir :: DirType Source #

    oCreat :: Flags Source #

    dtFifo :: DirType Source #

    unionFlags :: [Flags] -> CInt Source #

    dtLnk :: DirType Source #

    oDirectory :: Flags Source #

    oExcl :: Flags Source #

    dtReg :: DirType Source #

    oNoctty :: Flags Source #

    dtSock :: DirType Source #

    oNofollow :: Flags Source #

    dtUnknown :: DirType Source #

    oNonblock :: Flags Source #

    oRdonly :: Flags Source #

    oWronly :: Flags Source #

    oRdwr :: Flags Source #

    oSync :: Flags Source #

    oTrunc :: Flags Source #

    \ No newline at end of file + throw an exception.)

    dtBlk :: DirType Source

    oAppend :: Flags Source

    dtChr :: DirType Source

    pathMax :: Int Source

    oAsync :: Flags Source

    dtDir :: DirType Source

    oCreat :: Flags Source

    dtFifo :: DirType Source

    unionFlags :: [Flags] -> CInt Source

    dtLnk :: DirType Source

    oDirectory :: Flags Source

    oExcl :: Flags Source

    dtReg :: DirType Source

    oNoctty :: Flags Source

    dtSock :: DirType Source

    oNofollow :: Flags Source

    dtUnknown :: DirType Source

    oNonblock :: Flags Source

    oRdonly :: Flags Source

    oWronly :: Flags Source

    oRdwr :: Flags Source

    oSync :: Flags Source

    oTrunc :: Flags Source

    \ No newline at end of file diff --git a/System-Posix-Directory-Traversals.html b/System-Posix-Directory-Traversals.html index 7d6b8a9..06fba95 100644 --- a/System-Posix-Directory-Traversals.html +++ b/System-Posix-Directory-Traversals.html @@ -1,11 +1,11 @@ -System.Posix.Directory.Traversals

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellNone
    LanguageHaskell2010

    System.Posix.Directory.Traversals

    Description

    Traversal and read operations on directories.

    Documentation

    getDirectoryContents :: RawFilePath -> IO [(DirType, RawFilePath)] Source #

    Gets all directory contents (not recursively).

    getDirectoryContents' :: Fd -> IO [(DirType, RawFilePath)] Source #

    Like getDirectoryContents except for a file descriptor.

    To avoid complicated error checks, the file descriptor is +

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellNone
    LanguageHaskell2010

    System.Posix.Directory.Traversals

    Description

    Traversal and read operations on directories.

    Documentation

    getDirectoryContents :: RawFilePath -> IO [(DirType, RawFilePath)] Source

    Gets all directory contents (not recursively).

    getDirectoryContents' :: Fd -> IO [(DirType, RawFilePath)] Source

    Like getDirectoryContents except for a file descriptor.

    To avoid complicated error checks, the file descriptor is always closed, even if fdOpendir fails. Usually, this only happens on successful fdOpendir and after the directory stream is closed. Also see the manpage of fdopendir(3) for - more details.

    allDirectoryContents :: RawFilePath -> IO [RawFilePath] Source #

    Get all files from a directory and its subdirectories.

    Upon entering a directory, allDirectoryContents will get all entries + more details.

    allDirectoryContents :: RawFilePath -> IO [RawFilePath] Source

    Get all files from a directory and its subdirectories.

    Upon entering a directory, allDirectoryContents will get all entries strictly. However the returned list is lazy in that directories will only - be accessed on demand.

    Follows symbolic links for the input dir.

    allDirectoryContents' :: RawFilePath -> IO [RawFilePath] Source #

    Get all files from a directory and its subdirectories strictly.

    Follows symbolic links for the input dir.

    traverseDirectory :: (s -> RawFilePath -> IO s) -> s -> RawFilePath -> IO s Source #

    Recursively apply the action to the parent directory and all - files/subdirectories.

    This function allows for memory-efficient traversals.

    Follows symbolic links for the input dir.

    readDirEnt :: DirStream -> IO (DirType, RawFilePath) Source #

    packDirStream :: Ptr CDir -> DirStream Source #

    unpackDirStream :: DirStream -> Ptr CDir Source #

    fdOpendir :: Fd -> IO DirStream Source #

    Binding to fdopendir(3).

    realpath :: RawFilePath -> IO RawFilePath Source #

    return the canonicalized absolute pathname

    like canonicalizePath, but uses realpath(3)

    \ No newline at end of file + be accessed on demand.

    Follows symbolic links for the input dir.

    allDirectoryContents' :: RawFilePath -> IO [RawFilePath] Source

    Get all files from a directory and its subdirectories strictly.

    Follows symbolic links for the input dir.

    traverseDirectory :: (s -> RawFilePath -> IO s) -> s -> RawFilePath -> IO s Source

    Recursively apply the action to the parent directory and all + files/subdirectories.

    This function allows for memory-efficient traversals.

    Follows symbolic links for the input dir.

    readDirEnt :: DirStream -> IO (DirType, RawFilePath) Source

    packDirStream :: Ptr CDir -> DirStream Source

    unpackDirStream :: DirStream -> Ptr CDir Source

    fdOpendir :: Fd -> IO DirStream Source

    Binding to fdopendir(3).

    realpath :: RawFilePath -> IO RawFilePath Source

    return the canonicalized absolute pathname

    like canonicalizePath, but uses realpath(3)

    \ No newline at end of file diff --git a/System-Posix-FD.html b/System-Posix-FD.html index 46d11ae..72c7cb3 100644 --- a/System-Posix-FD.html +++ b/System-Posix-FD.html @@ -1,9 +1,9 @@ -System.Posix.FD

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe
    LanguageHaskell2010

    System.Posix.FD

    Description

    Provides an alternative for openFd +

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe-Inferred
    LanguageHaskell2010

    System.Posix.FD

    Description

    Provides an alternative for openFd which gives us more control on what status flags to pass to the - low-level open(2) call, in contrast to the unix package.

    Synopsis

    Documentation

    openFd Source #

    Arguments

    :: RawFilePath 
    -> OpenMode 
    -> [Flags]

    status flags of open(2)

    -> Maybe FileMode

    Just x => creates the file with the given modes, Nothing => the file must exist.

    -> IO Fd 

    Open and optionally create this file. See Files + low-level open(2) call, in contrast to the unix package.

    Synopsis

    Documentation

    openFd Source

    Arguments

    :: RawFilePath 
    -> OpenMode 
    -> [Flags]

    status flags of open(2)

    -> Maybe FileMode

    Just x => creates the file with the given modes, Nothing => the file must exist.

    -> IO Fd 

    Open and optionally create this file. See Files for information on how to use the FileMode type.

    Note that passing Just x as the 4th argument triggers the oCreat status flag, which must be set when you pass in oExcl - to the status flags. Also see the manpage for open(2).

    \ No newline at end of file + to the status flags. Also see the manpage for open(2).

    \ No newline at end of file diff --git a/System-Posix-FilePath.html b/System-Posix-FilePath.html index da58952..6d24f2b 100644 --- a/System-Posix-FilePath.html +++ b/System-Posix-FilePath.html @@ -1,7 +1,7 @@ -System.Posix.FilePath

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe
    LanguageHaskell2010

    System.Posix.FilePath

    Description

    The equivalent of System.FilePath on raw (byte string) file paths.

    Not all functions of System.FilePath are implemented yet. Feel free to contribute!

    Synopsis

    Separator predicates

    pathSeparator :: Word8 Source #

    Path separator character

    isPathSeparator :: Word8 -> Bool Source #

    Check if a character is the path separator

    \n ->  (_chr n == '/') == isPathSeparator n

    searchPathSeparator :: Word8 Source #

    Search path separator

    isSearchPathSeparator :: Word8 -> Bool Source #

    Check if a character is the search path separator

    \n -> (_chr n == ':') == isSearchPathSeparator n

    extSeparator :: Word8 Source #

    File extension separator

    isExtSeparator :: Word8 -> Bool Source #

    Check if a character is the file extension separator

    \n -> (_chr n == '.') == isExtSeparator n

    $PATH methods

    splitSearchPath :: ByteString -> [RawFilePath] Source #

    Take a ByteString, split it on the searchPathSeparator. +

    hpath-0.8.0: Support for well-typed paths

    Copyright© 2016 Julian Ospald
    LicenseBSD3
    MaintainerJulian Ospald <hasufell@posteo.de>
    Stabilityexperimental
    Portabilityportable
    Safe HaskellSafe-Inferred
    LanguageHaskell2010

    System.Posix.FilePath

    Description

    The equivalent of System.FilePath on raw (byte string) file paths.

    Not all functions of System.FilePath are implemented yet. Feel free to contribute!

    Synopsis

    Separator predicates

    pathSeparator :: Word8 Source

    Path separator character

    isPathSeparator :: Word8 -> Bool Source

    Check if a character is the path separator

    \n ->  (_chr n == '/') == isPathSeparator n

    searchPathSeparator :: Word8 Source

    Search path separator

    isSearchPathSeparator :: Word8 -> Bool Source

    Check if a character is the search path separator

    \n -> (_chr n == ':') == isSearchPathSeparator n

    extSeparator :: Word8 Source

    File extension separator

    isExtSeparator :: Word8 -> Bool Source

    Check if a character is the file extension separator

    \n -> (_chr n == '.') == isExtSeparator n

    $PATH methods

    splitSearchPath :: ByteString -> [RawFilePath] Source

    Take a ByteString, split it on the searchPathSeparator. Blank items are converted to ..

    Follows the recommendations in http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html

    >>> splitSearchPath "File1:File2:File3"
 ["File1","File2","File3"]
@@ -9,45 +9,45 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 ["File1",".","File2","File3"]
 >>> splitSearchPath ""
 ["."]
-

    getSearchPath :: IO [RawFilePath] Source #

    Get a list of RawFilePaths in the $PATH variable.

    Extension functions

    splitExtension :: RawFilePath -> (RawFilePath, ByteString) Source #

    Split a RawFilePath into a path+filename and extension

    >>> splitExtension "file.exe"
+

    getSearchPath :: IO [RawFilePath] Source

    Get a list of RawFilePaths in the $PATH variable.

    Extension functions

    splitExtension :: RawFilePath -> (RawFilePath, ByteString) Source

    Split a RawFilePath into a path+filename and extension

    >>> splitExtension "file.exe"
 ("file",".exe")
 >>> splitExtension "file"
 ("file","")
 >>> splitExtension "/path/file.tar.gz"
 ("/path/file.tar",".gz")
-
    \path -> uncurry (BS.append) (splitExtension path) == path

    takeExtension :: RawFilePath -> ByteString Source #

    Get the final extension from a RawFilePath

    >>> takeExtension "file.exe"
+
    \path -> uncurry (BS.append) (splitExtension path) == path

    takeExtension :: RawFilePath -> ByteString Source

    Get the final extension from a RawFilePath

    >>> takeExtension "file.exe"
 ".exe"
 >>> takeExtension "file"
 ""
 >>> takeExtension "/path/file.tar.gz"
 ".gz"
-

    replaceExtension :: RawFilePath -> ByteString -> RawFilePath Source #

    Change a file's extension

    \path -> let ext = takeExtension path in replaceExtension path ext == path

    dropExtension :: RawFilePath -> RawFilePath Source #

    Drop the final extension from a RawFilePath

    >>> dropExtension "file.exe"
+

    replaceExtension :: RawFilePath -> ByteString -> RawFilePath Source

    Change a file's extension

    \path -> let ext = takeExtension path in replaceExtension path ext == path

    dropExtension :: RawFilePath -> RawFilePath Source

    Drop the final extension from a RawFilePath

    >>> dropExtension "file.exe"
 "file"
 >>> dropExtension "file"
 "file"
 >>> dropExtension "/path/file.tar.gz"
 "/path/file.tar"
-

    addExtension :: RawFilePath -> ByteString -> RawFilePath Source #

    Add an extension to a RawFilePath

    >>> addExtension "file" ".exe"
+

    addExtension :: RawFilePath -> ByteString -> RawFilePath Source

    Add an extension to a RawFilePath

    >>> addExtension "file" ".exe"
 "file.exe"
 >>> addExtension "file.tar" ".gz"
 "file.tar.gz"
 >>> addExtension "/path/" ".ext"
 "/path/.ext"
-

    hasExtension :: RawFilePath -> Bool Source #

    Check if a RawFilePath has an extension

    >>> hasExtension "file"
+

    hasExtension :: RawFilePath -> Bool Source

    Check if a RawFilePath has an extension

    >>> hasExtension "file"
 False
 >>> hasExtension "file.tar"
 True
 >>> hasExtension "/path.part1/"
 False
-

    (<.>) :: RawFilePath -> ByteString -> RawFilePath Source #

    Operator version of addExtension

    splitExtensions :: RawFilePath -> (RawFilePath, ByteString) Source #

    Split a RawFilePath on the first extension.

    >>> splitExtensions "/path/file.tar.gz"
+

    (<.>) :: RawFilePath -> ByteString -> RawFilePath Source

    Operator version of addExtension

    splitExtensions :: RawFilePath -> (RawFilePath, ByteString) Source

    Split a RawFilePath on the first extension.

    >>> splitExtensions "/path/file.tar.gz"
 ("/path/file",".tar.gz")
-
    \path -> uncurry addExtension (splitExtensions path) == path

    dropExtensions :: RawFilePath -> RawFilePath Source #

    Remove all extensions from a RawFilePath

    >>> dropExtensions "/path/file.tar.gz"
+
    \path -> uncurry addExtension (splitExtensions path) == path

    dropExtensions :: RawFilePath -> RawFilePath Source

    Remove all extensions from a RawFilePath

    >>> dropExtensions "/path/file.tar.gz"
 "/path/file"
-

    takeExtensions :: RawFilePath -> ByteString Source #

    Take all extensions from a RawFilePath

    >>> takeExtensions "/path/file.tar.gz"
+

    takeExtensions :: RawFilePath -> ByteString Source

    Take all extensions from a RawFilePath

    >>> takeExtensions "/path/file.tar.gz"
 ".tar.gz"
-

    stripExtension :: ByteString -> RawFilePath -> Maybe RawFilePath Source #

    Drop the given extension from a FilePath, and the "." preceding it. - Returns Nothing if the FilePath does not have the given extension, or - Just and the part before the extension if it does.

    This function can be more predictable than dropExtensions, +

    stripExtension :: ByteString -> RawFilePath -> Maybe RawFilePath Source

    Drop the given extension from a FilePath, and the "." preceding it. + Returns Nothing if the FilePath does not have the given extension, or + Just and the part before the extension if it does.

    This function can be more predictable than dropExtensions, especially if the filename might itself contain . characters.

    >>> stripExtension "hs.o" "foo.x.hs.o"
 Just "foo.x"
 >>> stripExtension "hi.o" "foo.x.hs.o"
@@ -60,27 +60,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 Nothing
 >>> stripExtension "bar"  "foobar"
 Nothing
-
    \path -> stripExtension "" path == Just path
    \path -> dropExtension path  == fromJust (stripExtension (takeExtension path) path)
    \path -> dropExtensions path == fromJust (stripExtension (takeExtensions path) path)

    Filename/directory functions

    splitFileName :: RawFilePath -> (RawFilePath, RawFilePath) Source #

    Split a RawFilePath into (path,file). combine is the inverse

    >>> splitFileName "path/file.txt"
+
    \path -> stripExtension "" path == Just path
    \path -> dropExtension path  == fromJust (stripExtension (takeExtension path) path)
    \path -> dropExtensions path == fromJust (stripExtension (takeExtensions path) path)

    Filename/directory functions

    splitFileName :: RawFilePath -> (RawFilePath, RawFilePath) Source

    Split a RawFilePath into (path,file). combine is the inverse

    >>> splitFileName "path/file.txt"
 ("path/","file.txt")
 >>> splitFileName "path/"
 ("path/","")
 >>> splitFileName "file.txt"
 ("./","file.txt")
-
    \path -> uncurry combine (splitFileName path) == path || fst (splitFileName path) == "./"

    takeFileName :: RawFilePath -> RawFilePath Source #

    Get the file name

    >>> takeFileName "path/file.txt"
+
    \path -> uncurry combine (splitFileName path) == path || fst (splitFileName path) == "./"

    takeFileName :: RawFilePath -> RawFilePath Source

    Get the file name

    >>> takeFileName "path/file.txt"
 "file.txt"
 >>> takeFileName "path/"
 ""
-

    replaceFileName :: RawFilePath -> ByteString -> RawFilePath Source #

    Change the file name

    \path -> replaceFileName path (takeFileName path) == path

    dropFileName :: RawFilePath -> RawFilePath Source #

    Drop the file name

    >>> dropFileName "path/file.txt"
+

    replaceFileName :: RawFilePath -> ByteString -> RawFilePath Source

    Change the file name

    \path -> replaceFileName path (takeFileName path) == path

    dropFileName :: RawFilePath -> RawFilePath Source

    Drop the file name

    >>> dropFileName "path/file.txt"
 "path/"
 >>> dropFileName "file.txt"
 "./"
-

    takeBaseName :: RawFilePath -> ByteString Source #

    Get the file name, without a trailing extension

    >>> takeBaseName "path/file.tar.gz"
+

    takeBaseName :: RawFilePath -> ByteString Source

    Get the file name, without a trailing extension

    >>> takeBaseName "path/file.tar.gz"
 "file.tar"
 >>> takeBaseName ""
 ""
-

    replaceBaseName :: RawFilePath -> ByteString -> RawFilePath Source #

    Change the base name

    >>> replaceBaseName "path/file.tar.gz" "bob"
+

    replaceBaseName :: RawFilePath -> ByteString -> RawFilePath Source

    Change the base name

    >>> replaceBaseName "path/file.tar.gz" "bob"
 "path/bob.gz"
-
    \path -> replaceBaseName path (takeBaseName path) == path

    takeDirectory :: RawFilePath -> RawFilePath Source #

    Get the directory, moving up one level if it's already a directory

    >>> takeDirectory "path/file.txt"
+
    \path -> replaceBaseName path (takeBaseName path) == path

    takeDirectory :: RawFilePath -> RawFilePath Source

    Get the directory, moving up one level if it's already a directory

    >>> takeDirectory "path/file.txt"
 "path"
 >>> takeDirectory "file"
 "."
@@ -88,33 +88,33 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 "/path/to"
 >>> takeDirectory "/path/to"
 "/path"
-

    replaceDirectory :: RawFilePath -> ByteString -> RawFilePath Source #

    Change the directory component of a RawFilePath

    \path -> replaceDirectory path (takeDirectory path) `equalFilePath` path || takeDirectory path == "."

    combine :: RawFilePath -> RawFilePath -> RawFilePath Source #

    Join two paths together

    >>> combine "/" "file"
+

    replaceDirectory :: RawFilePath -> ByteString -> RawFilePath Source

    Change the directory component of a RawFilePath

    \path -> replaceDirectory path (takeDirectory path) `equalFilePath` path || takeDirectory path == "."

    combine :: RawFilePath -> RawFilePath -> RawFilePath Source

    Join two paths together

    >>> combine "/" "file"
 "/file"
 >>> combine "/path/to" "file"
 "/path/to/file"
 >>> combine "file" "/absolute/path"
 "/absolute/path"
-

    (</>) :: RawFilePath -> RawFilePath -> RawFilePath Source #

    Operator version of combine

    splitPath :: RawFilePath -> [RawFilePath] Source #

    Split a path into a list of components:

    >>> splitPath "/path/to/file.txt"
+

    (</>) :: RawFilePath -> RawFilePath -> RawFilePath Source

    Operator version of combine

    splitPath :: RawFilePath -> [RawFilePath] Source

    Split a path into a list of components:

    >>> splitPath "/path/to/file.txt"
 ["/","path/","to/","file.txt"]
-
    \path -> BS.concat (splitPath path) == path

    joinPath :: [RawFilePath] -> RawFilePath Source #

    Join a split path back together

    \path -> joinPath (splitPath path) == path
    >>> joinPath ["path","to","file.txt"]
+
    \path -> BS.concat (splitPath path) == path

    joinPath :: [RawFilePath] -> RawFilePath Source

    Join a split path back together

    \path -> joinPath (splitPath path) == path
    >>> joinPath ["path","to","file.txt"]
 "path/to/file.txt"
-

    splitDirectories :: RawFilePath -> [RawFilePath] Source #

    Like splitPath, but without trailing slashes

    >>> splitDirectories "/path/to/file.txt"
+

    splitDirectories :: RawFilePath -> [RawFilePath] Source

    Like splitPath, but without trailing slashes

    >>> splitDirectories "/path/to/file.txt"
 ["/","path","to","file.txt"]
 >>> splitDirectories ""
 []
-

    Trailing slash functions

    hasTrailingPathSeparator :: RawFilePath -> Bool Source #

    Check if the last character of a RawFilePath is /.

    >>> hasTrailingPathSeparator "/path/"
+

    Trailing slash functions

    hasTrailingPathSeparator :: RawFilePath -> Bool Source

    Check if the last character of a RawFilePath is /.

    >>> hasTrailingPathSeparator "/path/"
 True
 >>> hasTrailingPathSeparator "/"
 True
 >>> hasTrailingPathSeparator "/path"
 False
-

    addTrailingPathSeparator :: RawFilePath -> RawFilePath Source #

    Add a trailing path separator.

    >>> addTrailingPathSeparator "/path"
+

    addTrailingPathSeparator :: RawFilePath -> RawFilePath Source

    Add a trailing path separator.

    >>> addTrailingPathSeparator "/path"
 "/path/"
 >>> addTrailingPathSeparator "/path/"
 "/path/"
 >>> addTrailingPathSeparator "/"
 "/"
-

    dropTrailingPathSeparator :: RawFilePath -> RawFilePath Source #

    Remove a trailing path separator

    >>> dropTrailingPathSeparator "/path/"
+

    dropTrailingPathSeparator :: RawFilePath -> RawFilePath Source

    Remove a trailing path separator

    >>> dropTrailingPathSeparator "/path/"
 "/path"
 >>> dropTrailingPathSeparator "/path////"
 "/path"
@@ -122,7 +122,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 "/"
 >>> dropTrailingPathSeparator "//"
 "/"
-

    File name manipulations

    normalise :: RawFilePath -> RawFilePath Source #

    Normalise a file.

    >>> normalise "/file/\\test////"
+

    File name manipulations

    normalise :: RawFilePath -> RawFilePath Source

    Normalise a file.

    >>> normalise "/file/\\test////"
 "/file/\\test/"
 >>> normalise "/file/./test"
 "/file/test"
@@ -148,7 +148,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 "bob/fred/"
 >>> normalise "//home"
 "/home"
-

    makeRelative :: RawFilePath -> RawFilePath -> RawFilePath Source #

    Contract a filename, based on a relative path. Note that the resulting +

    makeRelative :: RawFilePath -> RawFilePath -> RawFilePath Source

    Contract a filename, based on a relative path. Note that the resulting path will never introduce .. paths, as the presence of symlinks means ../b may not reach a/b if it starts from a/c. For a worked example see @@ -166,7 +166,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath. "fred/" >>> makeRelative "some/path" "some/path/a/b/c" "a/b/c" -

    \p -> makeRelative p p == "."
    \p -> makeRelative (takeDirectory p) p `equalFilePath` takeFileName p

    prop x y -> equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y / makeRelative y x) x

    equalFilePath :: RawFilePath -> RawFilePath -> Bool Source #

    Equality of two filepaths. The filepaths are normalised +

    \p -> makeRelative p p == "."
    \p -> makeRelative (takeDirectory p) p `equalFilePath` takeFileName p

    prop x y -> equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y / makeRelative y x) x

    equalFilePath :: RawFilePath -> RawFilePath -> Bool Source

    Equality of two filepaths. The filepaths are normalised and trailing path separators are dropped.

    >>> equalFilePath "foo" "foo"
 True
 >>> equalFilePath "foo" "foo/"
@@ -181,23 +181,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 False
 >>> equalFilePath "foo" "../foo"
 False
-
    \p -> equalFilePath p p

    isRelative :: RawFilePath -> Bool Source #

    Check if a path is relative

    \path -> isRelative path /= isAbsolute path

    isAbsolute :: RawFilePath -> Bool Source #

    Check if a path is absolute

    >>> isAbsolute "/path"
+
    \p -> equalFilePath p p

    isRelative :: RawFilePath -> Bool Source

    Check if a path is relative

    \path -> isRelative path /= isAbsolute path

    isAbsolute :: RawFilePath -> Bool Source

    Check if a path is absolute

    >>> isAbsolute "/path"
 True
 >>> isAbsolute "path"
 False
 >>> isAbsolute ""
 False
-

    isValid :: RawFilePath -> Bool Source #

    Is a FilePath valid, i.e. could you create a file like it?

    >>> isValid ""
+

    isValid :: RawFilePath -> Bool Source

    Is a FilePath valid, i.e. could you create a file like it?

    >>> isValid ""
 False
 >>> isValid "\0"
 False
 >>> isValid "/random_ path:*"
 True
-

    makeValid :: RawFilePath -> RawFilePath Source #

    Take a FilePath and make it valid; does not change already valid FilePaths.

    >>> makeValid ""
+

    makeValid :: RawFilePath -> RawFilePath Source

    Take a FilePath and make it valid; does not change already valid FilePaths.

    >>> makeValid ""
 "_"
 >>> makeValid "file\0name"
 "file_name"
-
    \p -> if isValid p then makeValid p == p else makeValid p /= p
    \p -> isValid (makeValid p)

    isFileName :: RawFilePath -> Bool Source #

    Is the given path a valid filename? This includes +

    \p -> if isValid p then makeValid p == p else makeValid p /= p
    \p -> isValid (makeValid p)

    isFileName :: RawFilePath -> Bool Source

    Is the given path a valid filename? This includes "." and "..".

    >>> isFileName "lal"
 True
 >>> isFileName "."
@@ -210,7 +210,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 False
 >>> isFileName "/random_ path:*"
 False
-

    hasParentDir :: RawFilePath -> Bool Source #

    Check if the filepath has any parent directories in it.

    >>> hasParentDir "/.."
+

    hasParentDir :: RawFilePath -> Bool Source

    Check if the filepath has any parent directories in it.

    >>> hasParentDir "/.."
 True
 >>> hasParentDir "foo/bar/.."
 True
@@ -224,7 +224,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 False
 >>> hasParentDir ".."
 False
-

    hiddenFile :: RawFilePath -> Bool Source #

    Whether the file is a hidden file.

    >>> hiddenFile ".foo"
+

    hiddenFile :: RawFilePath -> Bool Source

    Whether the file is a hidden file.

    >>> hiddenFile ".foo"
 True
 >>> hiddenFile "..foo.bar"
 True
@@ -240,4 +240,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_System-Posix-FilePath.
 False
 >>> hiddenFile ""
 False
-

    module System.Posix.ByteString.FilePath

    \ No newline at end of file +

    module System.Posix.ByteString.FilePath

    \ No newline at end of file diff --git a/doc-index-60.html b/doc-index-60.html index 61d5e1f..577fa05 100644 --- a/doc-index-60.html +++ b/doc-index-60.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - <)

    hpath-0.8.0: Support for well-typed paths

    Index - <

    <.>System.Posix.FilePath
    </> 
    1 (Function)System.Posix.FilePath
    2 (Function)HPath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - <

    <.>System.Posix.FilePath
    </> 
    1 (Function)System.Posix.FilePath
    2 (Function)HPath
    \ No newline at end of file diff --git a/doc-index-A.html b/doc-index-A.html index 3d29689..57469b6 100644 --- a/doc-index-A.html +++ b/doc-index-A.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - A)

    hpath-0.8.0: Support for well-typed paths

    Index - A

    AbsHPath
    addExtensionSystem.Posix.FilePath
    addTrailingPathSeparatorSystem.Posix.FilePath
    allDirectoryContentsSystem.Posix.Directory.Traversals
    allDirectoryContents'System.Posix.Directory.Traversals
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - A

    AbsHPath
    addExtensionSystem.Posix.FilePath
    addTrailingPathSeparatorSystem.Posix.FilePath
    allDirectoryContentsSystem.Posix.Directory.Traversals
    allDirectoryContents'System.Posix.Directory.Traversals
    \ No newline at end of file diff --git a/doc-index-All.html b/doc-index-All.html index 8db3575..e8bf4a5 100644 --- a/doc-index-All.html +++ b/doc-index-All.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index)

    hpath-0.8.0: Support for well-typed paths

    Index

    <.>System.Posix.FilePath
    </> 
    1 (Function)System.Posix.FilePath
    2 (Function)HPath
    AbsHPath
    addExtensionSystem.Posix.FilePath
    addTrailingPathSeparatorSystem.Posix.FilePath
    allDirectoryContentsSystem.Posix.Directory.Traversals
    allDirectoryContents'System.Posix.Directory.Traversals
    basenameHPath
    BlockDeviceHPath.IO
    bracketeerHPath.IO.Errors
    Can'tOpenDirectoryHPath.IO.Errors
    canonicalizePathHPath.IO
    canOpenDirectoryHPath.IO.Errors
    catchErrnoHPath.IO.Errors
    CharacterDeviceHPath.IO
    CollectFailuresHPath.IO
    combineSystem.Posix.FilePath
    copyDirRecursiveHPath.IO
    CopyFailedHPath.IO.Errors
    copyFileHPath.IO
    CopyModeHPath.IO
    createDirHPath.IO
    createRegularFileHPath.IO
    createSymlinkHPath.IO
    deleteDirHPath.IO
    deleteDirRecursiveHPath.IO
    deleteFileHPath.IO
    DestinationInSourceHPath.IO.Errors
    DirDoesExistHPath.IO.Errors
    DirDoesNotExistHPath.IO.Errors
    DirectoryHPath.IO
    dirnameHPath
    DirType 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    doesDirectoryExistHPath.IO.Errors
    doesFileExistHPath.IO.Errors
    dropExtensionSystem.Posix.FilePath
    dropExtensionsSystem.Posix.FilePath
    dropFileNameSystem.Posix.FilePath
    dropTrailingPathSeparatorSystem.Posix.FilePath
    dtBlkSystem.Posix.Directory.Foreign
    dtChrSystem.Posix.Directory.Foreign
    dtDirSystem.Posix.Directory.Foreign
    dtFifoSystem.Posix.Directory.Foreign
    dtLnkSystem.Posix.Directory.Foreign
    dtRegSystem.Posix.Directory.Foreign
    dtSockSystem.Posix.Directory.Foreign
    dtUnknownSystem.Posix.Directory.Foreign
    easyCopyHPath.IO
    easyDeleteHPath.IO
    equalFilePathSystem.Posix.FilePath
    executeFileHPath.IO
    extSeparatorSystem.Posix.FilePath
    FailEarlyHPath.IO
    fdOpendirSystem.Posix.Directory.Traversals
    FileDoesExistHPath.IO.Errors
    FileDoesNotExistHPath.IO.Errors
    FileTypeHPath.IO
    Flags 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    FnHPath
    fromAbsHPath
    fromRelHPath
    getAllParentsHPath
    getDirectoryContentsSystem.Posix.Directory.Traversals
    getDirectoryContents'System.Posix.Directory.Traversals
    getDirsFilesHPath.IO
    getFileTypeHPath.IO
    getSearchPathSystem.Posix.FilePath
    handleIOErrorHPath.IO.Errors
    hasExtensionSystem.Posix.FilePath
    hasParentDirSystem.Posix.FilePath
    hasTrailingPathSeparatorSystem.Posix.FilePath
    hiddenFileSystem.Posix.FilePath
    HPathIOExceptionHPath.IO.Errors
    InvalidOperationHPath.IO.Errors
    isAbsoluteSystem.Posix.FilePath
    isCan'tOpenDirectoryHPath.IO.Errors
    isCopyFailedHPath.IO.Errors
    isDestinationInSourceHPath.IO.Errors
    isDirDoesExistHPath.IO.Errors
    isDirDoesNotExistHPath.IO.Errors
    isExtSeparatorSystem.Posix.FilePath
    isFileDoesExistHPath.IO.Errors
    isFileDoesNotExistHPath.IO.Errors
    isFileNameSystem.Posix.FilePath
    isInvalidOperationHPath.IO.Errors
    isParentOfHPath
    isPathSeparatorSystem.Posix.FilePath
    isRecursiveFailureHPath.IO.Errors
    isRelativeSystem.Posix.FilePath
    isSameFileHPath.IO.Errors
    isSearchPathSeparatorSystem.Posix.FilePath
    isSupportedSystem.Posix.Directory.Foreign
    isValidSystem.Posix.FilePath
    isWritableHPath.IO.Errors
    joinPathSystem.Posix.FilePath
    makeRelativeSystem.Posix.FilePath
    makeValidSystem.Posix.FilePath
    moveFileHPath.IO
    NamedPipeHPath.IO
    newDirPermsHPath.IO
    newFilePermsHPath.IO
    normaliseSystem.Posix.FilePath
    oAppendSystem.Posix.Directory.Foreign
    oAsyncSystem.Posix.Directory.Foreign
    oCloexecSystem.Posix.Directory.Foreign
    oCreatSystem.Posix.Directory.Foreign
    oDirectorySystem.Posix.Directory.Foreign
    oExclSystem.Posix.Directory.Foreign
    oNocttySystem.Posix.Directory.Foreign
    oNofollowSystem.Posix.Directory.Foreign
    oNonblockSystem.Posix.Directory.Foreign
    openFdSystem.Posix.FD
    openFileHPath.IO
    oRdonlySystem.Posix.Directory.Foreign
    oRdwrSystem.Posix.Directory.Foreign
    oSyncSystem.Posix.Directory.Foreign
    oTruncSystem.Posix.Directory.Foreign
    OverwriteHPath.IO
    oWronlySystem.Posix.Directory.Foreign
    packDirStreamSystem.Posix.Directory.Traversals
    parseAbsHPath
    parseFnHPath
    parseRelHPath
    Path 
    1 (Type/Class)HPath
    2 (Data Constructor)HPath
    PathExceptionHPath
    pathMaxSystem.Posix.Directory.Foreign
    PathParseExceptionHPath
    pathSeparatorSystem.Posix.FilePath
    peekFilePathSystem.Posix.FilePath
    peekFilePathLenSystem.Posix.FilePath
    RawFilePathSystem.Posix.FilePath
    reactOnErrorHPath.IO.Errors
    readDirEntSystem.Posix.Directory.Traversals
    realpathSystem.Posix.Directory.Traversals
    recreateSymlinkHPath.IO
    RecursiveErrorModeHPath.IO
    RecursiveFailureHPath.IO.Errors
    RegularFileHPath.IO
    RelHPath
    RelCHPath
    renameFileHPath.IO
    replaceBaseNameSystem.Posix.FilePath
    replaceDirectorySystem.Posix.FilePath
    replaceExtensionSystem.Posix.FilePath
    replaceFileNameSystem.Posix.FilePath
    rethrowErrnoAsHPath.IO.Errors
    SameFileHPath.IO.Errors
    sameFileHPath.IO.Errors
    searchPathSeparatorSystem.Posix.FilePath
    SocketHPath.IO
    splitDirectoriesSystem.Posix.FilePath
    splitExtensionSystem.Posix.FilePath
    splitExtensionsSystem.Posix.FilePath
    splitFileNameSystem.Posix.FilePath
    splitPathSystem.Posix.FilePath
    splitSearchPathSystem.Posix.FilePath
    StrictHPath.IO
    stripDirHPath
    stripExtensionSystem.Posix.FilePath
    SymbolicLinkHPath.IO
    takeBaseNameSystem.Posix.FilePath
    takeDirectorySystem.Posix.FilePath
    takeExtensionSystem.Posix.FilePath
    takeExtensionsSystem.Posix.FilePath
    takeFileNameSystem.Posix.FilePath
    throwCantOpenDirectoryHPath.IO.Errors
    throwDestinationInSourceHPath.IO.Errors
    throwDirDoesExistHPath.IO.Errors
    throwDirDoesNotExistHPath.IO.Errors
    throwErrnoPathSystem.Posix.FilePath
    throwErrnoPathIfSystem.Posix.FilePath
    throwErrnoPathIfMinus1System.Posix.FilePath
    throwErrnoPathIfMinus1RetrySystem.Posix.FilePath
    throwErrnoPathIfMinus1Retry_System.Posix.FilePath
    throwErrnoPathIfMinus1_System.Posix.FilePath
    throwErrnoPathIfNullSystem.Posix.FilePath
    throwErrnoPathIfNullRetrySystem.Posix.FilePath
    throwErrnoPathIfRetrySystem.Posix.FilePath
    throwErrnoPathIf_System.Posix.FilePath
    throwFileDoesExistHPath.IO.Errors
    throwFileDoesNotExistHPath.IO.Errors
    throwSameFileHPath.IO.Errors
    toFilePathHPath
    traverseDirectorySystem.Posix.Directory.Traversals
    unFlagsSystem.Posix.Directory.Foreign
    unionFlagsSystem.Posix.Directory.Foreign
    unpackDirStreamSystem.Posix.Directory.Traversals
    UnsupportedFlagSystem.Posix.Directory.Foreign
    withAbsPathHPath
    withFilePathSystem.Posix.FilePath
    withFnPathHPath
    withRelPathHPath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index

    <.>System.Posix.FilePath
    </> 
    1 (Function)System.Posix.FilePath
    2 (Function)HPath
    AbsHPath
    addExtensionSystem.Posix.FilePath
    addTrailingPathSeparatorSystem.Posix.FilePath
    allDirectoryContentsSystem.Posix.Directory.Traversals
    allDirectoryContents'System.Posix.Directory.Traversals
    basenameHPath
    BlockDeviceHPath.IO
    bracketeerHPath.IO.Errors
    Can'tOpenDirectoryHPath.IO.Errors
    canonicalizePathHPath.IO
    canOpenDirectoryHPath.IO.Errors
    catchErrnoHPath.IO.Errors
    CharacterDeviceHPath.IO
    CollectFailuresHPath.IO
    combineSystem.Posix.FilePath
    copyDirRecursiveHPath.IO
    CopyFailedHPath.IO.Errors
    copyFileHPath.IO
    CopyModeHPath.IO
    createDirHPath.IO
    createRegularFileHPath.IO
    createSymlinkHPath.IO
    deleteDirHPath.IO
    deleteDirRecursiveHPath.IO
    deleteFileHPath.IO
    DestinationInSourceHPath.IO.Errors
    DirDoesExistHPath.IO.Errors
    DirDoesNotExistHPath.IO.Errors
    DirectoryHPath.IO
    dirnameHPath
    DirType 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    doesDirectoryExistHPath.IO.Errors
    doesFileExistHPath.IO.Errors
    dropExtensionSystem.Posix.FilePath
    dropExtensionsSystem.Posix.FilePath
    dropFileNameSystem.Posix.FilePath
    dropTrailingPathSeparatorSystem.Posix.FilePath
    dtBlkSystem.Posix.Directory.Foreign
    dtChrSystem.Posix.Directory.Foreign
    dtDirSystem.Posix.Directory.Foreign
    dtFifoSystem.Posix.Directory.Foreign
    dtLnkSystem.Posix.Directory.Foreign
    dtRegSystem.Posix.Directory.Foreign
    dtSockSystem.Posix.Directory.Foreign
    dtUnknownSystem.Posix.Directory.Foreign
    easyCopyHPath.IO
    easyDeleteHPath.IO
    equalFilePathSystem.Posix.FilePath
    executeFileHPath.IO
    extSeparatorSystem.Posix.FilePath
    FailEarlyHPath.IO
    fdOpendirSystem.Posix.Directory.Traversals
    FileDoesExistHPath.IO.Errors
    FileDoesNotExistHPath.IO.Errors
    FileTypeHPath.IO
    Flags 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    FnHPath
    fromAbsHPath
    fromRelHPath
    getAllParentsHPath
    getDirectoryContentsSystem.Posix.Directory.Traversals
    getDirectoryContents'System.Posix.Directory.Traversals
    getDirsFilesHPath.IO
    getFileTypeHPath.IO
    getSearchPathSystem.Posix.FilePath
    handleIOErrorHPath.IO.Errors
    hasExtensionSystem.Posix.FilePath
    hasParentDirSystem.Posix.FilePath
    hasTrailingPathSeparatorSystem.Posix.FilePath
    hiddenFileSystem.Posix.FilePath
    HPathIOExceptionHPath.IO.Errors
    InvalidOperationHPath.IO.Errors
    isAbsoluteSystem.Posix.FilePath
    isCan'tOpenDirectoryHPath.IO.Errors
    isCopyFailedHPath.IO.Errors
    isDestinationInSourceHPath.IO.Errors
    isDirDoesExistHPath.IO.Errors
    isDirDoesNotExistHPath.IO.Errors
    isExtSeparatorSystem.Posix.FilePath
    isFileDoesExistHPath.IO.Errors
    isFileDoesNotExistHPath.IO.Errors
    isFileNameSystem.Posix.FilePath
    isInvalidOperationHPath.IO.Errors
    isParentOfHPath
    isPathSeparatorSystem.Posix.FilePath
    isRecursiveFailureHPath.IO.Errors
    isRelativeSystem.Posix.FilePath
    isSameFileHPath.IO.Errors
    isSearchPathSeparatorSystem.Posix.FilePath
    isSupportedSystem.Posix.Directory.Foreign
    isValidSystem.Posix.FilePath
    isWritableHPath.IO.Errors
    joinPathSystem.Posix.FilePath
    makeRelativeSystem.Posix.FilePath
    makeValidSystem.Posix.FilePath
    moveFileHPath.IO
    NamedPipeHPath.IO
    newDirPermsHPath.IO
    newFilePermsHPath.IO
    normaliseSystem.Posix.FilePath
    oAppendSystem.Posix.Directory.Foreign
    oAsyncSystem.Posix.Directory.Foreign
    oCloexecSystem.Posix.Directory.Foreign
    oCreatSystem.Posix.Directory.Foreign
    oDirectorySystem.Posix.Directory.Foreign
    oExclSystem.Posix.Directory.Foreign
    oNocttySystem.Posix.Directory.Foreign
    oNofollowSystem.Posix.Directory.Foreign
    oNonblockSystem.Posix.Directory.Foreign
    openFdSystem.Posix.FD
    openFileHPath.IO
    oRdonlySystem.Posix.Directory.Foreign
    oRdwrSystem.Posix.Directory.Foreign
    oSyncSystem.Posix.Directory.Foreign
    oTruncSystem.Posix.Directory.Foreign
    OverwriteHPath.IO
    oWronlySystem.Posix.Directory.Foreign
    packDirStreamSystem.Posix.Directory.Traversals
    parseAbsHPath
    parseFnHPath
    parseRelHPath
    Path 
    1 (Type/Class)HPath
    2 (Data Constructor)HPath
    PathExceptionHPath
    pathMaxSystem.Posix.Directory.Foreign
    PathParseExceptionHPath
    pathSeparatorSystem.Posix.FilePath
    peekFilePathSystem.Posix.FilePath
    peekFilePathLenSystem.Posix.FilePath
    RawFilePathSystem.Posix.FilePath
    reactOnErrorHPath.IO.Errors
    readDirEntSystem.Posix.Directory.Traversals
    realpathSystem.Posix.Directory.Traversals
    recreateSymlinkHPath.IO
    RecursiveErrorModeHPath.IO
    RecursiveFailureHPath.IO.Errors
    RegularFileHPath.IO
    RelHPath
    RelCHPath
    renameFileHPath.IO
    replaceBaseNameSystem.Posix.FilePath
    replaceDirectorySystem.Posix.FilePath
    replaceExtensionSystem.Posix.FilePath
    replaceFileNameSystem.Posix.FilePath
    rethrowErrnoAsHPath.IO.Errors
    SameFileHPath.IO.Errors
    sameFileHPath.IO.Errors
    searchPathSeparatorSystem.Posix.FilePath
    SocketHPath.IO
    splitDirectoriesSystem.Posix.FilePath
    splitExtensionSystem.Posix.FilePath
    splitExtensionsSystem.Posix.FilePath
    splitFileNameSystem.Posix.FilePath
    splitPathSystem.Posix.FilePath
    splitSearchPathSystem.Posix.FilePath
    StrictHPath.IO
    stripDirHPath
    stripExtensionSystem.Posix.FilePath
    SymbolicLinkHPath.IO
    takeBaseNameSystem.Posix.FilePath
    takeDirectorySystem.Posix.FilePath
    takeExtensionSystem.Posix.FilePath
    takeExtensionsSystem.Posix.FilePath
    takeFileNameSystem.Posix.FilePath
    throwCantOpenDirectoryHPath.IO.Errors
    throwDestinationInSourceHPath.IO.Errors
    throwDirDoesExistHPath.IO.Errors
    throwDirDoesNotExistHPath.IO.Errors
    throwErrnoPathSystem.Posix.FilePath
    throwErrnoPathIfSystem.Posix.FilePath
    throwErrnoPathIfMinus1System.Posix.FilePath
    throwErrnoPathIfMinus1RetrySystem.Posix.FilePath
    throwErrnoPathIfMinus1Retry_System.Posix.FilePath
    throwErrnoPathIfMinus1_System.Posix.FilePath
    throwErrnoPathIfNullSystem.Posix.FilePath
    throwErrnoPathIfNullRetrySystem.Posix.FilePath
    throwErrnoPathIfRetrySystem.Posix.FilePath
    throwErrnoPathIf_System.Posix.FilePath
    throwFileDoesExistHPath.IO.Errors
    throwFileDoesNotExistHPath.IO.Errors
    throwSameFileHPath.IO.Errors
    toFilePathHPath
    traverseDirectorySystem.Posix.Directory.Traversals
    unFlagsSystem.Posix.Directory.Foreign
    unionFlagsSystem.Posix.Directory.Foreign
    unpackDirStreamSystem.Posix.Directory.Traversals
    UnsupportedFlagSystem.Posix.Directory.Foreign
    withAbsPathHPath
    withFilePathSystem.Posix.FilePath
    withFnPathHPath
    withRelPathHPath
    \ No newline at end of file diff --git a/doc-index-B.html b/doc-index-B.html index 4118213..a27a72d 100644 --- a/doc-index-B.html +++ b/doc-index-B.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - B)

    hpath-0.8.0: Support for well-typed paths

    Index - B

    basenameHPath
    BlockDeviceHPath.IO
    bracketeerHPath.IO.Errors
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - B

    basenameHPath
    BlockDeviceHPath.IO
    bracketeerHPath.IO.Errors
    \ No newline at end of file diff --git a/doc-index-C.html b/doc-index-C.html index c60ff98..26b4374 100644 --- a/doc-index-C.html +++ b/doc-index-C.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - C)

    hpath-0.8.0: Support for well-typed paths

    Index - C

    Can'tOpenDirectoryHPath.IO.Errors
    canonicalizePathHPath.IO
    canOpenDirectoryHPath.IO.Errors
    catchErrnoHPath.IO.Errors
    CharacterDeviceHPath.IO
    CollectFailuresHPath.IO
    combineSystem.Posix.FilePath
    copyDirRecursiveHPath.IO
    CopyFailedHPath.IO.Errors
    copyFileHPath.IO
    CopyModeHPath.IO
    createDirHPath.IO
    createRegularFileHPath.IO
    createSymlinkHPath.IO
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - C

    Can'tOpenDirectoryHPath.IO.Errors
    canonicalizePathHPath.IO
    canOpenDirectoryHPath.IO.Errors
    catchErrnoHPath.IO.Errors
    CharacterDeviceHPath.IO
    CollectFailuresHPath.IO
    combineSystem.Posix.FilePath
    copyDirRecursiveHPath.IO
    CopyFailedHPath.IO.Errors
    copyFileHPath.IO
    CopyModeHPath.IO
    createDirHPath.IO
    createRegularFileHPath.IO
    createSymlinkHPath.IO
    \ No newline at end of file diff --git a/doc-index-D.html b/doc-index-D.html index f63cae2..f72be1b 100644 --- a/doc-index-D.html +++ b/doc-index-D.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - D)

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file diff --git a/doc-index-E.html b/doc-index-E.html index ee70b6d..bfadf46 100644 --- a/doc-index-E.html +++ b/doc-index-E.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - E)

    hpath-0.8.0: Support for well-typed paths

    Index - E

    easyCopyHPath.IO
    easyDeleteHPath.IO
    equalFilePathSystem.Posix.FilePath
    executeFileHPath.IO
    extSeparatorSystem.Posix.FilePath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - E

    easyCopyHPath.IO
    easyDeleteHPath.IO
    equalFilePathSystem.Posix.FilePath
    executeFileHPath.IO
    extSeparatorSystem.Posix.FilePath
    \ No newline at end of file diff --git a/doc-index-F.html b/doc-index-F.html index f072bcb..b477035 100644 --- a/doc-index-F.html +++ b/doc-index-F.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - F)

    hpath-0.8.0: Support for well-typed paths

    Index - F

    FailEarlyHPath.IO
    fdOpendirSystem.Posix.Directory.Traversals
    FileDoesExistHPath.IO.Errors
    FileDoesNotExistHPath.IO.Errors
    FileTypeHPath.IO
    Flags 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    FnHPath
    fromAbsHPath
    fromRelHPath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - F

    FailEarlyHPath.IO
    fdOpendirSystem.Posix.Directory.Traversals
    FileDoesExistHPath.IO.Errors
    FileDoesNotExistHPath.IO.Errors
    FileTypeHPath.IO
    Flags 
    1 (Type/Class)System.Posix.Directory.Foreign
    2 (Data Constructor)System.Posix.Directory.Foreign
    FnHPath
    fromAbsHPath
    fromRelHPath
    \ No newline at end of file diff --git a/doc-index-G.html b/doc-index-G.html index 95139ca..280a54b 100644 --- a/doc-index-G.html +++ b/doc-index-G.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - G)

    hpath-0.8.0: Support for well-typed paths

    Index - G

    getAllParentsHPath
    getDirectoryContentsSystem.Posix.Directory.Traversals
    getDirectoryContents'System.Posix.Directory.Traversals
    getDirsFilesHPath.IO
    getFileTypeHPath.IO
    getSearchPathSystem.Posix.FilePath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - G

    getAllParentsHPath
    getDirectoryContentsSystem.Posix.Directory.Traversals
    getDirectoryContents'System.Posix.Directory.Traversals
    getDirsFilesHPath.IO
    getFileTypeHPath.IO
    getSearchPathSystem.Posix.FilePath
    \ No newline at end of file diff --git a/doc-index-H.html b/doc-index-H.html index bcd29dd..28973a3 100644 --- a/doc-index-H.html +++ b/doc-index-H.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - H)

    hpath-0.8.0: Support for well-typed paths

    Index - H

    handleIOErrorHPath.IO.Errors
    hasExtensionSystem.Posix.FilePath
    hasParentDirSystem.Posix.FilePath
    hasTrailingPathSeparatorSystem.Posix.FilePath
    hiddenFileSystem.Posix.FilePath
    HPathIOExceptionHPath.IO.Errors
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - H

    handleIOErrorHPath.IO.Errors
    hasExtensionSystem.Posix.FilePath
    hasParentDirSystem.Posix.FilePath
    hasTrailingPathSeparatorSystem.Posix.FilePath
    hiddenFileSystem.Posix.FilePath
    HPathIOExceptionHPath.IO.Errors
    \ No newline at end of file diff --git a/doc-index-I.html b/doc-index-I.html index dfff032..fd43463 100644 --- a/doc-index-I.html +++ b/doc-index-I.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - I)

    hpath-0.8.0: Support for well-typed paths

    Index - I

    InvalidOperationHPath.IO.Errors
    isAbsoluteSystem.Posix.FilePath
    isCan'tOpenDirectoryHPath.IO.Errors
    isCopyFailedHPath.IO.Errors
    isDestinationInSourceHPath.IO.Errors
    isDirDoesExistHPath.IO.Errors
    isDirDoesNotExistHPath.IO.Errors
    isExtSeparatorSystem.Posix.FilePath
    isFileDoesExistHPath.IO.Errors
    isFileDoesNotExistHPath.IO.Errors
    isFileNameSystem.Posix.FilePath
    isInvalidOperationHPath.IO.Errors
    isParentOfHPath
    isPathSeparatorSystem.Posix.FilePath
    isRecursiveFailureHPath.IO.Errors
    isRelativeSystem.Posix.FilePath
    isSameFileHPath.IO.Errors
    isSearchPathSeparatorSystem.Posix.FilePath
    isSupportedSystem.Posix.Directory.Foreign
    isValidSystem.Posix.FilePath
    isWritableHPath.IO.Errors
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - I

    InvalidOperationHPath.IO.Errors
    isAbsoluteSystem.Posix.FilePath
    isCan'tOpenDirectoryHPath.IO.Errors
    isCopyFailedHPath.IO.Errors
    isDestinationInSourceHPath.IO.Errors
    isDirDoesExistHPath.IO.Errors
    isDirDoesNotExistHPath.IO.Errors
    isExtSeparatorSystem.Posix.FilePath
    isFileDoesExistHPath.IO.Errors
    isFileDoesNotExistHPath.IO.Errors
    isFileNameSystem.Posix.FilePath
    isInvalidOperationHPath.IO.Errors
    isParentOfHPath
    isPathSeparatorSystem.Posix.FilePath
    isRecursiveFailureHPath.IO.Errors
    isRelativeSystem.Posix.FilePath
    isSameFileHPath.IO.Errors
    isSearchPathSeparatorSystem.Posix.FilePath
    isSupportedSystem.Posix.Directory.Foreign
    isValidSystem.Posix.FilePath
    isWritableHPath.IO.Errors
    \ No newline at end of file diff --git a/doc-index-J.html b/doc-index-J.html index afa8e68..93fd238 100644 --- a/doc-index-J.html +++ b/doc-index-J.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - J)

    hpath-0.8.0: Support for well-typed paths

    Index - J

    joinPathSystem.Posix.FilePath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - J

    joinPathSystem.Posix.FilePath
    \ No newline at end of file diff --git a/doc-index-M.html b/doc-index-M.html index 5fe1e15..5b84e8d 100644 --- a/doc-index-M.html +++ b/doc-index-M.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - M)

    hpath-0.8.0: Support for well-typed paths

    Index - M

    makeRelativeSystem.Posix.FilePath
    makeValidSystem.Posix.FilePath
    moveFileHPath.IO
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - M

    makeRelativeSystem.Posix.FilePath
    makeValidSystem.Posix.FilePath
    moveFileHPath.IO
    \ No newline at end of file diff --git a/doc-index-N.html b/doc-index-N.html index 8372785..6fe01a3 100644 --- a/doc-index-N.html +++ b/doc-index-N.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - N)

    hpath-0.8.0: Support for well-typed paths

    Index - N

    NamedPipeHPath.IO
    newDirPermsHPath.IO
    newFilePermsHPath.IO
    normaliseSystem.Posix.FilePath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - N

    NamedPipeHPath.IO
    newDirPermsHPath.IO
    newFilePermsHPath.IO
    normaliseSystem.Posix.FilePath
    \ No newline at end of file diff --git a/doc-index-O.html b/doc-index-O.html index 51b7632..d3dba5a 100644 --- a/doc-index-O.html +++ b/doc-index-O.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - O)

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file diff --git a/doc-index-P.html b/doc-index-P.html index 0b6ebd2..13a8623 100644 --- a/doc-index-P.html +++ b/doc-index-P.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - P)

    hpath-0.8.0: Support for well-typed paths

    Index - P

    packDirStreamSystem.Posix.Directory.Traversals
    parseAbsHPath
    parseFnHPath
    parseRelHPath
    Path 
    1 (Type/Class)HPath
    2 (Data Constructor)HPath
    PathExceptionHPath
    pathMaxSystem.Posix.Directory.Foreign
    PathParseExceptionHPath
    pathSeparatorSystem.Posix.FilePath
    peekFilePathSystem.Posix.FilePath
    peekFilePathLenSystem.Posix.FilePath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - P

    packDirStreamSystem.Posix.Directory.Traversals
    parseAbsHPath
    parseFnHPath
    parseRelHPath
    Path 
    1 (Type/Class)HPath
    2 (Data Constructor)HPath
    PathExceptionHPath
    pathMaxSystem.Posix.Directory.Foreign
    PathParseExceptionHPath
    pathSeparatorSystem.Posix.FilePath
    peekFilePathSystem.Posix.FilePath
    peekFilePathLenSystem.Posix.FilePath
    \ No newline at end of file diff --git a/doc-index-R.html b/doc-index-R.html index 4036d38..98fc54c 100644 --- a/doc-index-R.html +++ b/doc-index-R.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - R)

    hpath-0.8.0: Support for well-typed paths

    Index - R

    RawFilePathSystem.Posix.FilePath
    reactOnErrorHPath.IO.Errors
    readDirEntSystem.Posix.Directory.Traversals
    realpathSystem.Posix.Directory.Traversals
    recreateSymlinkHPath.IO
    RecursiveErrorModeHPath.IO
    RecursiveFailureHPath.IO.Errors
    RegularFileHPath.IO
    RelHPath
    RelCHPath
    renameFileHPath.IO
    replaceBaseNameSystem.Posix.FilePath
    replaceDirectorySystem.Posix.FilePath
    replaceExtensionSystem.Posix.FilePath
    replaceFileNameSystem.Posix.FilePath
    rethrowErrnoAsHPath.IO.Errors
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - R

    RawFilePathSystem.Posix.FilePath
    reactOnErrorHPath.IO.Errors
    readDirEntSystem.Posix.Directory.Traversals
    realpathSystem.Posix.Directory.Traversals
    recreateSymlinkHPath.IO
    RecursiveErrorModeHPath.IO
    RecursiveFailureHPath.IO.Errors
    RegularFileHPath.IO
    RelHPath
    RelCHPath
    renameFileHPath.IO
    replaceBaseNameSystem.Posix.FilePath
    replaceDirectorySystem.Posix.FilePath
    replaceExtensionSystem.Posix.FilePath
    replaceFileNameSystem.Posix.FilePath
    rethrowErrnoAsHPath.IO.Errors
    \ No newline at end of file diff --git a/doc-index-S.html b/doc-index-S.html index 8059603..aeef933 100644 --- a/doc-index-S.html +++ b/doc-index-S.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - S)

    hpath-0.8.0: Support for well-typed paths

    Index - S

    SameFileHPath.IO.Errors
    sameFileHPath.IO.Errors
    searchPathSeparatorSystem.Posix.FilePath
    SocketHPath.IO
    splitDirectoriesSystem.Posix.FilePath
    splitExtensionSystem.Posix.FilePath
    splitExtensionsSystem.Posix.FilePath
    splitFileNameSystem.Posix.FilePath
    splitPathSystem.Posix.FilePath
    splitSearchPathSystem.Posix.FilePath
    StrictHPath.IO
    stripDirHPath
    stripExtensionSystem.Posix.FilePath
    SymbolicLinkHPath.IO
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - S

    SameFileHPath.IO.Errors
    sameFileHPath.IO.Errors
    searchPathSeparatorSystem.Posix.FilePath
    SocketHPath.IO
    splitDirectoriesSystem.Posix.FilePath
    splitExtensionSystem.Posix.FilePath
    splitExtensionsSystem.Posix.FilePath
    splitFileNameSystem.Posix.FilePath
    splitPathSystem.Posix.FilePath
    splitSearchPathSystem.Posix.FilePath
    StrictHPath.IO
    stripDirHPath
    stripExtensionSystem.Posix.FilePath
    SymbolicLinkHPath.IO
    \ No newline at end of file diff --git a/doc-index-T.html b/doc-index-T.html index a6b62be..ffd392d 100644 --- a/doc-index-T.html +++ b/doc-index-T.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - T)

    hpath-0.8.0: Support for well-typed paths

    Index - T

    takeBaseNameSystem.Posix.FilePath
    takeDirectorySystem.Posix.FilePath
    takeExtensionSystem.Posix.FilePath
    takeExtensionsSystem.Posix.FilePath
    takeFileNameSystem.Posix.FilePath
    throwCantOpenDirectoryHPath.IO.Errors
    throwDestinationInSourceHPath.IO.Errors
    throwDirDoesExistHPath.IO.Errors
    throwDirDoesNotExistHPath.IO.Errors
    throwErrnoPathSystem.Posix.FilePath
    throwErrnoPathIfSystem.Posix.FilePath
    throwErrnoPathIfMinus1System.Posix.FilePath
    throwErrnoPathIfMinus1RetrySystem.Posix.FilePath
    throwErrnoPathIfMinus1Retry_System.Posix.FilePath
    throwErrnoPathIfMinus1_System.Posix.FilePath
    throwErrnoPathIfNullSystem.Posix.FilePath
    throwErrnoPathIfNullRetrySystem.Posix.FilePath
    throwErrnoPathIfRetrySystem.Posix.FilePath
    throwErrnoPathIf_System.Posix.FilePath
    throwFileDoesExistHPath.IO.Errors
    throwFileDoesNotExistHPath.IO.Errors
    throwSameFileHPath.IO.Errors
    toFilePathHPath
    traverseDirectorySystem.Posix.Directory.Traversals
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - T

    takeBaseNameSystem.Posix.FilePath
    takeDirectorySystem.Posix.FilePath
    takeExtensionSystem.Posix.FilePath
    takeExtensionsSystem.Posix.FilePath
    takeFileNameSystem.Posix.FilePath
    throwCantOpenDirectoryHPath.IO.Errors
    throwDestinationInSourceHPath.IO.Errors
    throwDirDoesExistHPath.IO.Errors
    throwDirDoesNotExistHPath.IO.Errors
    throwErrnoPathSystem.Posix.FilePath
    throwErrnoPathIfSystem.Posix.FilePath
    throwErrnoPathIfMinus1System.Posix.FilePath
    throwErrnoPathIfMinus1RetrySystem.Posix.FilePath
    throwErrnoPathIfMinus1Retry_System.Posix.FilePath
    throwErrnoPathIfMinus1_System.Posix.FilePath
    throwErrnoPathIfNullSystem.Posix.FilePath
    throwErrnoPathIfNullRetrySystem.Posix.FilePath
    throwErrnoPathIfRetrySystem.Posix.FilePath
    throwErrnoPathIf_System.Posix.FilePath
    throwFileDoesExistHPath.IO.Errors
    throwFileDoesNotExistHPath.IO.Errors
    throwSameFileHPath.IO.Errors
    toFilePathHPath
    traverseDirectorySystem.Posix.Directory.Traversals
    \ No newline at end of file diff --git a/doc-index-U.html b/doc-index-U.html index 07f0fd8..1abb33e 100644 --- a/doc-index-U.html +++ b/doc-index-U.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - U)

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file diff --git a/doc-index-W.html b/doc-index-W.html index be9d0b3..116f62c 100644 --- a/doc-index-W.html +++ b/doc-index-W.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index - W)

    hpath-0.8.0: Support for well-typed paths

    Index - W

    withAbsPathHPath
    withFilePathSystem.Posix.FilePath
    withFnPathHPath
    withRelPathHPath
    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    Index - W

    withAbsPathHPath
    withFilePathSystem.Posix.FilePath
    withFnPathHPath
    withRelPathHPath
    \ No newline at end of file diff --git a/doc-index.html b/doc-index.html index 02109de..31723f3 100644 --- a/doc-index.html +++ b/doc-index.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths (Index)

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    \ No newline at end of file diff --git a/frames.html b/frames.html index e86edb6..1b4e38d 100644 --- a/frames.html +++ b/frames.html @@ -1,4 +1,4 @@ - diff --git a/haddock-util.js b/haddock-util.js index fc7743f..9a6fccf 100644 --- a/haddock-util.js +++ b/haddock-util.js @@ -131,11 +131,11 @@ function perform_search(full) var text = document.getElementById("searchbox").value.toLowerCase(); if (text == last_search && !full) return; last_search = text; - + var table = document.getElementById("indexlist"); var status = document.getElementById("searchmsg"); var children = table.firstChild.childNodes; - + // first figure out the first node with the prefix var first = bisect(-1); var last = (first == -1 ? -1 : bisect(1)); @@ -166,7 +166,7 @@ function perform_search(full) status.innerHTML = ""; } - + function setclass(first, last, status) { for (var i = first; i <= last; i++) @@ -174,8 +174,8 @@ function perform_search(full) children[i].className = status; } } - - + + // do a binary search, treating 0 as ... // return either -1 (no 0's found) or location of most far match function bisect(dir) @@ -201,9 +201,9 @@ function perform_search(full) if (checkitem(i) == 0) return i; } return -1; - } - - + } + + // from an index, decide what the result is // 0 = match, -1 is lower, 1 is higher function checkitem(i) @@ -212,8 +212,8 @@ function perform_search(full) if (s == text) return 0; else return (s > text ? -1 : 1); } - - + + // from an index, get its string // this abstracts over alternates function getitem(i) @@ -229,7 +229,7 @@ function perform_search(full) } function setSynopsis(filename) { - if (parent.window.synopsis && parent.window.synopsis.location) { + if (parent.window.synopsis) { if (parent.window.synopsis.location.replace) { // In Firefox this avoids adding the change to the history. parent.window.synopsis.location.replace(filename); @@ -250,7 +250,7 @@ function addMenuItem(html) { function adjustForFrames() { var bodyCls; - + if (parent.location.href == window.location.href) { // not in frames, so add Frames button addMenuItem("Frames"); diff --git a/hpath.haddock b/hpath.haddock index 002d27d5566055e770fa4433564b8fd196687b40..31bad804e5df411d8fafc1f93de41c3217edda15 100644 GIT binary patch delta 8784 zcmb_hdt6mj_P^hA?uE-sE&>69aseMG$io+ksNg%1hiQth1OWp@xFWvF1S=~YN3or3 z1xZOu(@O26mkeJ`(=T&U?EN&IYNn|)ZE9*}(tc~5doLcRnqPnX_UE(KS>L_a-h1u6 z*Is*{a}M6;{fE`wfdT&iI%A43Vc%;eY@c%YU|=m$6_d$iC*q_M#psetjy1?}9$7n% z@6p3dFxQ>Ma-KoX_sHS{b#f02p#paf%hL_=438`(o4>C0B2?wh@usK4ATKh=)dqR7 zL9Q{#OAPW-gS^ZjFE_|5OeXE5<#y;sG`I`cAZd`d804)6xzQju8RTsSx!E8;YLK@Z zZ@}SQPVrS|k!9BYegrQ8#u~2^TR#!^DWF z7?E7$Eq>Z*6)D4`EHO}(KAUS1CLHT+a>pW=#iL!v%am%^MCRNcqA=>9IaXCd#jzfd z;(FI1?ALKxRoCAG-Np58^DI56fdM~jKxEd3h~{fnVUNxd>GmhRdP0Q~Csq%R6on;b z(Y7~Ubn>%`Au%HntF4ULXhts)&@&6IBCltuZ#--B@=g}$6C7wKsffr9?!HyK*mI-m z)thyqMNrRR*%VIJ)~~lp{}}j-XZqY~ZVgn!#kqtLA~)G43Wu0Qa%zA!Ga(r0qd5{c z!z+Pn+r`sEdfikJt=gufXW^B|#kYv7MPcGkfi@b2UABk8EU(#Mm2)P;V%04PRJ({_ zsoA3KJ*%j%F^iIfAgy!i-9TTlvELxIRS6PLua6e(f&SD)gy!FW29PAm1{8Ekq=6*= z_fcLQaI1n8k&$)}4F|CzFgZ=yHoz)=Ok0Iiv2ySdSN^$#j{FH?)sT4f)AkG*13WJ- zr+=;TFTgUs$~GJdC-lS=e4e#7%Y4ze20M=vWEeKw9JWlK$^BGM*{{6WcSxr?keg_9?IorG~>q{md}!*wkRfoS`a_qGCY4cwu^= zh%T`C45RX1WTfsEBK~}cs4wvs2ktd%4@@^J7_P0K`4f~8koi97st!}SNrw+2wNta( z;FZZ^jd6RbU4{mc&vYLiFaABJOP5wCyq-M%av~0(E?;{=OD=2!vb0M@6BNrx>fSE0 z(&Dtjl9v^qQ9KQ#nk%rdmzY&zl_%;Dq&e<9;f2v!zsj=#K4VB_E~$(Wiw;K1`ukwk zl2+bgv5cks$eVXf*RMjviIHX+jlbBs`iy1Vuc~MV?o9^9YZvdk4BV=nTT`lHf;M<< zq-x2gN@?7#=2$OPOw@epSE$xDRY@TuMu|n!qQzd(5@aXjI@MxXiZhAvkF@6>Wx35X zl=v~C<3uNjP7=LH^arAsi2g|QGSUAKy+U+~=vAUtB0EtG5jPtrVj6Y@ageeT8FL>G zO?K!0%m^=+5!y+)9I>7N%Jn&oaXm~E`6SGtp$-yR&F_f*jmy*=Wrd7+kkEP9 zwPDSBfjsSRkG`j1vUsWG7^aB(A6uy0?)HtzR3x8?f02?nJMZgBy;K%%7 z)v9(b0af~JSG#!%l+m<_!nF3sR{>MC{N2Tw+&M-U6tex38X0J2LVV28G zzYn~@Qa-au%x+^gnb{O(w=;W_*;JD+ajwjDxhhxUI$UM4sn%74D@7U0^oF@@vmc#7vQWsNC-bg>6Y9 znk7ygYQSt!aCm}c4h=q<$9Tc60!pMOM-2_3q;1-8PXjz$_LXD`<$JBm1Eeo7nB_ zW1bP{ohZ(|7$)jo2zj>kU5lmAQ(e1uG)Yxw1p0{f7Y7SlYj@H9LWVf-awjq9bd+}G zWQ~_^5l?Iu^`9?Rw+D-RU-?FPUy�AUuF$E?dUbOSGKoiy7M4QwzK?S7e-f6vg7h zbH`93w!MA?rCPxo-&!$G%l&Yg5AM`B|E^xwidMlY;qL#+7HFPN(I*njZY@H^Y<=JM~yV;=#x*OME*+?GbBU|#Q?hnQ|;Yc-$AJU^XpFx4l zsUW*%RE5Ybk08^+E>-V5tzw;G-lQsxGIc(pMPvxwn8K{`LKvcCq%T5b$~rQztjXW` zkrzG(9@dX|@6VJ7s-Gy&_N6X;eJ~nAFTh`%l|JaC2)}>Cg)Su((=ukunXO>3FxiK8~QAPx3$hviO zbDlGgR$19pCqk#F~<>*T(DHrZZ5gZ=RVSWzr9eaS1UILxn` z?k`Wp(O6b>gSFv7YPu{V1irHH9*nT0!%yig*Y!Z8562oiQLzrWSAQ zfdLV0DSOF6BDR>L5l5hEXV0GKhR!We*vI(Y!gYP!A)5;kj>lwGFWAxGtnYaFVUV@n}V79&*J2O~uW_QPGMlD|vCU^L2A15xIyy41MkmI_Q0w)0VPPk+RzUnz-t z&y+*$3WUo$h7y}OmptX30q|BYDXG7tU@Jzd%pQn-*vdUr!Qs3-5ZmDCSIU>tFcz2P zq`O>Zm0_1$HyHD12Cfdq9Cp1)>DWmI^mUD{Z5lY6z$zfYq9Ou zCgMhqXY-JzUZ$zc8bMRJeK_u7P)d3#Z_{XLT73grUJX14~;~Kf+uA2Xk@Al$`E-lg509h5X8%uBGFxr8-ssQ zN5}6&p4>DR8F9k4DA2S>e5!sNa(1%xuiZ7d%0A<}aXx z{l_$j!g_14?u&e8ZTqzayvbQ;Hr>AR^V!rF)h^fMBJH}a$|zv+0MT1)6?t%*=v2O2HO zA=79!17~8n`nA$U2F=7!-OU{{X;t@4K!CS<3VEj-k=iWWh9{lgvoQhc9wk`>4vdy< zIkfog4z{V`&xZWfjlt=cgcQ5IQ?5KB$p;5j$*H~ zt^}{Dcv7E9>~lU`hDP8iXVQFh0-kmbUw}fmw!uxFJI zy}aLVrE97`k2+kok3d&ZKiONHXg14XDh1N>1vJ|`a%fuiS7A*@>+!sAM#;qWn0<5W z*e^F!V^N3VjSbdeh9ont%giOTV-7gCEWwLVuPQe7^Ir0EJHnmYmf<;hYxNr? z-R1el@Rli?SE9Z`~(yWy<3L(=&^J!lyKS2oAx-pjhf}S`zaJYH;CBN zYiLmp$hI|b{8E@7{s2-q%s+r>6ecFh)Gi2fUU&c_@k`^TD~sDQJx)swR4G1+%SV@h zL!LXFCpWs|6GgOv^7QWz@UuBc>6n9iZyu`kSyhQ6zZflRyU~D_Z@?^>xd9(ybwvM`p`$GH_*@?sOl20U(1@Z-ZfT2?fYaeCpmo9U?-KEb}@UL*|&11MA|SG4>B_his2zb?v7E^C#lvvf&hZ!XucwWDBz|onL>ilL0Vw8A3HTCyOe(IorB}zJ& z?vhPrIdmsx4D{tT__XC@VK7%0-JsYAN<2Wmx)Z$;+3Jp(TvX;M=O^C{Ia!#^my>oO zB9h-wIq7*7F4+af%CueRDd+D(7rAK{lJ(y{`YQ!%d9z*mn-l}?mtQ(K>0r4_b^(6H z;G~z_<&s_CZX;M}1os%hDh9PgdJ8OY(m|ar65!`*Be>TH?lXe>jbM!tJYWP58o@)R zP#4rYTH8@1-*_CK*Lv}6u$Oc4;@M!g=cEJP2b^>@-WZ(pk{!C}1}z@It+A_f($#jl zWEa?F1iG*DjOcn#7>jlr!5$-c(gXOp*9i6*!Ba+{M<2@Y;!HgXdBA@9kfn|C> zAKl<(dg@=N`N>uE&(s~@6iLU4PH@hvL>=HX1D@LxMEbYgj-uBnqXV2Vg0n`@ZUpCy z;B_N-!wB9qg16Z1J34xsia42h6z}Mw8@%fQ{Cv*{-ZujN?!?K=j6XMV(!obA*#*uU zK&}3bszdLByNEBJri(`KXCwH;19(+F^#Fc;M#Ss&7Y2W2M#;izpX;I<{LKSux#$ZI zV(_IAeB}ZBykrEIjo@n|xMBoX39voiaOU6L;9CZ+gMsE>-}3+9EJ`}~-X*)h4+OY{ zf3k7^GJ<~_!H-68%?Pd=!A~y0ZRw{_4z~@35wE(ZBmH_vjsXjocoE~oPv{oXQ@K8d4`Y=QZ{@l^FU8D5iXs>_ROnST7H>y+>FDT_t zSDbuuix!rae6}T%jMid^!0DzA-XemKZG9A=LE{+ NZOgscP zURmzBYlWx3ul>q9EP}!F*BESeyt>Q37E*vQ=0u`Ia+EF^au1Un?UK2A1b%>?3c@^B z7RmW0d6ZigA1MVrEr=$#a!8(Nk|()kQDC`H>w&1sl|yp1NuFzxYfSPylRV!f-))i? znB;{fd67%D;&(A)>QRqzQ0s}{Nml{M(j?cL=CdRtx zkQ#1w7l>`19kmGdx-!UJ%_Q$L$@@+60h4^tBp))#hfQ*;Nj_qd+fYs*Obs6;0TanD z>yjbAVv_$LR@=g&Xsip6N|2@_l>;(Lz&LU%Q@^pLD!|lk_JtM?D&%5)K#d`(0fFyB z%D*>37ASQ$J}igoM>CNbqynfNL60gSuTs%##G>8WoQb;7S)3^%FeE|^3rmEXqK%3) zg-sRIJGS6?cVJ%@QA~LFp;u0ROJ6;6WJLNVrM^#INv?SdNY|wBNL*|kt3S6TV(P>5b!I# zDDhR~v%EJGYn)F)FEuV|wZ+aNsD zz*Cv9r%kXXV<>KMyAmdA*Fv<>(`8^0JKhTr30?K5sF%~u0#9S&%xz224d{Vx^c8QX zj}d44rtw>u=$3xBkssNI^6&AyP4^{Lw2zDx&Wub9>nHHKc)b5v5i{?f2MvsG9P#bQ{!`0;F(Nq&kN<&-%<5}!r41oo?L~! zY`fx=Ilf?1M~*(gJ#W|Dju8>@k#b}z1h{o#4%ei%iJiRyMDak2>{btU zF?>!pF>v`V>&XA06SudUT6Vt`cn(u%tvC-nm#LFhmMc6D8+y>8@OEQ7lEi1?Wca`LLLDj>L8N;R zi^2Moa*Pivpi^KpcC>yBz-Tq8p^o!0*#E}ofEQp~HhsYPcqWE4xAF;0ShmdO6OF+h zuddm08Y~lV`N{lr2o?9W>?Jfa#Kcu!k5m?f06FGrNpYP-?EwURADxh*q$+RRU(|iSo07s~(zh+n8es-nB z=X1;iZo}dNvHam6QMLUV|AMKNJLUlYl8MS4x2S%*EHHR7nfZ#?Sz@0P`-0e)`e8`L zUol{GWK5=3N%hy7YT-+7KtFQjUwcbum^smUpfoK2*;FQ$?0%dVG2yeP!u|%QM(7|b zW}~bZc^MNWd&jHi4qxHQRDUlK_-g#x*X-hLEk>L< zo+;Ws^i%7O)>(NuQ=?w@1Nd6{Jpf_B`koT&YJeJvTQ5c`(cIb!FhNCoc=x7j| zN>hOxB|pi{^J3}cJeQZf)Xy(hLOMA`$vqdw+7Ya!ivvwHT50o;$R+w3d;bH#?RauV z%Dx-|ZTj+9!h;25Mv5~(q6m@OTnoo=g8hxilAS zYa3$ZoUwRjocO8CLt=5f$(&QXwk1NGx<0{LPyHG1F4~g|AA)r~<#~y@7ag+wc64(j z2XAFLA0|fz0eYT)D9_Ah!u)zlDHwz*~JKn8!2HAx3 zDpE$6JfJ|BeuK-NW05Co!LBW}!uP-%nTVRw4KBz!8&vR(I#N3L{bIlrhq$xBE<2WC z!)G?y#K=F{wJBb39AL4W>I1jIMVTA|<2Yw>M?GW!lNWs8aKt(s731fKB&nX*dSVR< zljr!lvQ28F0*}M4KVGLFNA}#!KCDni8fT4f#Ny4^jN`1d@D_WMLLZ~+6Xjj?kg16fs04rakysFhYKxfk z4TZnLC3!Iv4k?#-S6sh%t6G8GEna|krwd^a=dlI-m?u)s1Zjy~0k1AwnY_&bGd)@` zKTt+3hah>ND~(zZ-a{M^#-C!c*#WO9PxF-`@M@^GJOa9K*rq+v9UcVB3gCHimjfcT zEGKjaWd$E8PWA7jJrV^LuYH*hRxE|*xt$?WzFY}|JOtfFK zNZ)}t5t4B2ig&8ki2DOFK~F# ziRwg363eeT&y9hy!OeIRS*Kt z%5ibvR9g56nQ}kg-~*Cyt$aEJg5|-L5Ud@HgHj7Tp+zRZy$VJ?TBhW|c$sh~&d~2< zathSL68YKh;C=ta`iXM0qT62zvbhXGWOf!Vs<;H)4|4GKdnFRb>R1|t$=q9@2hRJs z>5%UEH1A4&iRw+U@=v$GK*Mf`teXvkMcXG4^6@l?R=(%)defL=mnUyUvl*ojAy;RD zr*fI6+)ySwx7}zn!v_y(+AMKU%W3b&Us@Jf?7;c+NDW#!-yNAV0+Pk-benh!4~wQb zc6nc4xa4vYw#w(yVJQ4vUQCCjd>4~d{a`vqE&ax*#mTo~v5&MbYPc_20ad!o=2aNj zoxjI|q71kPzNcv%A_E@6PDEzHLhNwBTzEnGj`yT)l*;zm=+28N;Bdv(<%F`8`xv&` z9XLnp4}okn*6)|jX*eZ@Qg4Dfdvlw-dl+Q;yvXT%)2Eh9c?^QI6T{$1@O*)9 zqHN)83)NPPfCdiRW%nF-gcfnS(fe7JOMs_3b~#DzXuvtrRA(_f#H~Njw!;`QeU|-d zHn^r9PKvbOR?noF;gl8m(D%Q_&lu2qWcg^E$Un-TN5fdFN=thiE$v9*)G$)RAzjpe z5~rORgY!_?$pb`nW2kf#LOkEiwBd!Y4dAlGo5h3Jxhx6uaU`9_4rToAi;*3f5GM}J zvB}KGz-HY;Eew#kg)mZnd_Opav%yP#I}!GynKRR1H%{ni***;>%Z^g)#3k7=85Su& z@NgQ*P|^5Fwv3$wfu8OF;Zi#wpO^w;Jolny;G;~Y+pgMZJ36iG;Yp(Dy-4}uLfnlG zWdv(gMY!`?G~g+sdP$@_Tnx{3#f?I7jixt#f3;aC&vKAE`@lW2%QSfNKRJs7giami z8qXF z&YiPFzCT&diFN0!#+ifrW>@)ECgjlB5JK1YmzlPG9n?`&T>DP%8`g-J{HPsYy@Eyc zRlBIh_r|6SyuOy%=^bXsO^eV1+d^zBu@+)@CwhDX^pHI_L$KX_(PP**nTK~L8DDH% zb%N!xSe%!5mdANfH9(DFGQ}6~SWD;tJb|Z+XuldPug5{0bgqYe$}YUvez+b_w{DFv z%pFtW<3y62)D>7n;<`x+#oN=iTy~_E;V}yiHx=)k)1ZAqew6J zkaIUdbjVXEKaI2vX$umKMT=as2^^FEXOmcU5ew5fvMm%w-5h?OBH(W48Bf`<5u&HF zU6{#UB6f|~e~B!qn8HcW2p37F7!iD#n4W%;cW#ERe)PMO5&$w^ZN+B%#c?ai>}Fz^ zbU+tcN;>Fc$OfP*1|_cbX@)2sM+cSh4254EOrRW0I-r*&N{XDn6(-$Ew?F;YIem37 zjU-GuC^cjQl(~SnR9YamADN@y>6APO(AAuh4rUs%0qCbYCH+5)a#`JiEB472{3Yfi zTUwwO+#y?AAVdG3i`{Lg>Q6pwff+0`1Dax#XuZ>)RC?0EJ!WvP87wh_rDkv+fm$T1 zTcEEe^=cVOm^>-;%XQHO?l*%KX7GD6SZM|in87MDc#wq{P;cm=&LU}l8qVtfzA^oG zDHeEA;YPOxed$t3NiW%K$OdRKgJv_>Vg_5ypv4SmA?l&gZPQYrq=RjSY=CE6z)C@T z)(t3V&zZsVZa``;xB;oXXa?KefYf#vZ>u;uq_@*uL_lAu_|;4F73&82qICm(TXX|` zd(?p({tQg4)yG_4v6P9VZ%Xvlfxd#>ppCLI=_N-E*#Pd9t(UxFF8PBQylMuo5$K$D z$IL~qo5682c*6|dbOBD^x6I&e1n(f7pa`BsI)!waV)m{X{E^zHqW6&WSAF_Y9sPN~ z6TFX-ZjN$3FoO@x;3G5m*bF`~gEJ;j%RV(B)@}x$nZaMo;IC%zxfy(cfRcqe@ue=h zz*lZS-?MH&@n>JV5qZ=ZiRgCES`M>F_`8C*d?)~-?}9ccu9BJi^@|6B|Dx={plvgijA z>KTCMS0|vrb^_{fC-5)>S_xF*iC?g}fENL87tq_u^+AMF3+z})V6ci*69Xn^*2<`0iaENF7#7rMDcW_0` z*u~Z5uFAeK(+g%)Exa+)i}Z$8mfSVZrG*tqORL`wS3KmNR_H0$wc_vQ`K=IRp%Qtt z6}ox`8EUe*6|eJacjI63Ln|uF<2qp(*-Vq3mvyobE zRhhd()`Iyp6{YiCj(g=VD6d&qQ!&3>4%-J&-d<#INJ&lQVp*~ey2snd8B;jC(3$em z`BgRU!_#L>`CWHcmeio0{A?d|lYia^UF4B{5E|x{hn*=KRnZwsYe7}%tn&F<_6`=bMK$?=8m@M}nfIORR*ziG#154&hpath-0.8.0: Support for well-typed paths \ No newline at end of file diff --git a/index.html b/index.html index 17ef648..1d5a152 100644 --- a/index.html +++ b/index.html @@ -1,4 +1,4 @@ -hpath-0.8.0: Support for well-typed paths

    hpath-0.8.0: Support for well-typed paths

    hpath-0.8.0: Support for well-typed paths

    Support for well-typed paths, utilizing ByteString under the hood.

    \ No newline at end of file +

    hpath-0.8.0: Support for well-typed paths

    hpath-0.8.0: Support for well-typed paths

    Support for well-typed paths, utilizing ByteString under the hood.

    \ No newline at end of file diff --git a/mini_HPath-IO-Errors.html b/mini_HPath-IO-Errors.html index 3134e89..b044600 100644 --- a/mini_HPath-IO-Errors.html +++ b/mini_HPath-IO-Errors.html @@ -1,4 +1,4 @@ -HPath.IO.Errors

    HPath.IO.Errors

    \ No newline at end of file diff --git a/mini_HPath-IO.html b/mini_HPath-IO.html index 8a82598..b2fecc9 100644 --- a/mini_HPath-IO.html +++ b/mini_HPath-IO.html @@ -1,4 +1,4 @@ -HPath.IO

    HPath.IO

    \ No newline at end of file diff --git a/mini_HPath.html b/mini_HPath.html index f1b0237..508fa77 100644 --- a/mini_HPath.html +++ b/mini_HPath.html @@ -1,4 +1,4 @@ -HPath

    HPath

    Types

    data Abs

    data Path b

    data Rel

    data Fn

    data PathParseException

    data PathException

    class RelC m

    PatternSynonyms/ViewPatterns

    Path Parsing

    parseAbs

    parseFn

    parseRel

    Path Conversion

    fromAbs

    fromRel

    toFilePath

    Path Operations

    (</>)

    basename

    dirname

    isParentOf

    getAllParents

    stripDir

    Path IO helpers

    withAbsPath

    withRelPath

    withFnPath

    \ No newline at end of file diff --git a/mini_System-Posix-Directory-Foreign.html b/mini_System-Posix-Directory-Foreign.html index 991dcbd..e45f7a2 100644 --- a/mini_System-Posix-Directory-Foreign.html +++ b/mini_System-Posix-Directory-Foreign.html @@ -1,4 +1,4 @@ -System.Posix.Directory.Foreign

    System.Posix.Directory.Foreign

    \ No newline at end of file diff --git a/mini_System-Posix-Directory-Traversals.html b/mini_System-Posix-Directory-Traversals.html index 281fb1a..dc1b13d 100644 --- a/mini_System-Posix-Directory-Traversals.html +++ b/mini_System-Posix-Directory-Traversals.html @@ -1,4 +1,4 @@ -System.Posix.Directory.Traversals

    System.Posix.Directory.Traversals

    \ No newline at end of file diff --git a/mini_System-Posix-FD.html b/mini_System-Posix-FD.html index 6c7914a..e5f3904 100644 --- a/mini_System-Posix-FD.html +++ b/mini_System-Posix-FD.html @@ -1,4 +1,4 @@ -System.Posix.FD

    System.Posix.FD

    \ No newline at end of file diff --git a/mini_System-Posix-FilePath.html b/mini_System-Posix-FilePath.html index e1d7491..578f4c9 100644 --- a/mini_System-Posix-FilePath.html +++ b/mini_System-Posix-FilePath.html @@ -1,4 +1,4 @@ -System.Posix.FilePath

    System.Posix.FilePath

    \ No newline at end of file diff --git a/ocean.css b/ocean.css index 3ebb14d..de43632 100644 --- a/ocean.css +++ b/ocean.css @@ -41,9 +41,6 @@ a[href]:link { color: rgb(196,69,29); } a[href]:visited { color: rgb(171,105,84); } a[href]:hover { text-decoration:underline; } -a[href].def:link, a[href].def:visited { color: black; } -a[href].def:hover { color: rgb(78, 98, 114); } - /* @end */ /* @group Fonts & Sizes */ @@ -146,23 +143,15 @@ ul.links li a { background-image: url(plus.gif); background-repeat: no-repeat; } +p.caption.collapser, +p.caption.expander { + background-position: 0 0.4em; +} .collapser, .expander { padding-left: 14px; margin-left: -14px; cursor: pointer; } -p.caption.collapser, -p.caption.expander { - background-position: 0 0.4em; -} - -.instance.collapser, .instance.expander { - margin-left: 0px; - background-position: left center; - min-width: 9px; - min-height: 9px; -} - pre { padding: 0.25em; @@ -183,9 +172,6 @@ pre { .keyword { font-weight: normal; } .def { font-weight: bold; } -@media print { - #footer { display: none; } -} /* @end */ @@ -332,7 +318,6 @@ div#style-menu-holder { height: 80%; top: 10%; padding: 0; - max-width: 75%; } #synopsis .caption { @@ -384,16 +369,12 @@ div#style-menu-holder { #interface h5 + div.top { margin-top: 1em; } -#interface .src .selflink, -#interface .src .link { +#interface p.src .link { float: right; color: #919191; + border-left: 1px solid #919191; background: #f0f0f0; padding: 0 0.5em 0.2em; - margin: 0 -0.5em 0 0; -} -#interface .src .selflink { - border-left: 1px solid #919191; margin: 0 -0.5em 0 0.5em; } @@ -425,39 +406,30 @@ div#style-menu-holder { margin-top: 0.8em; } -.clearfix:after { - clear: both; - content: " "; - display: block; - height: 0; - visibility: hidden; -} - -.subs ul { - list-style: none; - display: table; +.subs dl { margin: 0; } -.subs ul li { - display: table-row; -} - -.subs ul li dfn { - display: table-cell; - font-style: normal; - font-weight: bold; +.subs dt { + float: left; + clear: left; + display: block; margin: 1px 0; - white-space: nowrap; } -.subs ul li > .doc { - display: table-cell; +.subs dd { + float: right; + width: 90%; + display: block; padding-left: 0.5em; margin-bottom: 0.5em; } -.subs ul li > .doc p { +.subs dd.empty { + display: none; +} + +.subs dd p { margin: 0; } @@ -473,11 +445,6 @@ div#style-menu-holder { margin-left: 1em; } -/* Workaround for bug in Firefox (issue #384) */ -.inst-left { - float: left; -} - .top p.src { border-top: 1px solid #ccc; } diff --git a/src/HPath-IO.html b/src/HPath-IO.html index 3998c76..6a25fc0 100644 --- a/src/HPath-IO.html +++ b/src/HPath-IO.html @@ -258,660 +258,661 @@ --- |Copies the contents of a directory recursively to the given destination. --- Does not follow symbolic links. This behaves more or less like: --- --- @ --- mkdir \/destination\/dir --- cp -R \/source\/dir\/* \/destination\/dir\/ --- @ --- --- For directory contents, this will ignore any file type that is not --- `RegularFile`, `SymbolicLink` or `Directory`. --- --- For `Overwrite` copy mode this does not prune destination directory --- contents, so the destination might contain more files than the source after --- the operation has completed. Permissions of existing directories are --- fixed. --- --- Safety/reliability concerns: --- --- * not atomic --- * examines filetypes explicitly --- * an explicit check `throwDestinationInSource` is carried out for the --- top directory for basic sanity, because otherwise we might end up --- with an infinite copy loop... however, this operation is not --- carried out recursively (because it's slow) --- --- Throws: --- --- - `NoSuchThing` if source directory does not exist --- - `PermissionDenied` if source directory can't be opened --- - `SameFile` if source and destination are the same file --- (`HPathIOException`) --- - `DestinationInSource` if destination is contained in source --- (`HPathIOException`) --- --- Throws in `FailEarly` RecursiveErrorMode only: --- --- - `PermissionDenied` if output directory is not writable --- - `InvalidArgument` if source directory is wrong type (symlink) --- - `InappropriateType` if source directory is wrong type (regular file) --- --- Throws in `CollectFailures` RecursiveErrorMode only: --- --- - `RecursiveFailure` if any of the recursive operations that are not --- part of the top-directory sanity-checks fail (`HPathIOException`) --- --- Throws in `Strict` CopyMode only: --- --- - `AlreadyExists` if destination already exists -copyDirRecursive :: Path Abs -- ^ copy contents of this source dir - -> Path Abs -- ^ to this full destination (parent dirs - -- are not automatically created) - -> CopyMode - -> RecursiveErrorMode - -> IO () -copyDirRecursive fromp destdirp cm rm - = do - ce <- newIORef [] - -- for performance, sanity checks are only done for the top dir - throwSameFile fromp destdirp - throwDestinationInSource fromp destdirp - go ce fromp destdirp - collectedExceptions <- readIORef ce - unless (null collectedExceptions) - (throwIO . RecursiveFailure $ collectedExceptions) - where - go :: IORef [IOException] -> Path Abs -> Path Abs -> IO () - go ce fromp' destdirp' = do - - -- order is important here, so we don't get empty directories - -- on failure - contents <- handleIOE ce [] $ do - contents <- getDirsFiles fromp' - - fmode' <- PF.fileMode <$> PF.getSymbolicLinkStatus (fromAbs fromp') - case cm of - Strict -> createDirectory (fromAbs destdirp') fmode' - Overwrite -> catchIOError (createDirectory (fromAbs destdirp') - fmode') - $ \e -> - case ioeGetErrorType e of - AlreadyExists -> setFileMode (fromAbs destdirp') - fmode' - _ -> ioError e - return contents - - -- we can't use `easyCopy` here, because we want to call `go` - -- recursively to skip the top-level sanity checks - for_ contents $ \f -> do - ftype <- getFileType f - newdest <- (destdirp' </>) <$> basename f - case ftype of - SymbolicLink -> handleIOE ce () - $ recreateSymlink f newdest cm - Directory -> go ce f newdest - RegularFile -> handleIOE ce () $ copyFile f newdest cm - _ -> return () - handleIOE :: IORef [IOException] -> a -> IO a -> IO a - handleIOE ce def = case rm of - FailEarly -> handleIOError throwIO - CollectFailures -> handleIOError (\e -> modifyIORef ce (e:) - >> return def) - +-- |Copies the contents of a directory recursively to the given destination, while preserving permissions. +-- Does not follow symbolic links. This behaves more or less like +-- the following, without descending into the destination if it +-- already exists: +-- +-- @ +-- cp -a \/source\/dir \/destination\/somedir +-- @ +-- +-- For directory contents, this will ignore any file type that is not +-- `RegularFile`, `SymbolicLink` or `Directory`. +-- +-- For `Overwrite` copy mode this does not prune destination directory +-- contents, so the destination might contain more files than the source after +-- the operation has completed. Permissions of existing directories are +-- fixed. +-- +-- Safety/reliability concerns: +-- +-- * not atomic +-- * examines filetypes explicitly +-- * an explicit check `throwDestinationInSource` is carried out for the +-- top directory for basic sanity, because otherwise we might end up +-- with an infinite copy loop... however, this operation is not +-- carried out recursively (because it's slow) +-- +-- Throws: +-- +-- - `NoSuchThing` if source directory does not exist +-- - `PermissionDenied` if source directory can't be opened +-- - `SameFile` if source and destination are the same file +-- (`HPathIOException`) +-- - `DestinationInSource` if destination is contained in source +-- (`HPathIOException`) +-- +-- Throws in `FailEarly` RecursiveErrorMode only: +-- +-- - `PermissionDenied` if output directory is not writable +-- - `InvalidArgument` if source directory is wrong type (symlink) +-- - `InappropriateType` if source directory is wrong type (regular file) +-- +-- Throws in `CollectFailures` RecursiveErrorMode only: +-- +-- - `RecursiveFailure` if any of the recursive operations that are not +-- part of the top-directory sanity-checks fail (`HPathIOException`) +-- +-- Throws in `Strict` CopyMode only: +-- +-- - `AlreadyExists` if destination already exists +copyDirRecursive :: Path Abs -- ^ source dir + -> Path Abs -- ^ destination (parent dirs + -- are not automatically created) + -> CopyMode + -> RecursiveErrorMode + -> IO () +copyDirRecursive fromp destdirp cm rm + = do + ce <- newIORef [] + -- for performance, sanity checks are only done for the top dir + throwSameFile fromp destdirp + throwDestinationInSource fromp destdirp + go ce fromp destdirp + collectedExceptions <- readIORef ce + unless (null collectedExceptions) + (throwIO . RecursiveFailure $ collectedExceptions) + where + go :: IORef [IOException] -> Path Abs -> Path Abs -> IO () + go ce fromp' destdirp' = do + + -- order is important here, so we don't get empty directories + -- on failure + contents <- handleIOE ce [] $ do + contents <- getDirsFiles fromp' + + fmode' <- PF.fileMode <$> PF.getSymbolicLinkStatus (fromAbs fromp') + case cm of + Strict -> createDirectory (fromAbs destdirp') fmode' + Overwrite -> catchIOError (createDirectory (fromAbs destdirp') + fmode') + $ \e -> + case ioeGetErrorType e of + AlreadyExists -> setFileMode (fromAbs destdirp') + fmode' + _ -> ioError e + return contents + + -- we can't use `easyCopy` here, because we want to call `go` + -- recursively to skip the top-level sanity checks + for_ contents $ \f -> do + ftype <- getFileType f + newdest <- (destdirp' </>) <$> basename f + case ftype of + SymbolicLink -> handleIOE ce () + $ recreateSymlink f newdest cm + Directory -> go ce f newdest + RegularFile -> handleIOE ce () $ copyFile f newdest cm + _ -> return () + handleIOE :: IORef [IOException] -> a -> IO a -> IO a + handleIOE ce def = case rm of + FailEarly -> handleIOError throwIO + CollectFailures -> handleIOError (\e -> modifyIORef ce (e:) + >> return def) --- |Recreate a symlink. --- --- In `Overwrite` copy mode only files and empty directories are deleted. --- --- Safety/reliability concerns: --- --- * `Overwrite` mode is inherently non-atomic --- --- Throws: --- --- - `InvalidArgument` if source file is wrong type (not a symlink) --- - `PermissionDenied` if output directory cannot be written to --- - `PermissionDenied` if source directory cannot be opened --- - `SameFile` if source and destination are the same file --- (`HPathIOException`) --- + +-- |Recreate a symlink. +-- +-- In `Overwrite` copy mode only files and empty directories are deleted. +-- +-- Safety/reliability concerns: +-- +-- * `Overwrite` mode is inherently non-atomic +-- +-- Throws: +-- +-- - `InvalidArgument` if source file is wrong type (not a symlink) +-- - `PermissionDenied` if output directory cannot be written to +-- - `PermissionDenied` if source directory cannot be opened +-- - `SameFile` if source and destination are the same file +-- (`HPathIOException`) -- --- Throws in `Strict` mode only: --- --- - `AlreadyExists` if destination file already exists --- --- Throws in `Overwrite` mode only: --- --- - `UnsatisfiedConstraints` if destination file is non-empty directory --- --- Note: calls `symlink` -recreateSymlink :: Path Abs -- ^ the old symlink file - -> Path Abs -- ^ destination file - -> CopyMode - -> IO () -recreateSymlink symsource newsym cm - = do - throwSameFile symsource newsym - sympoint <- readSymbolicLink (fromAbs symsource) - case cm of - Strict -> return () - Overwrite -> do - writable <- isWritable (dirname newsym) - isfile <- doesFileExist newsym - isdir <- doesDirectoryExist newsym - when (writable && isfile) (deleteFile newsym) - when (writable && isdir) (deleteDir newsym) - createSymbolicLink sympoint (fromAbs newsym) - +-- +-- Throws in `Strict` mode only: +-- +-- - `AlreadyExists` if destination file already exists +-- +-- Throws in `Overwrite` mode only: +-- +-- - `UnsatisfiedConstraints` if destination file is non-empty directory +-- +-- Note: calls `symlink` +recreateSymlink :: Path Abs -- ^ the old symlink file + -> Path Abs -- ^ destination file + -> CopyMode + -> IO () +recreateSymlink symsource newsym cm + = do + throwSameFile symsource newsym + sympoint <- readSymbolicLink (fromAbs symsource) + case cm of + Strict -> return () + Overwrite -> do + writable <- isWritable (dirname newsym) + isfile <- doesFileExist newsym + isdir <- doesDirectoryExist newsym + when (writable && isfile) (deleteFile newsym) + when (writable && isdir) (deleteDir newsym) + createSymbolicLink sympoint (fromAbs newsym) --- |Copies the given regular file to the given destination. --- Neither follows symbolic links, nor accepts them. --- For "copying" symbolic links, use `recreateSymlink` instead. --- --- Note that this is still sort of a low-level function and doesn't --- examine file types. For a more high-level version, use `easyCopy` --- instead. --- --- In `Overwrite` copy mode only overwrites actual files, not directories. --- --- Safety/reliability concerns: --- --- * `Overwrite` mode is not atomic --- * when used on `CharacterDevice`, reads the "contents" and copies --- them to a regular file, which might take indefinitely --- * when used on `BlockDevice`, may either read the "contents" --- and copy them to a regular file (potentially hanging indefinitely) --- or may create a regular empty destination file --- * when used on `NamedPipe`, will hang indefinitely --- --- Throws: --- --- - `NoSuchThing` if source file does not exist --- - `NoSuchThing` if source file is a a `Socket` --- - `PermissionDenied` if output directory is not writable --- - `PermissionDenied` if source directory can't be opened --- - `InvalidArgument` if source file is wrong type (symlink or directory) --- - `SameFile` if source and destination are the same file --- (`HPathIOException`) --- --- Throws in `Strict` mode only: --- --- - `AlreadyExists` if destination already exists --- --- Note: calls `sendfile` and possibly `read`/`write` as fallback -copyFile :: Path Abs -- ^ source file - -> Path Abs -- ^ destination file - -> CopyMode - -> IO () -copyFile from to cm = do - throwSameFile from to - - case cm of - Strict -> _copyFile [SPDF.oNofollow] - [SPDF.oNofollow, SPDF.oExcl] - from to - Overwrite -> - catchIOError (_copyFile [SPDF.oNofollow] - [SPDF.oNofollow, SPDF.oTrunc] - from to) $ \e -> - case ioeGetErrorType e of - -- if the destination file is not writable, we need to - -- figure out if we can still copy by deleting it first - PermissionDenied -> do - exists <- doesFileExist to - writable <- isWritable (dirname to) - if exists && writable - then deleteFile to >> copyFile from to Strict - else ioError e - _ -> ioError e - + +-- |Copies the given regular file to the given destination. +-- Neither follows symbolic links, nor accepts them. +-- For "copying" symbolic links, use `recreateSymlink` instead. +-- +-- Note that this is still sort of a low-level function and doesn't +-- examine file types. For a more high-level version, use `easyCopy` +-- instead. +-- +-- In `Overwrite` copy mode only overwrites actual files, not directories. +-- +-- Safety/reliability concerns: +-- +-- * `Overwrite` mode is not atomic +-- * when used on `CharacterDevice`, reads the "contents" and copies +-- them to a regular file, which might take indefinitely +-- * when used on `BlockDevice`, may either read the "contents" +-- and copy them to a regular file (potentially hanging indefinitely) +-- or may create a regular empty destination file +-- * when used on `NamedPipe`, will hang indefinitely +-- +-- Throws: +-- +-- - `NoSuchThing` if source file does not exist +-- - `NoSuchThing` if source file is a a `Socket` +-- - `PermissionDenied` if output directory is not writable +-- - `PermissionDenied` if source directory can't be opened +-- - `InvalidArgument` if source file is wrong type (symlink or directory) +-- - `SameFile` if source and destination are the same file +-- (`HPathIOException`) +-- +-- Throws in `Strict` mode only: +-- +-- - `AlreadyExists` if destination already exists +-- +-- Note: calls `sendfile` and possibly `read`/`write` as fallback +copyFile :: Path Abs -- ^ source file + -> Path Abs -- ^ destination file + -> CopyMode + -> IO () +copyFile from to cm = do + throwSameFile from to + + case cm of + Strict -> _copyFile [SPDF.oNofollow] + [SPDF.oNofollow, SPDF.oExcl] + from to + Overwrite -> + catchIOError (_copyFile [SPDF.oNofollow] + [SPDF.oNofollow, SPDF.oTrunc] + from to) $ \e -> + case ioeGetErrorType e of + -- if the destination file is not writable, we need to + -- figure out if we can still copy by deleting it first + PermissionDenied -> do + exists <- doesFileExist to + writable <- isWritable (dirname to) + if exists && writable + then deleteFile to >> copyFile from to Strict + else ioError e + _ -> ioError e -_copyFile :: [SPDF.Flags] - -> [SPDF.Flags] - -> Path Abs -- ^ source file - -> Path Abs -- ^ destination file - -> IO () -_copyFile sflags dflags from to - = - -- from sendfile(2) manpage: - -- Applications may wish to fall back to read(2)/write(2) in - -- the case where sendfile() fails with EINVAL or ENOSYS. - withAbsPath to $ \to' -> withAbsPath from $ \from' -> - catchErrno [eINVAL, eNOSYS] - (sendFileCopy from' to') - (void $ readWriteCopy from' to') - where - copyWith copyAction source dest = - bracket (openFd source SPI.ReadOnly sflags Nothing) - SPI.closeFd - $ \sfd -> do - fileM <- System.Posix.Files.ByteString.fileMode - <$> getFdStatus sfd - bracketeer (openFd dest SPI.WriteOnly - dflags $ Just fileM) - SPI.closeFd - (\fd -> SPI.closeFd fd >> deleteFile to) - $ \dfd -> copyAction sfd dfd - -- this is low-level stuff utilizing sendfile(2) for speed - sendFileCopy :: ByteString -> ByteString -> IO () - sendFileCopy = copyWith - (\sfd dfd -> sendfileFd dfd sfd EntireFile $ return ()) - -- low-level copy operation utilizing read(2)/write(2) - -- in case `sendFileCopy` fails/is unsupported - readWriteCopy :: ByteString -> ByteString -> IO Int - readWriteCopy = copyWith - (\sfd dfd -> allocaBytes (fromIntegral bufSize) - $ \buf -> write' sfd dfd buf 0) - where - bufSize :: CSize - bufSize = 8192 - write' :: Fd -> Fd -> Ptr Word8 -> Int -> IO Int - write' sfd dfd buf totalsize = do - size <- SPB.fdReadBuf sfd buf bufSize - if size == 0 - then return $ fromIntegral totalsize - else do rsize <- SPB.fdWriteBuf dfd buf size - when (rsize /= size) (throwIO . CopyFailed - $ "wrong size!") - write' sfd dfd buf (totalsize + fromIntegral size) - + +_copyFile :: [SPDF.Flags] + -> [SPDF.Flags] + -> Path Abs -- ^ source file + -> Path Abs -- ^ destination file + -> IO () +_copyFile sflags dflags from to + = + -- from sendfile(2) manpage: + -- Applications may wish to fall back to read(2)/write(2) in + -- the case where sendfile() fails with EINVAL or ENOSYS. + withAbsPath to $ \to' -> withAbsPath from $ \from' -> + catchErrno [eINVAL, eNOSYS] + (sendFileCopy from' to') + (void $ readWriteCopy from' to') + where + copyWith copyAction source dest = + bracket (openFd source SPI.ReadOnly sflags Nothing) + SPI.closeFd + $ \sfd -> do + fileM <- System.Posix.Files.ByteString.fileMode + <$> getFdStatus sfd + bracketeer (openFd dest SPI.WriteOnly + dflags $ Just fileM) + SPI.closeFd + (\fd -> SPI.closeFd fd >> deleteFile to) + $ \dfd -> copyAction sfd dfd + -- this is low-level stuff utilizing sendfile(2) for speed + sendFileCopy :: ByteString -> ByteString -> IO () + sendFileCopy = copyWith + (\sfd dfd -> sendfileFd dfd sfd EntireFile $ return ()) + -- low-level copy operation utilizing read(2)/write(2) + -- in case `sendFileCopy` fails/is unsupported + readWriteCopy :: ByteString -> ByteString -> IO Int + readWriteCopy = copyWith + (\sfd dfd -> allocaBytes (fromIntegral bufSize) + $ \buf -> write' sfd dfd buf 0) + where + bufSize :: CSize + bufSize = 8192 + write' :: Fd -> Fd -> Ptr Word8 -> Int -> IO Int + write' sfd dfd buf totalsize = do + size <- SPB.fdReadBuf sfd buf bufSize + if size == 0 + then return $ fromIntegral totalsize + else do rsize <- SPB.fdWriteBuf dfd buf size + when (rsize /= size) (throwIO . CopyFailed + $ "wrong size!") + write' sfd dfd buf (totalsize + fromIntegral size) --- |Copies a regular file, directory or symbolic link. In case of a --- symbolic link it is just recreated, even if it points to a directory. --- Any other file type is ignored. --- --- Safety/reliability concerns: --- --- * examines filetypes explicitly --- * calls `copyDirRecursive` for directories -easyCopy :: Path Abs - -> Path Abs - -> CopyMode - -> RecursiveErrorMode - -> IO () -easyCopy from to cm rm = do - ftype <- getFileType from - case ftype of - SymbolicLink -> recreateSymlink from to cm - RegularFile -> copyFile from to cm - Directory -> copyDirRecursive from to cm rm - _ -> return () - + +-- |Copies a regular file, directory or symbolic link. In case of a +-- symbolic link it is just recreated, even if it points to a directory. +-- Any other file type is ignored. +-- +-- Safety/reliability concerns: +-- +-- * examines filetypes explicitly +-- * calls `copyDirRecursive` for directories +easyCopy :: Path Abs + -> Path Abs + -> CopyMode + -> RecursiveErrorMode + -> IO () +easyCopy from to cm rm = do + ftype <- getFileType from + case ftype of + SymbolicLink -> recreateSymlink from to cm + RegularFile -> copyFile from to cm + Directory -> copyDirRecursive from to cm rm + _ -> return () - --------------------- - --[ File Deletion ]-- - --------------------- - + + --------------------- + --[ File Deletion ]-- + --------------------- --- |Deletes the given file. Raises `eISDIR` --- if run on a directory. Does not follow symbolic links. --- --- Throws: --- --- - `InappropriateType` for wrong file type (directory) --- - `NoSuchThing` if the file does not exist --- - `PermissionDenied` if the directory cannot be read -deleteFile :: Path Abs -> IO () -deleteFile p = withAbsPath p removeLink - + +-- |Deletes the given file. Raises `eISDIR` +-- if run on a directory. Does not follow symbolic links. +-- +-- Throws: +-- +-- - `InappropriateType` for wrong file type (directory) +-- - `NoSuchThing` if the file does not exist +-- - `PermissionDenied` if the directory cannot be read +deleteFile :: Path Abs -> IO () +deleteFile p = withAbsPath p removeLink --- |Deletes the given directory, which must be empty, never symlinks. --- --- Throws: --- --- - `InappropriateType` for wrong file type (symlink to directory) --- - `InappropriateType` for wrong file type (regular file) --- - `NoSuchThing` if directory does not exist --- - `UnsatisfiedConstraints` if directory is not empty --- - `PermissionDenied` if we can't open or write to parent directory --- --- Notes: calls `rmdir` -deleteDir :: Path Abs -> IO () -deleteDir p = withAbsPath p removeDirectory - + +-- |Deletes the given directory, which must be empty, never symlinks. +-- +-- Throws: +-- +-- - `InappropriateType` for wrong file type (symlink to directory) +-- - `InappropriateType` for wrong file type (regular file) +-- - `NoSuchThing` if directory does not exist +-- - `UnsatisfiedConstraints` if directory is not empty +-- - `PermissionDenied` if we can't open or write to parent directory +-- +-- Notes: calls `rmdir` +deleteDir :: Path Abs -> IO () +deleteDir p = withAbsPath p removeDirectory --- |Deletes the given directory recursively. Does not follow symbolic --- links. Tries `deleteDir` first before attemtping a recursive --- deletion. --- --- On directory contents this behaves like `easyDelete` --- and thus will ignore any file type that is not `RegularFile`, --- `SymbolicLink` or `Directory`. --- --- Safety/reliability concerns: --- --- * not atomic --- * examines filetypes explicitly --- --- Throws: --- --- - `InappropriateType` for wrong file type (symlink to directory) --- - `InappropriateType` for wrong file type (regular file) --- - `NoSuchThing` if directory does not exist --- - `PermissionDenied` if we can't open or write to parent directory -deleteDirRecursive :: Path Abs -> IO () -deleteDirRecursive p = - catchErrno [eNOTEMPTY, eEXIST] - (deleteDir p) - $ do - files <- getDirsFiles p - for_ files $ \file -> do - ftype <- getFileType file - case ftype of - SymbolicLink -> deleteFile file - Directory -> deleteDirRecursive file - RegularFile -> deleteFile file - _ -> return () - removeDirectory . toFilePath $ p - + +-- |Deletes the given directory recursively. Does not follow symbolic +-- links. Tries `deleteDir` first before attemtping a recursive +-- deletion. +-- +-- On directory contents this behaves like `easyDelete` +-- and thus will ignore any file type that is not `RegularFile`, +-- `SymbolicLink` or `Directory`. +-- +-- Safety/reliability concerns: +-- +-- * not atomic +-- * examines filetypes explicitly +-- +-- Throws: +-- +-- - `InappropriateType` for wrong file type (symlink to directory) +-- - `InappropriateType` for wrong file type (regular file) +-- - `NoSuchThing` if directory does not exist +-- - `PermissionDenied` if we can't open or write to parent directory +deleteDirRecursive :: Path Abs -> IO () +deleteDirRecursive p = + catchErrno [eNOTEMPTY, eEXIST] + (deleteDir p) + $ do + files <- getDirsFiles p + for_ files $ \file -> do + ftype <- getFileType file + case ftype of + SymbolicLink -> deleteFile file + Directory -> deleteDirRecursive file + RegularFile -> deleteFile file + _ -> return () + removeDirectory . toFilePath $ p --- |Deletes a file, directory or symlink. --- In case of directory, performs recursive deletion. In case of --- a symlink, the symlink file is deleted. --- Any other file type is ignored. --- --- Safety/reliability concerns: --- --- * examines filetypes explicitly --- * calls `deleteDirRecursive` for directories -easyDelete :: Path Abs -> IO () -easyDelete p = do - ftype <- getFileType p - case ftype of - SymbolicLink -> deleteFile p - Directory -> deleteDirRecursive p - RegularFile -> deleteFile p - _ -> return () - + +-- |Deletes a file, directory or symlink. +-- In case of directory, performs recursive deletion. In case of +-- a symlink, the symlink file is deleted. +-- Any other file type is ignored. +-- +-- Safety/reliability concerns: +-- +-- * examines filetypes explicitly +-- * calls `deleteDirRecursive` for directories +easyDelete :: Path Abs -> IO () +easyDelete p = do + ftype <- getFileType p + case ftype of + SymbolicLink -> deleteFile p + Directory -> deleteDirRecursive p + RegularFile -> deleteFile p + _ -> return () - -------------------- - --[ File Opening ]-- - -------------------- - + + -------------------- + --[ File Opening ]-- + -------------------- --- |Opens a file appropriately by invoking xdg-open. The file type --- is not checked. This forks a process. -openFile :: Path Abs - -> IO ProcessID -openFile p = - withAbsPath p $ \fp -> - SPP.forkProcess $ SPP.executeFile "xdg-open" True [fp] Nothing - + +-- |Opens a file appropriately by invoking xdg-open. The file type +-- is not checked. This forks a process. +openFile :: Path Abs + -> IO ProcessID +openFile p = + withAbsPath p $ \fp -> + SPP.forkProcess $ SPP.executeFile "xdg-open" True [fp] Nothing --- |Executes a program with the given arguments. This forks a process. -executeFile :: Path Abs -- ^ program - -> [ByteString] -- ^ arguments - -> IO ProcessID -executeFile fp args - = withAbsPath fp $ \fpb -> - SPP.forkProcess - $ SPP.executeFile fpb True args Nothing - + +-- |Executes a program with the given arguments. This forks a process. +executeFile :: Path Abs -- ^ program + -> [ByteString] -- ^ arguments + -> IO ProcessID +executeFile fp args + = withAbsPath fp $ \fpb -> + SPP.forkProcess + $ SPP.executeFile fpb True args Nothing - --------------------- - --[ File Creation ]-- - --------------------- - + + --------------------- + --[ File Creation ]-- + --------------------- --- |Create an empty regular file at the given directory with the given --- filename. --- --- Throws: --- --- - `PermissionDenied` if output directory cannot be written to --- - `AlreadyExists` if destination file already exists --- - `NoSuchThing` if any of the parent components of the path --- do not exist -createRegularFile :: FileMode -> Path Abs -> IO () -createRegularFile fm dest = - bracket (SPI.openFd (fromAbs dest) SPI.WriteOnly (Just fm) - (SPI.defaultFileFlags { exclusive = True })) - SPI.closeFd - (\_ -> return ()) - + +-- |Create an empty regular file at the given directory with the given +-- filename. +-- +-- Throws: +-- +-- - `PermissionDenied` if output directory cannot be written to +-- - `AlreadyExists` if destination file already exists +-- - `NoSuchThing` if any of the parent components of the path +-- do not exist +createRegularFile :: FileMode -> Path Abs -> IO () +createRegularFile fm dest = + bracket (SPI.openFd (fromAbs dest) SPI.WriteOnly (Just fm) + (SPI.defaultFileFlags { exclusive = True })) + SPI.closeFd + (\_ -> return ()) --- |Create an empty directory at the given directory with the given filename. --- --- Throws: --- --- - `PermissionDenied` if output directory cannot be written to --- - `AlreadyExists` if destination directory already exists --- - `NoSuchThing` if any of the parent components of the path --- do not exist -createDir :: FileMode -> Path Abs -> IO () -createDir fm dest = createDirectory (fromAbs dest) fm - + +-- |Create an empty directory at the given directory with the given filename. +-- +-- Throws: +-- +-- - `PermissionDenied` if output directory cannot be written to +-- - `AlreadyExists` if destination directory already exists +-- - `NoSuchThing` if any of the parent components of the path +-- do not exist +createDir :: FileMode -> Path Abs -> IO () +createDir fm dest = createDirectory (fromAbs dest) fm --- |Create a symlink. --- --- Throws: --- --- - `PermissionDenied` if output directory cannot be written to --- - `AlreadyExists` if destination file already exists --- - `NoSuchThing` if any of the parent components of the path --- do not exist --- --- Note: calls `symlink` -createSymlink :: Path Abs -- ^ destination file - -> ByteString -- ^ path the symlink points to - -> IO () -createSymlink dest sympoint - = createSymbolicLink sympoint (fromAbs dest) - + +-- |Create a symlink. +-- +-- Throws: +-- +-- - `PermissionDenied` if output directory cannot be written to +-- - `AlreadyExists` if destination file already exists +-- - `NoSuchThing` if any of the parent components of the path +-- do not exist +-- +-- Note: calls `symlink` +createSymlink :: Path Abs -- ^ destination file + -> ByteString -- ^ path the symlink points to + -> IO () +createSymlink dest sympoint + = createSymbolicLink sympoint (fromAbs dest) - ---------------------------- - --[ File Renaming/Moving ]-- - ---------------------------- - + + ---------------------------- + --[ File Renaming/Moving ]-- + ---------------------------- --- |Rename a given file with the provided filename. Destination and source --- must be on the same device, otherwise `eXDEV` will be raised. --- --- Does not follow symbolic links, but renames the symbolic link file. --- --- Safety/reliability concerns: --- --- * has a separate set of exception handling, apart from the syscall --- --- Throws: --- --- - `NoSuchThing` if source file does not exist --- - `PermissionDenied` if output directory cannot be written to --- - `PermissionDenied` if source directory cannot be opened --- - `UnsupportedOperation` if source and destination are on different --- devices --- - `FileDoesExist` if destination file already exists --- (`HPathIOException`) --- - `DirDoesExist` if destination directory already exists --- (`HPathIOException`) --- - `SameFile` if destination and source are the same file --- (`HPathIOException`) --- --- Note: calls `rename` (but does not allow to rename over existing files) -renameFile :: Path Abs -> Path Abs -> IO () -renameFile fromf tof = do - throwSameFile fromf tof - throwFileDoesExist tof - throwDirDoesExist tof - rename (fromAbs fromf) (fromAbs tof) - + +-- |Rename a given file with the provided filename. Destination and source +-- must be on the same device, otherwise `eXDEV` will be raised. +-- +-- Does not follow symbolic links, but renames the symbolic link file. +-- +-- Safety/reliability concerns: +-- +-- * has a separate set of exception handling, apart from the syscall +-- +-- Throws: +-- +-- - `NoSuchThing` if source file does not exist +-- - `PermissionDenied` if output directory cannot be written to +-- - `PermissionDenied` if source directory cannot be opened +-- - `UnsupportedOperation` if source and destination are on different +-- devices +-- - `FileDoesExist` if destination file already exists +-- (`HPathIOException`) +-- - `DirDoesExist` if destination directory already exists +-- (`HPathIOException`) +-- - `SameFile` if destination and source are the same file +-- (`HPathIOException`) +-- +-- Note: calls `rename` (but does not allow to rename over existing files) +renameFile :: Path Abs -> Path Abs -> IO () +renameFile fromf tof = do + throwSameFile fromf tof + throwFileDoesExist tof + throwDirDoesExist tof + rename (fromAbs fromf) (fromAbs tof) --- |Move a file. This also works across devices by copy-delete fallback. --- And also works on directories. --- --- Does not follow symbolic links, but renames the symbolic link file. --- + +-- |Move a file. This also works across devices by copy-delete fallback. +-- And also works on directories. +-- +-- Does not follow symbolic links, but renames the symbolic link file. -- --- Safety/reliability concerns: --- --- * `Overwrite` mode is not atomic --- * copy-delete fallback is inherently non-atomic --- * since this function calls `easyCopy` and `easyDelete` as a fallback --- to `renameFile`, file types that are not `RegularFile`, `SymbolicLink` --- or `Directory` may be ignored --- * for `Overwrite` mode, the destination will be deleted (not recursively) --- before moving --- --- Throws: --- --- - `NoSuchThing` if source file does not exist --- - `PermissionDenied` if output directory cannot be written to --- - `PermissionDenied` if source directory cannot be opened --- - `SameFile` if destination and source are the same file --- (`HPathIOException`) --- --- Throws in `Strict` mode only: --- --- - `FileDoesExist` if destination file already exists (`HPathIOException`) --- - `DirDoesExist` if destination directory already exists --- (`HPathIOException`) --- --- Note: calls `rename` (but does not allow to rename over existing files) -moveFile :: Path Abs -- ^ file to move - -> Path Abs -- ^ destination - -> CopyMode - -> IO () -moveFile from to cm = do - throwSameFile from to - case cm of - Strict -> catchErrno [eXDEV] (renameFile from to) $ do - easyCopy from to Strict FailEarly - easyDelete from - Overwrite -> do - ft <- getFileType from - writable <- isWritable $ dirname to - case ft of - RegularFile -> do - exists <- doesFileExist to - when (exists && writable) (deleteFile to) - SymbolicLink -> do - exists <- doesFileExist to - when (exists && writable) (deleteFile to) - Directory -> do - exists <- doesDirectoryExist to - when (exists && writable) (deleteDir to) - _ -> return () - moveFile from to Strict - +-- +-- Safety/reliability concerns: +-- +-- * `Overwrite` mode is not atomic +-- * copy-delete fallback is inherently non-atomic +-- * since this function calls `easyCopy` and `easyDelete` as a fallback +-- to `renameFile`, file types that are not `RegularFile`, `SymbolicLink` +-- or `Directory` may be ignored +-- * for `Overwrite` mode, the destination will be deleted (not recursively) +-- before moving +-- +-- Throws: +-- +-- - `NoSuchThing` if source file does not exist +-- - `PermissionDenied` if output directory cannot be written to +-- - `PermissionDenied` if source directory cannot be opened +-- - `SameFile` if destination and source are the same file +-- (`HPathIOException`) +-- +-- Throws in `Strict` mode only: +-- +-- - `FileDoesExist` if destination file already exists (`HPathIOException`) +-- - `DirDoesExist` if destination directory already exists +-- (`HPathIOException`) +-- +-- Note: calls `rename` (but does not allow to rename over existing files) +moveFile :: Path Abs -- ^ file to move + -> Path Abs -- ^ destination + -> CopyMode + -> IO () +moveFile from to cm = do + throwSameFile from to + case cm of + Strict -> catchErrno [eXDEV] (renameFile from to) $ do + easyCopy from to Strict FailEarly + easyDelete from + Overwrite -> do + ft <- getFileType from + writable <- isWritable $ dirname to + case ft of + RegularFile -> do + exists <- doesFileExist to + when (exists && writable) (deleteFile to) + SymbolicLink -> do + exists <- doesFileExist to + when (exists && writable) (deleteFile to) + Directory -> do + exists <- doesDirectoryExist to + when (exists && writable) (deleteDir to) + _ -> return () + moveFile from to Strict - ----------------------- - --[ File Permissions]-- - ----------------------- - + + ----------------------- + --[ File Permissions]-- + ----------------------- --- |Default permissions for a new file. -newFilePerms :: FileMode -newFilePerms - = ownerWriteMode - `unionFileModes` ownerReadMode - `unionFileModes` groupWriteMode - `unionFileModes` groupReadMode - `unionFileModes` otherWriteMode - `unionFileModes` otherReadMode - + +-- |Default permissions for a new file. +newFilePerms :: FileMode +newFilePerms + = ownerWriteMode + `unionFileModes` ownerReadMode + `unionFileModes` groupWriteMode + `unionFileModes` groupReadMode + `unionFileModes` otherWriteMode + `unionFileModes` otherReadMode --- |Default permissions for a new directory. -newDirPerms :: FileMode -newDirPerms - = ownerModes - `unionFileModes` groupExecuteMode - `unionFileModes` groupReadMode - `unionFileModes` otherExecuteMode - `unionFileModes` otherReadMode - + +-- |Default permissions for a new directory. +newDirPerms :: FileMode +newDirPerms + = ownerModes + `unionFileModes` groupExecuteMode + `unionFileModes` groupReadMode + `unionFileModes` otherExecuteMode + `unionFileModes` otherReadMode - ------------------------- - --[ Directory reading ]-- - ------------------------- - + + ------------------------- + --[ Directory reading ]-- + ------------------------- --- |Gets all filenames of the given directory. This excludes "." and "..". --- This version does not follow symbolic links. --- --- The contents are not sorted and there is no guarantee on the ordering. --- --- Throws: --- --- - `NoSuchThing` if directory does not exist --- - `InappropriateType` if file type is wrong (file) --- - `InappropriateType` if file type is wrong (symlink to file) --- - `InappropriateType` if file type is wrong (symlink to dir) --- - `PermissionDenied` if directory cannot be opened -getDirsFiles :: Path Abs -- ^ dir to read - -> IO [Path Abs] -getDirsFiles p = - withAbsPath p $ \fp -> do - fd <- openFd fp SPI.ReadOnly [SPDF.oNofollow] Nothing - return - . catMaybes - . fmap (\x -> (</>) p <$> (parseMaybe . snd $ x)) - =<< getDirectoryContents' fd - where - parseMaybe :: ByteString -> Maybe (Path Fn) - parseMaybe = parseFn - + +-- |Gets all filenames of the given directory. This excludes "." and "..". +-- This version does not follow symbolic links. +-- +-- The contents are not sorted and there is no guarantee on the ordering. +-- +-- Throws: +-- +-- - `NoSuchThing` if directory does not exist +-- - `InappropriateType` if file type is wrong (file) +-- - `InappropriateType` if file type is wrong (symlink to file) +-- - `InappropriateType` if file type is wrong (symlink to dir) +-- - `PermissionDenied` if directory cannot be opened +getDirsFiles :: Path Abs -- ^ dir to read + -> IO [Path Abs] +getDirsFiles p = + withAbsPath p $ \fp -> do + fd <- openFd fp SPI.ReadOnly [SPDF.oNofollow] Nothing + return + . catMaybes + . fmap (\x -> (</>) p <$> (parseMaybe . snd $ x)) + =<< getDirectoryContents' fd + where + parseMaybe :: ByteString -> Maybe (Path Fn) + parseMaybe = parseFn - --------------------------- - --[ FileType operations ]-- - --------------------------- - + + --------------------------- + --[ FileType operations ]-- + --------------------------- --- |Get the file type of the file located at the given path. Does --- not follow symbolic links. --- --- Throws: --- --- - `NoSuchThing` if the file does not exist --- - `PermissionDenied` if any part of the path is not accessible -getFileType :: Path Abs -> IO FileType -getFileType p = do - fs <- PF.getSymbolicLinkStatus (fromAbs p) - decide fs - where - decide fs - | PF.isDirectory fs = return Directory - | PF.isRegularFile fs = return RegularFile - | PF.isSymbolicLink fs = return SymbolicLink - | PF.isBlockDevice fs = return BlockDevice - | PF.isCharacterDevice fs = return CharacterDevice - | PF.isNamedPipe fs = return NamedPipe - | PF.isSocket fs = return Socket - | otherwise = ioError $ userError "No filetype?!" - + +-- |Get the file type of the file located at the given path. Does +-- not follow symbolic links. +-- +-- Throws: +-- +-- - `NoSuchThing` if the file does not exist +-- - `PermissionDenied` if any part of the path is not accessible +getFileType :: Path Abs -> IO FileType +getFileType p = do + fs <- PF.getSymbolicLinkStatus (fromAbs p) + decide fs + where + decide fs + | PF.isDirectory fs = return Directory + | PF.isRegularFile fs = return RegularFile + | PF.isSymbolicLink fs = return SymbolicLink + | PF.isBlockDevice fs = return BlockDevice + | PF.isCharacterDevice fs = return CharacterDevice + | PF.isNamedPipe fs = return NamedPipe + | PF.isSocket fs = return Socket + | otherwise = ioError $ userError "No filetype?!" - -------------- - --[ Others ]-- - -------------- - + + -------------- + --[ Others ]-- + -------------- --- |Applies `realpath` on the given absolute path. --- --- Throws: --- --- - `NoSuchThing` if the file at the given path does not exist --- - `NoSuchThing` if the symlink is broken -canonicalizePath :: Path Abs -> IO (Path Abs) -canonicalizePath (MkPath l) = do - nl <- SPDT.realpath l - return $ MkPath nl + +-- |Applies `realpath` on the given absolute path. +-- +-- Throws: +-- +-- - `NoSuchThing` if the file at the given path does not exist +-- - `NoSuchThing` if the symlink is broken +canonicalizePath :: Path Abs -> IO (Path Abs) +canonicalizePath (MkPath l) = do + nl <- SPDT.realpath l + return $ MkPath nl