Index
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.
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.
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,
@@ -62,7 +62,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_HPath-IO.html");};
is not checked. This forks a process.
Arguments
| :: Path Abs | program |
| -> [ByteString] | arguments |
| -> IO ProcessID |
Executes a program with the given arguments. This forks a process.
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 toAlreadyExists if destination file already existsNoSuchThing if any of the parent components of the path
do not existcreateDir :: 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 toAlreadyExists if destination directory already existsNoSuchThing if any of the parent components of the path
- do not existArguments
| :: Path Abs | destination file |
| -> ByteString | path the symlink points to |
| -> IO () |
Create a symlink.
Throws:
PermissionDenied if output directory cannot be written toAlreadyExists if destination file already existsNoSuchThing if any of the parent components of the path
+ do not existcreateDirRecursive :: FileMode -> Path Abs -> IO () Source
Create an empty directory at the given directory with the given filename.
All parent directories are created with the same filemode. This + basically behaves like:
mkdir -p /destination/somedir +
Safety/reliability concerns:
Throws:
PermissionDenied if any part of the path components do not
+ exist and cannot be written toAlreadyExists if destination already exists and
+ is not a directoryArguments
| :: Path Abs | destination file |
| -> ByteString | path the symlink points to |
| -> IO () |
Create a symlink.
Throws:
PermissionDenied if output directory cannot be written toAlreadyExists if destination file already existsNoSuchThing if any of the parent components of the path
do not existNote: calls symlink
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:
Throws:
NoSuchThing if source file does not existPermissionDenied if output directory cannot be written toPermissionDenied if source directory cannot be openedUnsupportedOperation if source and destination are on different
devicesFileDoesExist if destination file already exists
diff --git a/doc-index-All.html b/doc-index-All.html
index 11623f4..1548337 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