System.Posix.Files.PosixString

Functions defined by the POSIX standards for manipulating and querying the file system. Names of underlying POSIX functions are indicated whenever possible. A more complete documentation of the POSIX functions together with a more detailed description of different error conditions are usually available in the system's manual pages or from http://www.unix.org/version3/online.html (free registration required).

When a function that calls an underlying POSIX function fails, the errno code is converted to an IOError using errnoToIOError. For a list of which errno codes may be generated, consult the POSIX documentation for the underlying function.

File modes

unionFileModes :: FileMode -> FileMode -> FileMode

Combines the two file modes into one that contains modes that appear in either.

intersectFileModes :: FileMode -> FileMode -> FileMode

Combines two file modes into one that only contains modes that appear in both.

nullFileMode :: FileMode

No permissions.

ownerReadMode :: FileMode

Owner has read permission.

ownerWriteMode :: FileMode

Owner has write permission.

ownerExecuteMode :: FileMode

Owner has execute permission.

ownerModes :: FileMode

Owner has read, write and execute permission.

groupReadMode :: FileMode

Group has read permission.

groupWriteMode :: FileMode

Group has write permission.

groupExecuteMode :: FileMode

Group has execute permission.

groupModes :: FileMode

Group has read, write and execute permission.

otherReadMode :: FileMode

Others have read permission.

otherWriteMode :: FileMode

Others have write permission.

otherExecuteMode :: FileMode

Others have execute permission.

otherModes :: FileMode

Others have read, write and execute permission.

setUserIDMode :: FileMode

Set user ID on execution.

setGroupIDMode :: FileMode

Set group ID on execution.

stdFileMode :: FileMode

Owner, group and others have read and write permission.

accessModes :: FileMode

Owner, group and others have read, write and execute permission.

fileTypeModes :: FileMode

blockSpecialMode :: FileMode

characterSpecialMode :: FileMode

namedPipeMode :: FileMode

regularFileMode :: FileMode

directoryMode :: FileMode

symbolicLinkMode :: FileMode

socketMode :: FileMode

Setting file modes

setFileMode :: PosixPath -> FileMode -> IO ()

setFileMode path mode changes permission of the file given by path to mode. This operation may fail with throwErrnoPathIfMinus1_ if path doesn't exist or if the effective user ID of the current process is not that of the file's owner.

Note: calls chmod.

setFdMode :: Fd -> FileMode -> IO ()

setFdMode fd mode acts like setFileMode but uses a file descriptor fd instead of a FilePath.

Note: calls fchmod.

setFileCreationMask :: FileMode -> IO FileMode

setFileCreationMask mode sets the file mode creation mask to mode. Modes set by this operation are subtracted from files and directories upon creation. The previous file creation mask is returned.

Note: calls umask.

Checking file existence and permissions

fileAccess :: PosixPath -> Bool -> Bool -> Bool -> IO Bool

fileAccess name read write exec checks if the file (or other file system object) name can be accessed for reading, writing and/or executing. To check a permission set the corresponding argument to True.

Note: calls access.

fileExist :: PosixPath -> IO Bool

Checks for the existence of the file.

Note: calls access.

File status

data FileStatus

POSIX defines operations to get information, such as owner, permissions, size and access times, about a file. This information is represented by the FileStatus type.

Note: see chmod.

Limitations: Support for high resolution timestamps is filesystem dependent:

• HFS+ volumes on OS X only support whole-second times.

Obtaining file status

getFileStatus :: PosixPath -> IO FileStatus

getFileStatus path calls gets the FileStatus information (user ID, size, access times, etc.) for the file path.

Note: calls stat.

getFdStatus :: Fd -> IO FileStatus

getFdStatus fd acts as getFileStatus but uses a file descriptor fd.

Note: calls fstat.

getSymbolicLinkStatus :: PosixPath -> IO FileStatus

Acts as getFileStatus except when the PosixPath refers to a symbolic link. In that case the FileStatus information of the symbolic link itself is returned instead of that of the file it points to.

Note: calls lstat.

