{-# LINE 1 "System/Posix/Files/Common.hsc" #-}
{-# LANGUAGE CApiFFI #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE NumDecimals #-}

-----------------------------------------------------------------------------
-- |
-- Module      :  System.Posix.Files.Common
-- Copyright   :  (c) The University of Glasgow 2002
-- License     :  BSD-style (see the file libraries/base/LICENSE)
--
-- Maintainer  :  libraries@haskell.org
-- Stability   :  provisional
-- Portability :  non-portable (requires POSIX)
--
-- 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 'Foreign.C.Error.errnoToIOError'.
-- For a list of which errno codes may be generated, consult the POSIX
-- documentation for the underlying function.
--
-----------------------------------------------------------------------------



module System.Posix.Files.Common (
    -- * File modes
    -- FileMode exported by System.Posix.Types
    unionFileModes, intersectFileModes,
    nullFileMode,
    ownerReadMode, ownerWriteMode, ownerExecuteMode, ownerModes,
    groupReadMode, groupWriteMode, groupExecuteMode, groupModes,
    otherReadMode, otherWriteMode, otherExecuteMode, otherModes,
    setUserIDMode, setGroupIDMode,
    stdFileMode,   accessModes,
    fileTypeModes,
    blockSpecialMode, characterSpecialMode, namedPipeMode, regularFileMode,
    directoryMode, symbolicLinkMode, socketMode,

    -- ** Setting file modes
    setFdMode, setFileCreationMask,

    -- * File status
    FileStatus(..),
    -- ** Obtaining file status
    getFdStatus,
    -- ** Querying file status
    deviceID, fileID, fileMode, linkCount, fileOwner, fileGroup,
    specialDeviceID, fileSize, accessTime, modificationTime,
    statusChangeTime,
    accessTimeHiRes, modificationTimeHiRes, statusChangeTimeHiRes,
    setFdTimesHiRes, touchFd,
    isBlockDevice, isCharacterDevice, isNamedPipe, isRegularFile,
    isDirectory, isSymbolicLink, isSocket,

    fileBlockSize,
    fileBlocks,

    -- * Extended file status
    StatxFlags(..),
    pattern EmptyPath,
    pattern NoAutoMount,
    pattern SymlinkNoFollow,
    pattern SyncAsStat,
    pattern ForceSync,
    pattern DontSync,
    defaultStatxFlags,
    StatxMask(..),
    pattern StatxType,
    pattern StatxMode,
    pattern StatxNlink,
    pattern StatxUid,
    pattern StatxGid,
    pattern StatxAtime,
    pattern StatxMtime,
    pattern StatxCtime,
    pattern StatxBtime,
    pattern StatxIno,
    pattern StatxSize,
    pattern StatxBlocks,
    pattern StatxMntId,
    pattern StatxBasicStats,
    pattern StatxAll,
    defaultStatxMask,
    ExtendedFileStatus(..),
    CAttributes(..),
    getExtendedFileStatus_,
    fileBlockSizeX,
    linkCountX,
    fileOwnerX,
    fileGroupX,
    fileModeX,
    fileIDX,
    fileSizeX,
    fileBlocksX,
    accessTimeHiResX,
    creationTimeHiResX,
    statusChangeTimeHiResX,
    modificationTimeHiResX,
    deviceIDX,
    specialDeviceIDX,
    mountIDX,
    fileCompressedX,
    fileImmutableX,
    fileAppendX,
    fileNoDumpX,
    fileEncryptedX,
    fileVerityX,
    fileDaxX,
    isBlockDeviceX,
    isCharacterDeviceX,
    isNamedPipeX,
    isRegularFileX,
    isDirectoryX,
    isSymbolicLinkX,
    isSocketX,
    haveStatx,

    -- * Setting file sizes
    setFdSize,

    -- * Changing file ownership
    setFdOwnerAndGroup,

    -- * Find system-specific limits for a file
    PathVar(..), getFdPathVar, pathVarConst,

    -- * Low level types and functions

{-# LINE 138 "System/Posix/Files/Common.hsc" #-}
    CTimeSpec(..),
    toCTimeSpec,
    c_utimensat,

{-# LINE 142 "System/Posix/Files/Common.hsc" #-}

{-# LINE 147 "System/Posix/Files/Common.hsc" #-}
    CTimeVal(..),
    toCTimeVal,
    c_utimes,

{-# LINE 151 "System/Posix/Files/Common.hsc" #-}
    c_lutimes,

{-# LINE 153 "System/Posix/Files/Common.hsc" #-}
  ) where

import System.Posix.Types
import System.IO.Unsafe
import Data.Bits
import Data.Int
import Data.Ratio
import Data.Word

{-# LINE 162 "System/Posix/Files/Common.hsc" #-}
import Data.Time.Clock (secondsToNominalDiffTime)
import Data.Fixed (Fixed(..))

{-# LINE 165 "System/Posix/Files/Common.hsc" #-}
import Data.Time.Clock.POSIX (POSIXTime)
import System.Posix.Internals
import Foreign.C
import Foreign.ForeignPtr

{-# LINE 170 "System/Posix/Files/Common.hsc" #-}
import Foreign.Marshal (withArray)

{-# LINE 172 "System/Posix/Files/Common.hsc" #-}
import Foreign.Ptr
import Foreign.Storable


{-# LINE 179 "System/Posix/Files/Common.hsc" #-}

-- -----------------------------------------------------------------------------
-- POSIX file modes

-- The abstract type 'FileMode', constants and operators for
-- manipulating the file modes defined by POSIX.

-- | No permissions.
nullFileMode :: FileMode
nullFileMode = 0

-- | Owner has read permission.
ownerReadMode :: FileMode
ownerReadMode = (256)
{-# LINE 193 "System/Posix/Files/Common.hsc" #-}

-- | Owner has write permission.
ownerWriteMode :: FileMode
ownerWriteMode = (128)
{-# LINE 197 "System/Posix/Files/Common.hsc" #-}

-- | Owner has execute permission.
ownerExecuteMode :: FileMode
ownerExecuteMode = (64)
{-# LINE 201 "System/Posix/Files/Common.hsc" #-}

-- | Group has read permission.
groupReadMode :: FileMode
groupReadMode = (32)
{-# LINE 205 "System/Posix/Files/Common.hsc" #-}

-- | Group has write permission.
groupWriteMode :: FileMode
groupWriteMode = (16)
{-# LINE 209 "System/Posix/Files/Common.hsc" #-}

-- | Group has execute permission.
groupExecuteMode :: FileMode
groupExecuteMode = (8)
{-# LINE 213 "System/Posix/Files/Common.hsc" #-}

-- | Others have read permission.
otherReadMode :: FileMode
otherReadMode = (4)
{-# LINE 217 "System/Posix/Files/Common.hsc" #-}

-- | Others have write permission.
otherWriteMode :: FileMode
otherWriteMode = (2)
{-# LINE 221 "System/Posix/Files/Common.hsc" #-}

-- | Others have execute permission.
otherExecuteMode :: FileMode
otherExecuteMode = (1)
{-# LINE 225 "System/Posix/Files/Common.hsc" #-}

-- | Set user ID on execution.
setUserIDMode :: FileMode
setUserIDMode = (2048)
{-# LINE 229 "System/Posix/Files/Common.hsc" #-}

-- | Set group ID on execution.
setGroupIDMode :: FileMode
setGroupIDMode = (1024)
{-# LINE 233 "System/Posix/Files/Common.hsc" #-}

-- | Owner, group and others have read and write permission.
stdFileMode :: FileMode
stdFileMode = ownerReadMode  .|. ownerWriteMode .|.
              groupReadMode  .|. groupWriteMode .|.
              otherReadMode  .|. otherWriteMode

-- | Owner has read, write and execute permission.
ownerModes :: FileMode
ownerModes = (448)
{-# LINE 243 "System/Posix/Files/Common.hsc" #-}

-- | Group has read, write and execute permission.
groupModes :: FileMode
groupModes = (56)
{-# LINE 247 "System/Posix/Files/Common.hsc" #-}

-- | Others have read, write and execute permission.
otherModes :: FileMode
otherModes = (7)
{-# LINE 251 "System/Posix/Files/Common.hsc" #-}

-- | Owner, group and others have read, write and execute permission.
accessModes :: FileMode
accessModes = ownerModes .|. groupModes .|. otherModes

-- | Combines the two file modes into one that contains modes that appear in
-- either.
unionFileModes :: FileMode -> FileMode -> FileMode
unionFileModes m1 m2 = m1 .|. m2

-- | Combines two file modes into one that only contains modes that appear in
-- both.
intersectFileModes :: FileMode -> FileMode -> FileMode
intersectFileModes m1 m2 = m1 .&. m2

fileTypeModes :: FileMode
fileTypeModes = (61440)
{-# LINE 268 "System/Posix/Files/Common.hsc" #-}

blockSpecialMode :: FileMode
blockSpecialMode = (24576)
{-# LINE 271 "System/Posix/Files/Common.hsc" #-}

characterSpecialMode :: FileMode
characterSpecialMode = (8192)
{-# LINE 274 "System/Posix/Files/Common.hsc" #-}

namedPipeMode :: FileMode
namedPipeMode = (4096)
{-# LINE 277 "System/Posix/Files/Common.hsc" #-}

regularFileMode :: FileMode
regularFileMode = (32768)
{-# LINE 280 "System/Posix/Files/Common.hsc" #-}

directoryMode :: FileMode
directoryMode = (16384)
{-# LINE 283 "System/Posix/Files/Common.hsc" #-}

symbolicLinkMode :: FileMode
symbolicLinkMode = (40960)
{-# LINE 286 "System/Posix/Files/Common.hsc" #-}

socketMode :: FileMode
socketMode = (49152)
{-# LINE 289 "System/Posix/Files/Common.hsc" #-}


{-# LINE 291 "System/Posix/Files/Common.hsc" #-}

-- | @setFdMode fd mode@ acts like 'setFileMode' but uses a file descriptor
-- @fd@ instead of a 'FilePath'.
--
-- Note: calls @fchmod@.
setFdMode :: Fd -> FileMode -> IO ()
setFdMode (Fd fd) m =
  throwErrnoIfMinus1_ "setFdMode" (c_fchmod fd m)

foreign import ccall unsafe "fchmod"
  c_fchmod :: CInt -> CMode -> IO CInt


{-# LINE 310 "System/Posix/Files/Common.hsc" #-}

-- | @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@.
setFileCreationMask :: FileMode -> IO FileMode
setFileCreationMask mask = c_umask mask

-- -----------------------------------------------------------------------------
-- stat() support

-- | 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.
--
newtype FileStatus = FileStatus (ForeignPtr CStat) -- ^ The constructor is considered internal and may change.

-- | ID of the device on which this file resides.
deviceID         :: FileStatus -> DeviceID
-- | inode number
fileID           :: FileStatus -> FileID
-- | File mode (such as permissions).
fileMode         :: FileStatus -> FileMode
-- | Number of hard links to this file.
linkCount        :: FileStatus -> LinkCount
-- | ID of owner.
fileOwner        :: FileStatus -> UserID
-- | ID of group.
fileGroup        :: FileStatus -> GroupID
-- | Describes the device that this file represents.
specialDeviceID  :: FileStatus -> DeviceID
-- | Size of the file in bytes. If this file is a symbolic link the size is
-- the length of the pathname it contains.
fileSize         :: FileStatus -> FileOffset
-- | Number of blocks allocated for this file, in units of
-- 512-bytes. Returns @Nothing@ if @st_blocks@ is not supported on this
-- platform.
fileBlocks       :: FileStatus -> Maybe CBlkCnt
-- | Gives the preferred block size for efficient filesystem I/O in
-- bytes. Returns @Nothing@ if @st_blocksize@ is not supported on this
-- platform.
fileBlockSize    :: FileStatus -> Maybe CBlkSize
-- | Time of last access.
accessTime       :: FileStatus -> EpochTime
-- | Time of last access in sub-second resolution. Depends on the timestamp resolution of the
-- underlying filesystem.
accessTimeHiRes  :: FileStatus -> POSIXTime
-- | Time of last modification.
modificationTime :: FileStatus -> EpochTime
-- | Time of last modification in sub-second resolution. Depends on the timestamp resolution of the
-- underlying filesystem.
modificationTimeHiRes :: FileStatus -> POSIXTime
-- | Time of last status change (i.e. owner, group, link count, mode, etc.).
statusChangeTime :: FileStatus -> EpochTime
-- | 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.
statusChangeTimeHiRes :: FileStatus -> POSIXTime

deviceID (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 0))
{-# LINE 377 "System/Posix/Files/Common.hsc" #-}
fileID (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 8))
{-# LINE 379 "System/Posix/Files/Common.hsc" #-}
fileMode (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 24))
{-# LINE 381 "System/Posix/Files/Common.hsc" #-}
linkCount (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 16))
{-# LINE 383 "System/Posix/Files/Common.hsc" #-}
fileOwner (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 28))
{-# LINE 385 "System/Posix/Files/Common.hsc" #-}
fileGroup (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 32))
{-# LINE 387 "System/Posix/Files/Common.hsc" #-}
specialDeviceID (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 40))
{-# LINE 389 "System/Posix/Files/Common.hsc" #-}
fileSize (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 48))
{-# LINE 391 "System/Posix/Files/Common.hsc" #-}
accessTime (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 72))
{-# LINE 393 "System/Posix/Files/Common.hsc" #-}
modificationTime (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 88))
{-# LINE 395 "System/Posix/Files/Common.hsc" #-}
statusChangeTime (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 104))
{-# LINE 397 "System/Posix/Files/Common.hsc" #-}


{-# LINE 399 "System/Posix/Files/Common.hsc" #-}
fileBlocks (FileStatus stat) =
  Just $ unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 64))
{-# LINE 401 "System/Posix/Files/Common.hsc" #-}

{-# LINE 404 "System/Posix/Files/Common.hsc" #-}

{-# LINE 405 "System/Posix/Files/Common.hsc" #-}
fileBlockSize (FileStatus stat) =
  Just $ unsafePerformIO $ withForeignPtr stat $ ((\hsc_ptr -> peekByteOff hsc_ptr 56))
{-# LINE 407 "System/Posix/Files/Common.hsc" #-}

{-# LINE 410 "System/Posix/Files/Common.hsc" #-}

accessTimeHiRes (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ \stat_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 72)) stat_ptr :: IO EpochTime
{-# LINE 414 "System/Posix/Files/Common.hsc" #-}

{-# LINE 415 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 80)) stat_ptr :: IO (Int64)
{-# LINE 416 "System/Posix/Files/Common.hsc" #-}
    let frac = toInteger nsec % 10^(9::Int)

{-# LINE 432 "System/Posix/Files/Common.hsc" #-}
    return $ fromRational $ toRational sec + frac

modificationTimeHiRes (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ \stat_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 88)) stat_ptr :: IO EpochTime
{-# LINE 437 "System/Posix/Files/Common.hsc" #-}

{-# LINE 438 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 96)) stat_ptr :: IO (Int64)
{-# LINE 439 "System/Posix/Files/Common.hsc" #-}
    let frac = toInteger nsec % 10^(9::Int)

{-# LINE 455 "System/Posix/Files/Common.hsc" #-}
    return $ fromRational $ toRational sec + frac

statusChangeTimeHiRes (FileStatus stat) =
  unsafePerformIO $ withForeignPtr stat $ \stat_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 104)) stat_ptr :: IO EpochTime
{-# LINE 460 "System/Posix/Files/Common.hsc" #-}

{-# LINE 461 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 112)) stat_ptr :: IO (Int64)
{-# LINE 462 "System/Posix/Files/Common.hsc" #-}
    let frac = toInteger nsec % 10^(9::Int)

{-# LINE 478 "System/Posix/Files/Common.hsc" #-}
    return $ fromRational $ toRational sec + frac

-- | Checks if this file is a block device.
isBlockDevice     :: FileStatus -> Bool
-- | Checks if this file is a character device.
isCharacterDevice :: FileStatus -> Bool
-- | Checks if this file is a named pipe device.
isNamedPipe       :: FileStatus -> Bool
-- | Checks if this file is a regular file device.
isRegularFile     :: FileStatus -> Bool
-- | Checks if this file is a directory device.
isDirectory       :: FileStatus -> Bool
-- | Checks if this file is a symbolic link device.
isSymbolicLink    :: FileStatus -> Bool
-- | Checks if this file is a socket device.
isSocket          :: FileStatus -> Bool

isBlockDevice stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == blockSpecialMode
isCharacterDevice stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == characterSpecialMode
isNamedPipe stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == namedPipeMode
isRegularFile stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == regularFileMode
isDirectory stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == directoryMode
isSymbolicLink stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == symbolicLinkMode
isSocket stat =
  (fileMode stat `intersectFileModes` fileTypeModes) == socketMode

-- | @getFdStatus fd@ acts as 'getFileStatus' but uses a file descriptor @fd@.
--
-- Note: calls @fstat@.
getFdStatus :: Fd -> IO FileStatus
getFdStatus (Fd fd) = do
  fp <- mallocForeignPtrBytes (144)
{-# LINE 516 "System/Posix/Files/Common.hsc" #-}
  withForeignPtr fp $ \p ->
    throwErrnoIfMinus1_ "getFdStatus" (c_fstat fd p)
  return (FileStatus fp)

-- -----------------------------------------------------------------------------
-- Setting file times


{-# LINE 524 "System/Posix/Files/Common.hsc" #-}
data CTimeSpec = CTimeSpec EpochTime CLong

instance Storable CTimeSpec where
    sizeOf    _ = (16)
{-# LINE 528 "System/Posix/Files/Common.hsc" #-}
    alignment _ = alignment (undefined :: CInt)
    poke p (CTimeSpec sec nsec) = do
        ((\hsc_ptr -> pokeByteOff hsc_ptr 0)) p sec
{-# LINE 531 "System/Posix/Files/Common.hsc" #-}
        ((\hsc_ptr -> pokeByteOff hsc_ptr 8)) p nsec
{-# LINE 532 "System/Posix/Files/Common.hsc" #-}
    peek p = do
        sec  <- (\hsc_ptr -> peekByteOff hsc_ptr 0) p
{-# LINE 534 "System/Posix/Files/Common.hsc" #-}
        nsec <- (\hsc_ptr -> peekByteOff hsc_ptr 8) p
{-# LINE 535 "System/Posix/Files/Common.hsc" #-}
        return $ CTimeSpec sec nsec

toCTimeSpec :: POSIXTime -> CTimeSpec
toCTimeSpec t = CTimeSpec (CTime sec) (truncate $ 10^(9::Int) * frac)
  where
    (sec, frac) = if (frac' < 0) then (sec' - 1, frac' + 1) else (sec', frac')
    (sec', frac') = properFraction $ toRational t

{-# LINE 543 "System/Posix/Files/Common.hsc" #-}


{-# LINE 545 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/stat.h utimensat"
    c_utimensat :: CInt -> CString -> Ptr CTimeSpec -> CInt -> IO CInt

{-# LINE 548 "System/Posix/Files/Common.hsc" #-}


{-# LINE 550 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/stat.h futimens"
    c_futimens :: CInt -> Ptr CTimeSpec -> IO CInt

{-# LINE 553 "System/Posix/Files/Common.hsc" #-}

data CTimeVal = CTimeVal CLong CLong

instance Storable CTimeVal where
    sizeOf    _ = (16)
{-# LINE 558 "System/Posix/Files/Common.hsc" #-}
    alignment _ = alignment (undefined :: CInt)
    poke p (CTimeVal sec usec) = do
        ((\hsc_ptr -> pokeByteOff hsc_ptr 0)) p sec
{-# LINE 561 "System/Posix/Files/Common.hsc" #-}
        ((\hsc_ptr -> pokeByteOff hsc_ptr 8)) p usec
{-# LINE 562 "System/Posix/Files/Common.hsc" #-}
    peek p = do
        sec  <- (\hsc_ptr -> peekByteOff hsc_ptr 0) p
{-# LINE 564 "System/Posix/Files/Common.hsc" #-}
        usec <- (\hsc_ptr -> peekByteOff hsc_ptr 8) p
{-# LINE 565 "System/Posix/Files/Common.hsc" #-}
        return $ CTimeVal sec usec

toCTimeVal :: POSIXTime -> CTimeVal
toCTimeVal t = CTimeVal sec (truncate $ 10^(6::Int) * frac)
  where
    (sec, frac) = if (frac' < 0) then (sec' - 1, frac' + 1) else (sec', frac')
    (sec', frac') = properFraction $ toRational t

foreign import capi unsafe "sys/time.h utimes"
    c_utimes :: CString -> Ptr CTimeVal -> IO CInt


{-# LINE 577 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/time.h lutimes"
    c_lutimes :: CString -> Ptr CTimeVal -> IO CInt

{-# LINE 580 "System/Posix/Files/Common.hsc" #-}


{-# LINE 582 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/time.h futimes"
    c_futimes :: CInt -> Ptr CTimeVal -> IO CInt

{-# LINE 585 "System/Posix/Files/Common.hsc" #-}


{-# LINE 594 "System/Posix/Files/Common.hsc" #-}

-- | Like 'setFileTimesHiRes' 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 @futimens@ or @futimes@. 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.
--
--
-- @since 2.7.0.0
setFdTimesHiRes :: Fd -> POSIXTime -> POSIXTime -> IO ()

{-# LINE 611 "System/Posix/Files/Common.hsc" #-}
setFdTimesHiRes (Fd fd) atime mtime =
  withArray [toCTimeSpec atime, toCTimeSpec mtime] $ \times ->
    throwErrnoIfMinus1_ "setFdTimesHiRes" (c_futimens fd times)

{-# LINE 623 "System/Posix/Files/Common.hsc" #-}

-- | 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
touchFd :: Fd -> IO ()

{-# LINE 637 "System/Posix/Files/Common.hsc" #-}
touchFd (Fd fd) =
  throwErrnoIfMinus1_ "touchFd" (c_futimes fd nullPtr)

{-# LINE 644 "System/Posix/Files/Common.hsc" #-}

-- -----------------------------------------------------------------------------
-- fchown()


{-# LINE 649 "System/Posix/Files/Common.hsc" #-}

-- | Acts as 'setOwnerAndGroup' but uses a file descriptor instead of a
-- 'FilePath'.
--
-- Note: calls @fchown@.
setFdOwnerAndGroup :: Fd -> UserID -> GroupID -> IO ()
setFdOwnerAndGroup (Fd fd) uid gid =
  throwErrnoIfMinus1_ "setFdOwnerAndGroup" (c_fchown fd uid gid)

foreign import ccall unsafe "fchown"
  c_fchown :: CInt -> CUid -> CGid -> IO CInt


{-# LINE 668 "System/Posix/Files/Common.hsc" #-}

-- -----------------------------------------------------------------------------
-- ftruncate()

-- | Acts as 'setFileSize' but uses a file descriptor instead of a 'FilePath'.
--
-- Note: calls @ftruncate@.
setFdSize :: Fd -> FileOffset -> IO ()
setFdSize (Fd fd) off =
  throwErrnoIfMinus1_ "setFdSize" (c_ftruncate fd off)

-- -----------------------------------------------------------------------------
-- pathconf()/fpathconf() support

data PathVar
  = FileSizeBits                  {- _PC_FILESIZEBITS     -}
  | LinkLimit                     {- _PC_LINK_MAX         -}
  | InputLineLimit                {- _PC_MAX_CANON        -}
  | InputQueueLimit               {- _PC_MAX_INPUT        -}
  | FileNameLimit                 {- _PC_NAME_MAX         -}
  | PathNameLimit                 {- _PC_PATH_MAX         -}
  | PipeBufferLimit               {- _PC_PIPE_BUF         -}
                                  -- These are described as optional in POSIX:
                                  {- _PC_ALLOC_SIZE_MIN     -}
                                  {- _PC_REC_INCR_XFER_SIZE -}
                                  {- _PC_REC_MAX_XFER_SIZE  -}
                                  {- _PC_REC_MIN_XFER_SIZE  -}
                                  {- _PC_REC_XFER_ALIGN     -}
  | SymbolicLinkLimit             {- _PC_SYMLINK_MAX      -}
  | SetOwnerAndGroupIsRestricted  {- _PC_CHOWN_RESTRICTED -}
  | FileNamesAreNotTruncated      {- _PC_NO_TRUNC         -}
  | VDisableChar                  {- _PC_VDISABLE         -}
  | AsyncIOAvailable              {- _PC_ASYNC_IO         -}
  | PrioIOAvailable               {- _PC_PRIO_IO          -}
  | SyncIOAvailable               {- _PC_SYNC_IO          -}

pathVarConst :: PathVar -> CInt
pathVarConst v = case v of
        LinkLimit                       -> (0)
{-# LINE 707 "System/Posix/Files/Common.hsc" #-}
        InputLineLimit                  -> (1)
{-# LINE 708 "System/Posix/Files/Common.hsc" #-}
        InputQueueLimit                 -> (2)
{-# LINE 709 "System/Posix/Files/Common.hsc" #-}
        FileNameLimit                   -> (3)
{-# LINE 710 "System/Posix/Files/Common.hsc" #-}
        PathNameLimit                   -> (4)
{-# LINE 711 "System/Posix/Files/Common.hsc" #-}
        PipeBufferLimit                 -> (5)
{-# LINE 712 "System/Posix/Files/Common.hsc" #-}
        SetOwnerAndGroupIsRestricted    -> (6)
{-# LINE 713 "System/Posix/Files/Common.hsc" #-}
        FileNamesAreNotTruncated        -> (7)
{-# LINE 714 "System/Posix/Files/Common.hsc" #-}
        VDisableChar                    -> (8)
{-# LINE 715 "System/Posix/Files/Common.hsc" #-}


{-# LINE 717 "System/Posix/Files/Common.hsc" #-}
        SyncIOAvailable         -> (9)
{-# LINE 718 "System/Posix/Files/Common.hsc" #-}

{-# LINE 721 "System/Posix/Files/Common.hsc" #-}


{-# LINE 723 "System/Posix/Files/Common.hsc" #-}
        AsyncIOAvailable        -> (10)
{-# LINE 724 "System/Posix/Files/Common.hsc" #-}

{-# LINE 727 "System/Posix/Files/Common.hsc" #-}


{-# LINE 729 "System/Posix/Files/Common.hsc" #-}
        PrioIOAvailable         -> (11)
{-# LINE 730 "System/Posix/Files/Common.hsc" #-}

{-# LINE 733 "System/Posix/Files/Common.hsc" #-}


{-# LINE 737 "System/Posix/Files/Common.hsc" #-}
        FileSizeBits            -> error "_PC_FILESIZEBITS not available"

{-# LINE 739 "System/Posix/Files/Common.hsc" #-}


{-# LINE 743 "System/Posix/Files/Common.hsc" #-}
        SymbolicLinkLimit       -> error "_PC_SYMLINK_MAX not available"

{-# LINE 745 "System/Posix/Files/Common.hsc" #-}

-- | @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@.
getFdPathVar :: Fd -> PathVar -> IO Limit
getFdPathVar (Fd fd) v =
    throwErrnoIfMinus1 "getFdPathVar" $
      c_fpathconf fd (pathVarConst v)

foreign import ccall unsafe "fpathconf"
  c_fpathconf :: CInt -> CInt -> IO CLong


-- -----------------------------------------------------------------------------
-- statx
--

newtype {-# CTYPE "__u64" #-} CAttributes = CAttributes Word64
 deriving (Read, Show, Eq, Ord, Storable, Num, Bits)

-- | 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'
newtype StatxFlags = StatxFlags CInt deriving (Read, Show, Eq, Ord, Integral, Num, Enum, Bits, Real)

-- | ORs the flags.
instance Semigroup StatxFlags where
   a <> b = a .|. b

instance Monoid StatxFlags where
  mappend = (<>)
  mempty = 0

-- | 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 EmptyPath :: StatxFlags

{-# LINE 801 "System/Posix/Files/Common.hsc" #-}
pattern EmptyPath = StatxFlags (4096)
{-# LINE 802 "System/Posix/Files/Common.hsc" #-}

{-# LINE 805 "System/Posix/Files/Common.hsc" #-}

-- | 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 NoAutoMount :: StatxFlags

{-# LINE 812 "System/Posix/Files/Common.hsc" #-}
pattern NoAutoMount = StatxFlags (2048)
{-# LINE 813 "System/Posix/Files/Common.hsc" #-}

{-# LINE 816 "System/Posix/Files/Common.hsc" #-}

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

{-# LINE 820 "System/Posix/Files/Common.hsc" #-}
pattern SymlinkNoFollow = StatxFlags (256)
{-# LINE 821 "System/Posix/Files/Common.hsc" #-}

{-# LINE 824 "System/Posix/Files/Common.hsc" #-}

-- | Do whatever @stat(2)@ does. This is the default and is very much filesystem-specific.
pattern SyncAsStat :: StatxFlags

{-# LINE 828 "System/Posix/Files/Common.hsc" #-}
pattern SyncAsStat = StatxFlags (0)
{-# LINE 829 "System/Posix/Files/Common.hsc" #-}

{-# LINE 832 "System/Posix/Files/Common.hsc" #-}

-- | 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 ForceSync :: StatxFlags

{-# LINE 837 "System/Posix/Files/Common.hsc" #-}
pattern ForceSync = StatxFlags (8192)
{-# LINE 838 "System/Posix/Files/Common.hsc" #-}

{-# LINE 841 "System/Posix/Files/Common.hsc" #-}

-- | 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.
pattern DontSync :: StatxFlags

{-# LINE 847 "System/Posix/Files/Common.hsc" #-}
pattern DontSync = StatxFlags (16384)
{-# LINE 848 "System/Posix/Files/Common.hsc" #-}

{-# LINE 851 "System/Posix/Files/Common.hsc" #-}

defaultStatxFlags :: StatxFlags
defaultStatxFlags = mempty

-- | 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 `(.&.)`.
newtype StatxMask = StatxMask CInt deriving (Read, Show, Eq, Ord, Integral, Num, Enum, Bits, Real)

-- | ORs the masks.
instance Semigroup StatxMask where
   a <> b = a .|. b

instance Monoid StatxMask where
  mappend = (<>)
  mempty = 0

-- | Want @stx_mode & S_IFMT@.
pattern StatxType :: StatxMask

{-# LINE 872 "System/Posix/Files/Common.hsc" #-}
pattern StatxType = StatxMask (1)
{-# LINE 873 "System/Posix/Files/Common.hsc" #-}

{-# LINE 876 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_mode & ~S_IFMT@.
pattern StatxMode :: StatxMask

{-# LINE 880 "System/Posix/Files/Common.hsc" #-}
pattern StatxMode = StatxMask (2)
{-# LINE 881 "System/Posix/Files/Common.hsc" #-}

{-# LINE 884 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_nlink@.
pattern StatxNlink :: StatxMask

{-# LINE 888 "System/Posix/Files/Common.hsc" #-}
pattern StatxNlink = StatxMask (4)
{-# LINE 889 "System/Posix/Files/Common.hsc" #-}

{-# LINE 892 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_uid@.
pattern StatxUid :: StatxMask

{-# LINE 896 "System/Posix/Files/Common.hsc" #-}
pattern StatxUid = StatxMask (8)
{-# LINE 897 "System/Posix/Files/Common.hsc" #-}

{-# LINE 900 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_gid@.
pattern StatxGid :: StatxMask

{-# LINE 904 "System/Posix/Files/Common.hsc" #-}
pattern StatxGid = StatxMask (16)
{-# LINE 905 "System/Posix/Files/Common.hsc" #-}

{-# LINE 908 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_atime@.
pattern StatxAtime :: StatxMask

{-# LINE 912 "System/Posix/Files/Common.hsc" #-}
pattern StatxAtime = StatxMask (32)
{-# LINE 913 "System/Posix/Files/Common.hsc" #-}

{-# LINE 916 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_mtime@.
pattern StatxMtime :: StatxMask

{-# LINE 920 "System/Posix/Files/Common.hsc" #-}
pattern StatxMtime = StatxMask (64)
{-# LINE 921 "System/Posix/Files/Common.hsc" #-}

{-# LINE 924 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_ctime@.
pattern StatxCtime :: StatxMask

{-# LINE 928 "System/Posix/Files/Common.hsc" #-}
pattern StatxCtime = StatxMask (128)
{-# LINE 929 "System/Posix/Files/Common.hsc" #-}

{-# LINE 932 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_btime@.
pattern StatxBtime :: StatxMask

{-# LINE 936 "System/Posix/Files/Common.hsc" #-}
pattern StatxBtime = StatxMask (2048)
{-# LINE 937 "System/Posix/Files/Common.hsc" #-}

{-# LINE 940 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_mnt_id@.
pattern StatxMntId :: StatxMask

{-# LINE 944 "System/Posix/Files/Common.hsc" #-}
pattern StatxMntId = StatxMask (4096)
{-# LINE 945 "System/Posix/Files/Common.hsc" #-}

{-# LINE 948 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_ino@.
pattern StatxIno :: StatxMask

{-# LINE 952 "System/Posix/Files/Common.hsc" #-}
pattern StatxIno = StatxMask (256)
{-# LINE 953 "System/Posix/Files/Common.hsc" #-}

{-# LINE 956 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_size@.
pattern StatxSize :: StatxMask

{-# LINE 960 "System/Posix/Files/Common.hsc" #-}
pattern StatxSize = StatxMask (512)
{-# LINE 961 "System/Posix/Files/Common.hsc" #-}

{-# LINE 964 "System/Posix/Files/Common.hsc" #-}

-- | Want @stx_blocks@.
pattern StatxBlocks :: StatxMask

{-# LINE 968 "System/Posix/Files/Common.hsc" #-}
pattern StatxBlocks = StatxMask (1024)
{-# LINE 969 "System/Posix/Files/Common.hsc" #-}

{-# LINE 972 "System/Posix/Files/Common.hsc" #-}

-- | Want all of the above.
pattern StatxBasicStats :: StatxMask

{-# LINE 976 "System/Posix/Files/Common.hsc" #-}
pattern StatxBasicStats = StatxMask (2047)
{-# LINE 977 "System/Posix/Files/Common.hsc" #-}

{-# LINE 980 "System/Posix/Files/Common.hsc" #-}

-- | Want all currently available fields.
pattern StatxAll :: StatxMask

{-# LINE 984 "System/Posix/Files/Common.hsc" #-}
pattern StatxAll = StatxMask (4095)
{-# LINE 985 "System/Posix/Files/Common.hsc" #-}

{-# LINE 988 "System/Posix/Files/Common.hsc" #-}


defaultStatxMask :: StatxMask
defaultStatxMask = mempty

newtype ExtendedFileStatus = ExtendedFileStatus (ForeignPtr CStatx) -- ^ The constructor is considered internal and may change.

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

{-# LINE 999 "System/Posix/Files/Common.hsc" #-}
-- | Further status information about the file.
fileAttributesX            :: ExtendedFileStatus -> CAttributes

{-# LINE 1002 "System/Posix/Files/Common.hsc" #-}
-- | The number of hard links on a file.
linkCountX                 :: ExtendedFileStatus -> CNlink
-- | Te user ID of the owner of the file.
fileOwnerX                 :: ExtendedFileStatus -> UserID
-- | The ID of the group owner of the file.
fileGroupX                 :: ExtendedFileStatus -> GroupID
-- | The file type and mode.  See @inode(7)@ for details.
fileModeX                  :: ExtendedFileStatus -> FileMode
-- | The inode number of the file.
fileIDX                    :: ExtendedFileStatus -> FileID
-- | 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.
fileSizeX                  :: 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.)
fileBlocksX                :: ExtendedFileStatus -> Word64

{-# LINE 1020 "System/Posix/Files/Common.hsc" #-}
-- | A mask indicating which bits in 'fileAttributesX' are supported by the VFS and the filesystem.
fileAttributesMaskX        :: ExtendedFileStatus -> CAttributes

{-# LINE 1023 "System/Posix/Files/Common.hsc" #-}
-- | The file's last access timestamp.
accessTimeHiResX           :: ExtendedFileStatus -> POSIXTime
-- | The file's creation timestamp.
creationTimeHiResX         :: ExtendedFileStatus -> POSIXTime
-- | The file's last status change timestamp.
statusChangeTimeHiResX     :: ExtendedFileStatus -> POSIXTime
-- | The file's last modification timestamp.
modificationTimeHiResX     :: ExtendedFileStatus -> POSIXTime
-- | ID of the device on which this file resides.
deviceIDX                  :: ExtendedFileStatus -> DeviceID
-- | Describes the device that this file represents.
specialDeviceIDX       :: ExtendedFileStatus -> DeviceID
-- | 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 /proc/self/mountinfo.
mountIDX               :: ExtendedFileStatus -> Word64
-- | The file is compressed by the filesystem and may take extra resources to access.
-- This is an extended attribute.
fileCompressedX            :: 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.
fileImmutableX             :: 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.
fileAppendX                :: 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.
fileNoDumpX                :: ExtendedFileStatus -> Bool
-- | A key is required for the file to be encrypted by the filesystem.
-- This is an extended attribute.
fileEncryptedX             :: 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.
fileVerityX                :: ExtendedFileStatus -> Bool
-- | The  file is in the DAX (cpu direct access) state.
-- This is an extended attribute.
-- Since Linux 5.8.
fileDaxX                   :: ExtendedFileStatus -> Bool

-- | Checks if this file is a block device.
isBlockDeviceX     :: ExtendedFileStatus -> Bool
-- | Checks if this file is a character device.
isCharacterDeviceX :: ExtendedFileStatus -> Bool
-- | Checks if this file is a named pipe device.
isNamedPipeX       :: ExtendedFileStatus -> Bool
-- | Checks if this file is a regular file device.
isRegularFileX     :: ExtendedFileStatus -> Bool
-- | Checks if this file is a directory device.
isDirectoryX       :: ExtendedFileStatus -> Bool
-- | Checks if this file is a symbolic link device.
isSymbolicLinkX    :: ExtendedFileStatus -> Bool
-- | Checks if this file is a socket device.
isSocketX          :: ExtendedFileStatus -> Bool

isBlockDeviceX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == blockSpecialMode
isCharacterDeviceX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == characterSpecialMode
isNamedPipeX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == namedPipeMode
isRegularFileX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == regularFileMode
isDirectoryX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == directoryMode
isSymbolicLinkX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == symbolicLinkMode
isSocketX statx =
  (fileModeX statx `intersectFileModes` fileTypeModes) == socketMode


{-# LINE 1096 "System/Posix/Files/Common.hsc" #-}
testFlag :: ExtendedFileStatus -> CAttributes -> Bool
testFlag ex flag =
  let attributes = fileAttributesX ex
      attributes_mask = fileAttributesMaskX ex
  in (attributes .&. attributes_mask .&. flag) /= 0


{-# LINE 1103 "System/Posix/Files/Common.hsc" #-}
fileCompressedX ex = testFlag ex (4)
{-# LINE 1104 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1108 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1109 "System/Posix/Files/Common.hsc" #-}
fileImmutableX ex = testFlag ex (16)
{-# LINE 1110 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1114 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1115 "System/Posix/Files/Common.hsc" #-}
fileAppendX ex = testFlag ex (32)
{-# LINE 1116 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1120 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1121 "System/Posix/Files/Common.hsc" #-}
fileNoDumpX ex = testFlag ex (64)
{-# LINE 1122 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1126 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1127 "System/Posix/Files/Common.hsc" #-}
fileEncryptedX ex = testFlag ex (2048)
{-# LINE 1128 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1132 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1133 "System/Posix/Files/Common.hsc" #-}
fileVerityX ex = testFlag ex (1048576)
{-# LINE 1134 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1138 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1139 "System/Posix/Files/Common.hsc" #-}
fileDaxX ex = testFlag ex (2097152)
{-# LINE 1140 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1144 "System/Posix/Files/Common.hsc" #-}


{-# LINE 1146 "System/Posix/Files/Common.hsc" #-}
deviceIDX (ExtendedFileStatus statx) = unsafePerformIO $ do
  major <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 136)) :: IO CUInt
{-# LINE 1148 "System/Posix/Files/Common.hsc" #-}
  minor <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 140)) :: IO CUInt
{-# LINE 1149 "System/Posix/Files/Common.hsc" #-}
  c_makedev major minor

{-# LINE 1154 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1155 "System/Posix/Files/Common.hsc" #-}
specialDeviceIDX (ExtendedFileStatus statx) = unsafePerformIO $ do
  major <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 128)) :: IO CUInt
{-# LINE 1157 "System/Posix/Files/Common.hsc" #-}
  minor <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 132)) :: IO CUInt
{-# LINE 1158 "System/Posix/Files/Common.hsc" #-}
  c_makedev major minor

{-# LINE 1163 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1164 "System/Posix/Files/Common.hsc" #-}
mountIDX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 144))
{-# LINE 1166 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1170 "System/Posix/Files/Common.hsc" #-}
fileBlockSizeX (ExtendedFileStatus statx) = unsafePerformIO $ do
  r <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 4)) :: IO Word32
{-# LINE 1172 "System/Posix/Files/Common.hsc" #-}
  return $ CBlkSize (fromIntegral r)
fileAttributesX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 8))
{-# LINE 1175 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1176 "System/Posix/Files/Common.hsc" #-}
linkCountX (ExtendedFileStatus statx) = unsafePerformIO $ do
  links <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 16)) :: IO Word32
{-# LINE 1178 "System/Posix/Files/Common.hsc" #-}
  return $ CNlink (fromIntegral links)

{-# LINE 1183 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1184 "System/Posix/Files/Common.hsc" #-}
fileOwnerX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 20))
{-# LINE 1186 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1190 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1191 "System/Posix/Files/Common.hsc" #-}
fileGroupX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 24))
{-# LINE 1193 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1197 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1198 "System/Posix/Files/Common.hsc" #-}
fileModeX (ExtendedFileStatus statx) = unsafePerformIO $ do
  r <- withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 28)) :: IO Word16
{-# LINE 1200 "System/Posix/Files/Common.hsc" #-}
  return $ CMode $ fromIntegral r

{-# LINE 1205 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1206 "System/Posix/Files/Common.hsc" #-}
fileIDX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 32))
{-# LINE 1208 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1212 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1213 "System/Posix/Files/Common.hsc" #-}
fileSizeX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 40)) :: Word64
{-# LINE 1215 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1219 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1220 "System/Posix/Files/Common.hsc" #-}
fileBlocksX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 48)) :: Word64
{-# LINE 1222 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1226 "System/Posix/Files/Common.hsc" #-}
fileAttributesMaskX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ ((\hsc_ptr -> peekByteOff hsc_ptr 56))
{-# LINE 1228 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1229 "System/Posix/Files/Common.hsc" #-}
accessTimeHiResX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ \statx_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 64)) statx_ptr :: IO EpochTime
{-# LINE 1232 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 72)) statx_ptr :: IO (Int32)
{-# LINE 1233 "System/Posix/Files/Common.hsc" #-}
    return $ timeHiResToNominalDiffTime sec nsec

{-# LINE 1238 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1239 "System/Posix/Files/Common.hsc" #-}
creationTimeHiResX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ \statx_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 80)) statx_ptr :: IO EpochTime
{-# LINE 1242 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 88)) statx_ptr :: IO (Int32)
{-# LINE 1243 "System/Posix/Files/Common.hsc" #-}
    return $ timeHiResToNominalDiffTime sec nsec

{-# LINE 1248 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1249 "System/Posix/Files/Common.hsc" #-}
statusChangeTimeHiResX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ \statx_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 96)) statx_ptr :: IO EpochTime
{-# LINE 1252 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 104)) statx_ptr :: IO (Int32)
{-# LINE 1253 "System/Posix/Files/Common.hsc" #-}
    return $ timeHiResToNominalDiffTime sec nsec

{-# LINE 1258 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1259 "System/Posix/Files/Common.hsc" #-}
modificationTimeHiResX (ExtendedFileStatus statx) =
  unsafePerformIO $ withForeignPtr statx $ \statx_ptr -> do
    sec  <- ((\hsc_ptr -> peekByteOff hsc_ptr 112)) statx_ptr :: IO EpochTime
{-# LINE 1262 "System/Posix/Files/Common.hsc" #-}
    nsec <- ((\hsc_ptr -> peekByteOff hsc_ptr 120)) statx_ptr :: IO (Int32)
{-# LINE 1263 "System/Posix/Files/Common.hsc" #-}
    return $ timeHiResToNominalDiffTime sec nsec

{-# LINE 1268 "System/Posix/Files/Common.hsc" #-}

timeHiResToNominalDiffTime :: EpochTime -> Int32 -> POSIXTime
timeHiResToNominalDiffTime (CTime sec) nsec = secondsToNominalDiffTime $ MkFixed $ toInteger sec * 1e12 + toInteger nsec * 1e3


{-# LINE 1318 "System/Posix/Files/Common.hsc" #-}

data {-# CTYPE "struct statx" #-} CStatx


{-# LINE 1322 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/stat.h statx"
   c_statx :: CInt -> CFilePath -> CInt -> CInt -> Ptr CStatx -> IO CInt


{-# LINE 1326 "System/Posix/Files/Common.hsc" #-}
foreign import capi unsafe "sys/sysmacros.h makedev"
  c_makedev :: CUInt -> CUInt -> IO CDev

{-# LINE 1329 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1330 "System/Posix/Files/Common.hsc" #-}


getExtendedFileStatus_ :: Maybe Fd  -- ^ Optional directory file descriptor
                       -> CString   -- ^ Pathname to open
                       -> StatxFlags
                       -> StatxMask
                       -> IO ExtendedFileStatus

{-# LINE 1338 "System/Posix/Files/Common.hsc" #-}
getExtendedFileStatus_ fdMay str (StatxFlags flags) (StatxMask masks) = do
  fp <- mallocForeignPtrBytes (256)
{-# LINE 1340 "System/Posix/Files/Common.hsc" #-}
  withForeignPtr fp $ \p ->
      throwErrnoIfMinus1_ "getExtendedFileStatus_" (c_statx c_fd str flags masks p)
  return (ExtendedFileStatus fp)
 where
  c_fd = maybe (-100) (\ (Fd fd) -> fd) fdMay
{-# LINE 1345 "System/Posix/Files/Common.hsc" #-}

{-# LINE 1349 "System/Posix/Files/Common.hsc" #-}

-- | Whether 'statx' is available on this platform and 'getExtendedFileStatus' and
-- related functions will work.
haveStatx :: Bool

{-# LINE 1354 "System/Posix/Files/Common.hsc" #-}
haveStatx = True

{-# LINE 1358 "System/Posix/Files/Common.hsc" #-}