Querying file status

deviceID :: FileStatus -> DeviceID

ID of the device on which this file resides.

fileID :: FileStatus -> FileID

inode number

fileMode :: FileStatus -> FileMode

File mode (such as permissions).

linkCount :: FileStatus -> LinkCount

Number of hard links to this file.

fileOwner :: FileStatus -> UserID

ID of owner.

fileGroup :: FileStatus -> GroupID

ID of group.

specialDeviceID :: FileStatus -> DeviceID

Describes the device that this file represents.

fileSize :: FileStatus -> FileOffset

Size of the file in bytes. If this file is a symbolic link the size is the length of the pathname it contains.

accessTime :: FileStatus -> EpochTime

Time of last access.

modificationTime :: FileStatus -> EpochTime

Time of last modification.

statusChangeTime :: FileStatus -> EpochTime

Time of last status change (i.e. owner, group, link count, mode, etc.).

accessTimeHiRes :: FileStatus -> POSIXTime

Time of last access in sub-second resolution. Depends on the timestamp resolution of the underlying filesystem.

modificationTimeHiRes :: FileStatus -> POSIXTime

Time of last modification in sub-second resolution. Depends on the timestamp resolution of the underlying filesystem.

statusChangeTimeHiRes :: FileStatus -> POSIXTime

Time of last status change (i.e. owner, group, link count, mode, etc.) in sub-second resolution. Depends on the timestamp resolution of the underlying filesystem.

isBlockDevice :: FileStatus -> Bool

Checks if this file is a block device.

isCharacterDevice :: FileStatus -> Bool

Checks if this file is a character device.

isNamedPipe :: FileStatus -> Bool

Checks if this file is a named pipe device.

isRegularFile :: FileStatus -> Bool

Checks if this file is a regular file device.

isDirectory :: FileStatus -> Bool

Checks if this file is a directory device.

isSymbolicLink :: FileStatus -> Bool

Checks if this file is a symbolic link device.

isSocket :: FileStatus -> Bool

Checks if this file is a socket device.

Extended file status

newtype ExtendedFileStatus

Constructors

ExtendedFileStatus (ForeignPtr CStatx)

The constructor is considered internal and may change.

newtype CAttributes

Constructors

CAttributes Word64

Instances

Storable CAttributes

Defined in System.Posix.Files.Common

Methods

sizeOf :: CAttributes -> Int

alignment :: CAttributes -> Int

peekElemOff :: Ptr CAttributes -> Int -> IO CAttributes

pokeElemOff :: Ptr CAttributes -> Int -> CAttributes -> IO ()

peekByteOff :: Ptr b -> Int -> IO CAttributes

pokeByteOff :: Ptr b -> Int -> CAttributes -> IO ()

peek :: Ptr CAttributes -> IO CAttributes

poke :: Ptr CAttributes -> CAttributes -> IO ()

Bits CAttributes

Defined in System.Posix.Files.Common

Methods

(.&.) :: CAttributes -> CAttributes -> CAttributes

(.|.) :: CAttributes -> CAttributes -> CAttributes

xor :: CAttributes -> CAttributes -> CAttributes

complement :: CAttributes -> CAttributes

shift :: CAttributes -> Int -> CAttributes

rotate :: CAttributes -> Int -> CAttributes

zeroBits :: CAttributes

bit :: Int -> CAttributes

setBit :: CAttributes -> Int -> CAttributes

clearBit :: CAttributes -> Int -> CAttributes

complementBit :: CAttributes -> Int -> CAttributes

testBit :: CAttributes -> Int -> Bool

bitSizeMaybe :: CAttributes -> Maybe Int

bitSize :: CAttributes -> Int

isSigned :: CAttributes -> Bool

shiftL :: CAttributes -> Int -> CAttributes

unsafeShiftL :: CAttributes -> Int -> CAttributes

shiftR :: CAttributes -> Int -> CAttributes

unsafeShiftR :: CAttributes -> Int -> CAttributes

rotateL :: CAttributes -> Int -> CAttributes

rotateR :: CAttributes -> Int -> CAttributes

popCount :: CAttributes -> Int

Num CAttributes

Defined in System.Posix.Files.Common

Methods

(+) :: CAttributes -> CAttributes -> CAttributes

(-) :: CAttributes -> CAttributes -> CAttributes

(*) :: CAttributes -> CAttributes -> CAttributes

negate :: CAttributes -> CAttributes

abs :: CAttributes -> CAttributes

signum :: CAttributes -> CAttributes

fromInteger :: Integer -> CAttributes

Read CAttributes

Defined in System.Posix.Files.Common

Methods

readsPrec :: Int -> ReadS CAttributes

readList :: ReadS [CAttributes]

readPrec :: ReadPrec CAttributes

readListPrec :: ReadPrec [CAttributes]

Show CAttributes

Defined in System.Posix.Files.Common

Methods

showsPrec :: Int -> CAttributes -> ShowS

show :: CAttributes -> String

showList :: [CAttributes] -> ShowS

Eq CAttributes

Defined in System.Posix.Files.Common

Methods

(==) :: CAttributes -> CAttributes -> Bool

(/=) :: CAttributes -> CAttributes -> Bool

Ord CAttributes

Defined in System.Posix.Files.Common

Methods

compare :: CAttributes -> CAttributes -> Ordering

(<) :: CAttributes -> CAttributes -> Bool

(<=) :: CAttributes -> CAttributes -> Bool

(>) :: CAttributes -> CAttributes -> Bool

(>=) :: CAttributes -> CAttributes -> Bool

max :: CAttributes -> CAttributes -> CAttributes

min :: CAttributes -> CAttributes -> CAttributes

haveStatx :: Bool

Whether statx is available on this platform and getExtendedFileStatus and related functions will work.

Obtaining extended file status

getExtendedFileStatus

Arguments

:: Maybe Fd

Optional directory file descriptor (dirfd)

-> PosixPath

pathname to open

-> StatxFlags

flags

-> StatxMask

mask

-> IO ExtendedFileStatus

Gets extended file status information.

The target file to open is identified in one of the following ways:

• If pathname begins with a slash, then it is an absolute pathname that identifies the target file. In this case, dirfd is ignored
• If pathname is a string that begins with a character other than a slash and dirfd is a file descriptor that refers to a directory, then pathname is a relative pathname that is interpreted relative to the directory referred to by dirfd. (See openat(2) for an explanation of why this is useful.)
• If pathname is an empty string and the EmptyPath flag is specified in flags (see below), then the target file is the one referred to by the file descriptor dirfd.

Note: calls statx.

Flags

newtype StatxFlags

Statx flags.

See the pattern synonyms for possible flags. These are combined via (<>). Flags can be tested via (.&.).

The following flags influence pathname-based lookup:

• EmptyPath
• NoAutoMount
• SymlinkNoFollow

The following flags can be used to control what sort of synchronization the kernel will do when querying a file on a remote filesystem:

• SyncAsStat
• ForceSync
• DontSync

Constructors

StatxFlags CInt

Instances

Monoid StatxFlags

Defined in System.Posix.Files.Common

Methods

mempty :: StatxFlags

mappend :: StatxFlags -> StatxFlags -> StatxFlags

mconcat :: [StatxFlags] -> StatxFlags

Semigroup StatxFlags

ORs the flags.

Defined in System.Posix.Files.Common

Methods

(<>) :: StatxFlags -> StatxFlags -> StatxFlags

sconcat :: NonEmpty StatxFlags -> StatxFlags

stimes :: Integral b => b -> StatxFlags -> StatxFlags

Bits StatxFlags

Defined in System.Posix.Files.Common

Methods

(.&.) :: StatxFlags -> StatxFlags -> StatxFlags

(.|.) :: StatxFlags -> StatxFlags -> StatxFlags

xor :: StatxFlags -> StatxFlags -> StatxFlags

complement :: StatxFlags -> StatxFlags

shift :: StatxFlags -> Int -> StatxFlags

rotate :: StatxFlags -> Int -> StatxFlags

zeroBits :: StatxFlags

bit :: Int -> StatxFlags

setBit :: StatxFlags -> Int -> StatxFlags

clearBit :: StatxFlags -> Int -> StatxFlags

complementBit :: StatxFlags -> Int -> StatxFlags

testBit :: StatxFlags -> Int -> Bool

bitSizeMaybe :: StatxFlags -> Maybe Int

bitSize :: StatxFlags -> Int

isSigned :: StatxFlags -> Bool

shiftL :: StatxFlags -> Int -> StatxFlags

unsafeShiftL :: StatxFlags -> Int -> StatxFlags

shiftR :: StatxFlags -> Int -> StatxFlags

unsafeShiftR :: StatxFlags -> Int -> StatxFlags

rotateL :: StatxFlags -> Int -> StatxFlags

rotateR :: StatxFlags -> Int -> StatxFlags

popCount :: StatxFlags -> Int

Enum StatxFlags

Defined in System.Posix.Files.Common

Methods

succ :: StatxFlags -> StatxFlags

pred :: StatxFlags -> StatxFlags

toEnum :: Int -> StatxFlags

fromEnum :: StatxFlags -> Int

enumFrom :: StatxFlags -> [StatxFlags]

enumFromThen :: StatxFlags -> StatxFlags -> [StatxFlags]

enumFromTo :: StatxFlags -> StatxFlags -> [StatxFlags]

enumFromThenTo :: StatxFlags -> StatxFlags -> StatxFlags -> [StatxFlags]

Num StatxFlags

Defined in System.Posix.Files.Common

Methods

(+) :: StatxFlags -> StatxFlags -> StatxFlags

(-) :: StatxFlags -> StatxFlags -> StatxFlags

(*) :: StatxFlags -> StatxFlags -> StatxFlags

negate :: StatxFlags -> StatxFlags

abs :: StatxFlags -> StatxFlags

signum :: StatxFlags -> StatxFlags

fromInteger :: Integer -> StatxFlags

Read StatxFlags

Defined in System.Posix.Files.Common

Methods

readsPrec :: Int -> ReadS StatxFlags

readList :: ReadS [StatxFlags]

readPrec :: ReadPrec StatxFlags

readListPrec :: ReadPrec [StatxFlags]

Integral StatxFlags

Defined in System.Posix.Files.Common

Methods

quot :: StatxFlags -> StatxFlags -> StatxFlags

rem :: StatxFlags -> StatxFlags -> StatxFlags

div :: StatxFlags -> StatxFlags -> StatxFlags

mod :: StatxFlags -> StatxFlags -> StatxFlags

quotRem :: StatxFlags -> StatxFlags -> (StatxFlags, StatxFlags)

divMod :: StatxFlags -> StatxFlags -> (StatxFlags, StatxFlags)

toInteger :: StatxFlags -> Integer

Real StatxFlags

Defined in System.Posix.Files.Common

Methods

toRational :: StatxFlags -> Rational

Show StatxFlags

Defined in System.Posix.Files.Common

Methods

showsPrec :: Int -> StatxFlags -> ShowS

show :: StatxFlags -> String

showList :: [StatxFlags] -> ShowS

Eq StatxFlags

Defined in System.Posix.Files.Common

Methods

(==) :: StatxFlags -> StatxFlags -> Bool

(/=) :: StatxFlags -> StatxFlags -> Bool

Ord StatxFlags

Defined in System.Posix.Files.Common

Methods

compare :: StatxFlags -> StatxFlags -> Ordering

(<) :: StatxFlags -> StatxFlags -> Bool

(<=) :: StatxFlags -> StatxFlags -> Bool

(>) :: StatxFlags -> StatxFlags -> Bool

(>=) :: StatxFlags -> StatxFlags -> Bool

max :: StatxFlags -> StatxFlags -> StatxFlags

min :: StatxFlags -> StatxFlags -> StatxFlags

defaultStatxFlags :: StatxFlags

pattern EmptyPath :: StatxFlags

If pathname to getExtendedFileStatus is an empty string, operate on the file referred to by the 'Maybe Fd' argument.

In this case, it can refer to any type of file, not just a directory.

pattern NoAutoMount :: StatxFlags

Don't automount the terminal ("basename") component of pathname if it is a directory that is an automount point. This allows the caller to gather attributes of an automount point (rather than the location it would mount). This flag can be used in tools that scan directories to prevent mass-automounting of a directory of automount points. This flag has no effect if the mount point has already been mounted over.

pattern SymlinkNoFollow :: StatxFlags

If pathname is a symbolic link, do not dereference it: instead return information about the link itself, like lstat(2).

pattern SyncAsStat :: StatxFlags

Do whatever stat(2) does. This is the default and is very much filesystem-specific.

pattern ForceSync :: StatxFlags

Force the attributes to be synchronized with the server. This may require that a network filesystem perform a data writeback to get the timestamps correct.

pattern DontSync :: StatxFlags

Don't synchronize anything, but rather just take whatever the system has cached if possible. This may mean that the information returned is approximate, but, on a network filesystem, it may not involve a round trip to the server - even if no lease is held.

Mask

newtype StatxMask

Mask argument to statx. It's used to tell the kernel which fields the caller is interested in.

See the pattern synonyms for possible masks. These are combined via (<>). Masks can be tested via (.&.).

Constructors

StatxMask CInt

Instances

Monoid StatxMask

Defined in System.Posix.Files.Common

Methods

mempty :: StatxMask

mappend :: StatxMask -> StatxMask -> StatxMask

mconcat :: [StatxMask] -> StatxMask

Semigroup StatxMask

ORs the masks.

Defined in System.Posix.Files.Common

Methods

(<>) :: StatxMask -> StatxMask -> StatxMask

sconcat :: NonEmpty StatxMask -> StatxMask

stimes :: Integral b => b -> StatxMask -> StatxMask

Bits StatxMask

Defined in System.Posix.Files.Common

Methods

(.&.) :: StatxMask -> StatxMask -> StatxMask

(.|.) :: StatxMask -> StatxMask -> StatxMask

xor :: StatxMask -> StatxMask -> StatxMask

complement :: StatxMask -> StatxMask

shift :: StatxMask -> Int -> StatxMask

rotate :: StatxMask -> Int -> StatxMask

zeroBits :: StatxMask

bit :: Int -> StatxMask

setBit :: StatxMask -> Int -> StatxMask

clearBit :: StatxMask -> Int -> StatxMask

complementBit :: StatxMask -> Int -> StatxMask

testBit :: StatxMask -> Int -> Bool

bitSizeMaybe :: StatxMask -> Maybe Int

bitSize :: StatxMask -> Int

isSigned :: StatxMask -> Bool

shiftL :: StatxMask -> Int -> StatxMask

unsafeShiftL :: StatxMask -> Int -> StatxMask

shiftR :: StatxMask -> Int -> StatxMask

unsafeShiftR :: StatxMask -> Int -> StatxMask

rotateL :: StatxMask -> Int -> StatxMask

rotateR :: StatxMask -> Int -> StatxMask

popCount :: StatxMask -> Int

Enum StatxMask

Defined in System.Posix.Files.Common

Methods

succ :: StatxMask -> StatxMask

pred :: StatxMask -> StatxMask

toEnum :: Int -> StatxMask

fromEnum :: StatxMask -> Int

enumFrom :: StatxMask -> [StatxMask]

enumFromThen :: StatxMask -> StatxMask -> [StatxMask]

enumFromTo :: StatxMask -> StatxMask -> [StatxMask]

enumFromThenTo :: StatxMask -> StatxMask -> StatxMask -> [StatxMask]

Num StatxMask

Defined in System.Posix.Files.Common

Methods

(+) :: StatxMask -> StatxMask -> StatxMask

(-) :: StatxMask -> StatxMask -> StatxMask

(*) :: StatxMask -> StatxMask -> StatxMask

negate :: StatxMask -> StatxMask

abs :: StatxMask -> StatxMask

signum :: StatxMask -> StatxMask

fromInteger :: Integer -> StatxMask

Read StatxMask

Defined in System.Posix.Files.Common

Methods

readsPrec :: Int -> ReadS StatxMask

readList :: ReadS [StatxMask]

readPrec :: ReadPrec StatxMask

readListPrec :: ReadPrec [StatxMask]

Integral StatxMask

Defined in System.Posix.Files.Common

Methods

quot :: StatxMask -> StatxMask -> StatxMask

rem :: StatxMask -> StatxMask -> StatxMask

div :: StatxMask -> StatxMask -> StatxMask

mod :: StatxMask -> StatxMask -> StatxMask

quotRem :: StatxMask -> StatxMask -> (StatxMask, StatxMask)

divMod :: StatxMask -> StatxMask -> (StatxMask, StatxMask)

toInteger :: StatxMask -> Integer

Real StatxMask

Defined in System.Posix.Files.Common

Methods

toRational :: StatxMask -> Rational

Show StatxMask

Defined in System.Posix.Files.Common

Methods

showsPrec :: Int -> StatxMask -> ShowS

show :: StatxMask -> String

showList :: [StatxMask] -> ShowS

Eq StatxMask

Defined in System.Posix.Files.Common

Methods

(==) :: StatxMask -> StatxMask -> Bool

(/=) :: StatxMask -> StatxMask -> Bool

Ord StatxMask

Defined in System.Posix.Files.Common

Methods

compare :: StatxMask -> StatxMask -> Ordering

(<) :: StatxMask -> StatxMask -> Bool

(<=) :: StatxMask -> StatxMask -> Bool

(>) :: StatxMask -> StatxMask -> Bool

(>=) :: StatxMask -> StatxMask -> Bool

max :: StatxMask -> StatxMask -> StatxMask

min :: StatxMask -> StatxMask -> StatxMask

defaultStatxMask :: StatxMask

pattern StatxType :: StatxMask

Want stx_mode & S_IFMT.

pattern StatxMode :: StatxMask

Want stx_mode & ~S_IFMT.

pattern StatxNlink :: StatxMask

Want stx_nlink.

pattern StatxUid :: StatxMask

Want stx_uid.

pattern StatxGid :: StatxMask

Want stx_gid.

pattern StatxAtime :: StatxMask

Want stx_atime.

pattern StatxMtime :: StatxMask

Want stx_mtime.

pattern StatxCtime :: StatxMask

Want stx_ctime.

pattern StatxIno :: StatxMask

Want stx_ino.

pattern StatxSize :: StatxMask

Want stx_size.

pattern StatxBlocks :: StatxMask

Want stx_blocks.

pattern StatxBasicStats :: StatxMask

Want all of the above.

pattern StatxBtime :: StatxMask

Want stx_btime.

pattern StatxMntId :: StatxMask

Want stx_mnt_id.

pattern StatxAll :: StatxMask

Want all currently available fields.

Querying extended file status

fileBlockSizeX :: ExtendedFileStatus -> CBlkSize

The "preferred" block size for efficient filesystem I/O. (Writing to a file in smaller chunks may cause an inefficient read-mod‐ify-rewrite.)

linkCountX :: ExtendedFileStatus -> CNlink

The number of hard links on a file.

fileOwnerX :: ExtendedFileStatus -> UserID

Te user ID of the owner of the file.

fileGroupX :: ExtendedFileStatus -> GroupID

The ID of the group owner of the file.

fileModeX :: ExtendedFileStatus -> FileMode

The file type and mode. See inode(7) for details.

fileIDX :: ExtendedFileStatus -> FileID

The inode number of the file.

fileSizeX :: ExtendedFileStatus -> Word64

The size of the file (if it is a regular file or a symbolic link) in bytes. The size of a symbolic link is the length of the pathname it contains, without a terminating null byte.

fileBlocksX :: ExtendedFileStatus -> Word64

The number of blocks allocated to the file on the medium, in 512-byte units. (This may be smaller than stx_size/512 when the file has holes.)

accessTimeHiResX :: ExtendedFileStatus -> POSIXTime

The file's last access timestamp.

creationTimeHiResX :: ExtendedFileStatus -> POSIXTime

The file's creation timestamp.

statusChangeTimeHiResX :: ExtendedFileStatus -> POSIXTime

The file's last status change timestamp.

modificationTimeHiResX :: ExtendedFileStatus -> POSIXTime

The file's last modification timestamp.

deviceIDX :: ExtendedFileStatus -> DeviceID

ID of the device on which this file resides.

specialDeviceIDX :: ExtendedFileStatus -> DeviceID

Describes the device that this file represents.

mountIDX :: ExtendedFileStatus -> Word64

The mount ID of the mount containing the file. This is the same number reported by name_to_handle_at(2) and corresponds to the number in the first field in one of the records in procself/mountinfo.

fileCompressedX :: ExtendedFileStatus -> Bool

The file is compressed by the filesystem and may take extra resources to access. This is an extended attribute.

fileImmutableX :: ExtendedFileStatus -> Bool

The file cannot be modified: it cannot be deleted or renamed, no hard links can be created to this file and no data can be written to it. See chattr(1). This is an extended attribute.

fileAppendX :: ExtendedFileStatus -> Bool

The file can only be opened in append mode for writing. Random access writing is not permitted. See chattr(1). This is an extended attribute.

fileNoDumpX :: ExtendedFileStatus -> Bool

File is not a candidate for backup when a backup program such as dump(8) is run. See chattr(1). This is an extended attribute.

fileEncryptedX :: ExtendedFileStatus -> Bool

A key is required for the file to be encrypted by the filesystem. This is an extended attribute.

fileVerityX :: ExtendedFileStatus -> Bool

The file has fs-verity enabled. It cannot be written to, and all reads from it will be verified against a cryptographic hash that covers the entire file (e.g., via a Merkle tree). This is an extended attribute. Since Linux 5.5.

fileDaxX :: ExtendedFileStatus -> Bool

The file is in the DAX (cpu direct access) state. This is an extended attribute. Since Linux 5.8.

isBlockDeviceX :: ExtendedFileStatus -> Bool

Checks if this file is a block device.

isCharacterDeviceX :: ExtendedFileStatus -> Bool

Checks if this file is a character device.

isNamedPipeX :: ExtendedFileStatus -> Bool

Checks if this file is a named pipe device.

isRegularFileX :: ExtendedFileStatus -> Bool

Checks if this file is a regular file device.

isDirectoryX :: ExtendedFileStatus -> Bool

Checks if this file is a directory device.

isSymbolicLinkX :: ExtendedFileStatus -> Bool

Checks if this file is a symbolic link device.

isSocketX :: ExtendedFileStatus -> Bool

Checks if this file is a socket device.

Creation

createNamedPipe :: PosixPath -> FileMode -> IO ()

createNamedPipe fifo mode creates a new named pipe, fifo, with permissions based on mode. May fail with throwErrnoPathIfMinus1_ if a file named name already exists or if the effective user ID of the current process doesn't have permission to create the pipe.

Note: calls mkfifo.

createDevice :: PosixPath -> FileMode -> DeviceID -> IO ()

createDevice path mode dev creates either a regular or a special file depending on the value of mode (and dev). mode will normally be either blockSpecialMode or characterSpecialMode. May fail with throwErrnoPathIfMinus1_ if a file named name already exists or if the effective user ID of the current process doesn't have permission to create the file.

Note: calls mknod.

Hard links

createLink :: PosixPath -> PosixPath -> IO ()

createLink old new creates a new path, new, linked to an existing file, old.

Note: calls link.

removeLink :: PosixPath -> IO ()

removeLink path removes the link named path.

Note: calls unlink.

Symbolic links

createSymbolicLink :: PosixPath -> PosixPath -> IO ()

createSymbolicLink file1 file2 creates a symbolic link named file2 which points to the file file1.

Symbolic links are interpreted at run-time as if the contents of the link had been substituted into the path being followed to find a file or directory.

Note: calls symlink.

readSymbolicLink :: PosixPath -> IO PosixPath

Reads the PosixPath pointed to by the symbolic link and returns it.

Note: calls readlink.

Renaming files

rename :: PosixPath -> PosixPath -> IO ()

rename old new renames a file or directory from old to new.

Note: calls rename.

Changing file ownership

setOwnerAndGroup :: PosixPath -> UserID -> GroupID -> IO ()

setOwnerAndGroup path uid gid changes the owner and group of path to uid and gid, respectively.

If uid or gid is specified as -1, then that ID is not changed.

Note: calls chown.

setFdOwnerAndGroup :: Fd -> UserID -> GroupID -> IO ()

Acts as setOwnerAndGroup but uses a file descriptor instead of a FilePath.

Note: calls fchown.

setSymbolicLinkOwnerAndGroup :: PosixPath -> UserID -> GroupID -> IO ()

Acts as setOwnerAndGroup but does not follow symlinks (and thus changes permissions on the link itself).

Note: calls lchown.

Changing file timestamps

setFileTimes :: PosixPath -> EpochTime -> EpochTime -> IO ()

setFileTimes path atime mtime sets the access and modification times associated with file path to atime and mtime, respectively.

Note: calls utime.

setFileTimesHiRes :: PosixPath -> POSIXTime -> POSIXTime -> IO ()

Like setFileTimes but timestamps can have sub-second resolution.

Note: calls utimensat or utimes. Support for high resolution timestamps is filesystem dependent with the following limitations:

• HFS+ volumes on OS X truncate the sub-second part of the timestamp.

setSymbolicLinkTimesHiRes :: PosixPath -> POSIXTime -> POSIXTime -> IO ()

Like setFileTimesHiRes but does not follow symbolic links. This operation is not supported on all platforms. On these platforms, this function will raise an exception.

Note: calls utimensat or lutimes. Support for high resolution timestamps is filesystem dependent with the following limitations:

• HFS+ volumes on OS X truncate the sub-second part of the timestamp.

touchFile :: PosixPath -> IO ()

touchFile path sets the access and modification times associated with file path to the current time.

Note: calls utime.

touchFd :: Fd -> IO ()

Like touchFile but uses a file descriptor instead of a path. This operation is not supported on all platforms. On these platforms, this function will raise an exception.

Note: calls futimes.

Since: 2.7.0.0

touchSymbolicLink :: PosixPath -> IO ()

Like touchFile but does not follow symbolic links. This operation is not supported on all platforms. On these platforms, this function will raise an exception.

Note: calls lutimes.

Setting file sizes

setFileSize :: PosixPath -> FileOffset -> IO ()

Truncates the file down to the specified length. If the file was larger than the given length before this operation was performed the extra is lost.

Note: calls truncate.

setFdSize :: Fd -> FileOffset -> IO ()

Acts as setFileSize but uses a file descriptor instead of a FilePath.

Note: calls ftruncate.

Find system-specific limits for a file

data PathVar

Constructors

FileSizeBits

LinkLimit

InputLineLimit

InputQueueLimit

FileNameLimit

PathNameLimit

PipeBufferLimit

SymbolicLinkLimit

SetOwnerAndGroupIsRestricted

FileNamesAreNotTruncated

VDisableChar

AsyncIOAvailable

PrioIOAvailable

SyncIOAvailable

getPathVar :: PosixPath -> PathVar -> IO Limit

getPathVar var path obtains the dynamic value of the requested configurable file limit or option associated with file or directory path. For defined file limits, getPathVar returns the associated value. For defined file options, the result of getPathVar is undefined, but not failure.

Note: calls pathconf.

getFdPathVar :: Fd -> PathVar -> IO Limit

getFdPathVar var fd obtains the dynamic value of the requested configurable file limit or option associated with the file or directory attached to the open channel fd. For defined file limits, getFdPathVar returns the associated value. For defined file options, the result of getFdPathVar is undefined, but not failure.

Note: calls fpathconf.