    {-# LINE 1 "libraries/unix/System/Posix/Files.hsc" #-}

    {-# LINE 2 "libraries/unix/System/Posix/Files.hsc" #-}
    {-# LANGUAGE Safe #-}

    {-# LINE 6 "libraries/unix/System/Posix/Files.hsc" #-}
    {-# LANGUAGE CApiFFI #-}

    -----------------------------------------------------------------------------
    -- |
    -- Module      :  System.Posix.Files
    -- 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 (
        -- * 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
        setFileMode, setFdMode, setFileCreationMask,

        -- ** Checking file existence and permissions
        fileAccess, fileExist,

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

        -- * Creation
        createNamedPipe,
        createDevice,

        -- * Hard links
        createLink, removeLink,

        -- * Symbolic links
        createSymbolicLink, readSymbolicLink,

        -- * Renaming files
        rename,

        -- * Changing file ownership
        setOwnerAndGroup,  setFdOwnerAndGroup,

    {-# LINE 82 "libraries/unix/System/Posix/Files.hsc" #-}
        setSymbolicLinkOwnerAndGroup,

    {-# LINE 84 "libraries/unix/System/Posix/Files.hsc" #-}

        -- * Changing file timestamps
        setFileTimes, setFileTimesHiRes,
        setFdTimesHiRes, setSymbolicLinkTimesHiRes,
        touchFile, touchFd, touchSymbolicLink,

        -- * Setting file sizes
        setFileSize, setFdSize,

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

    import Foreign
    import Foreign.C

    import System.Posix.Types
    import System.Posix.Files.Common
    import System.Posix.Error
    import System.Posix.Internals

    import Data.Time.Clock.POSIX (POSIXTime)

    -- -----------------------------------------------------------------------------
    -- chmod()

    -- | @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@.
    setFileMode :: FilePath -> FileMode -> IO ()
    setFileMode :: FilePath -> CMode -> IO ()
    setFileMode FilePath
    name CMode
    m =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s -> do
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "setFileMode" FilePath
    name (CString -> CMode -> IO CInt
    c_chmod CString
    s CMode
    m)

    -- -----------------------------------------------------------------------------
    -- access()

    -- | @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@.
    fileAccess :: FilePath -> Bool -> Bool -> Bool -> IO Bool
    fileAccess :: FilePath -> Bool -> Bool -> Bool -> IO Bool
    fileAccess FilePath
    name Bool
    readOK Bool
    writeOK Bool
    execOK = FilePath -> CMode -> IO Bool
    access FilePath
    name CMode
    flags
      where
       flags :: CMode
    flags   = CMode
    read_f CMode -> CMode -> CMode
    forall a. Bits a => a -> a -> a
    .|. CMode
    write_f CMode -> CMode -> CMode
    forall a. Bits a => a -> a -> a
    .|. CMode
    exec_f
       read_f :: CMode
    read_f  = if Bool
    readOK  then (CMode
    4) else CMode
    0
    {-# LINE 135 "libraries/unix/System/Posix/Files.hsc" #-}
       write_f = if writeOK then (2) else 0
    {-# LINE 136 "libraries/unix/System/Posix/Files.hsc" #-}
       exec_f  = if execOK  then (1) else 0
    {-# LINE 137 "libraries/unix/System/Posix/Files.hsc" #-}

    -- | Checks for the existence of the file.
    --
    -- Note: calls @access@.
    fileExist :: FilePath -> IO Bool
    fileExist :: FilePath -> IO Bool
    fileExist FilePath
    name =
      FilePath -> (CString -> IO Bool) -> IO Bool
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO Bool) -> IO Bool)
    -> (CString -> IO Bool) -> IO Bool
    forall a b. (a -> b) -> a -> b
    $ \CString
    s -> do
        CInt
    r <- CString -> CInt -> IO CInt
    c_access CString
    s (CInt
    0)
    {-# LINE 145 "libraries/unix/System/Posix/Files.hsc" #-}
        if (r == 0)
            then return True
            else do err <- getErrno
                    if (err == eNOENT)
                       then return False
                       else throwErrnoPath "fileExist" name

    access :: FilePath -> CMode -> IO Bool
    access :: FilePath -> CMode -> IO Bool
    access FilePath
    name CMode
    flags =
      FilePath -> (CString -> IO Bool) -> IO Bool
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO Bool) -> IO Bool)
    -> (CString -> IO Bool) -> IO Bool
    forall a b. (a -> b) -> a -> b
    $ \CString
    s -> do
        CInt
    r <- CString -> CInt -> IO CInt
    c_access CString
    s (CMode -> CInt
    forall a b. (Integral a, Num b) => a -> b
    fromIntegral CMode
    flags)
        if (CInt
    r CInt -> CInt -> Bool
    forall a. Eq a => a -> a -> Bool
    == CInt
    0)
            then Bool -> IO Bool
    forall a. a -> IO a
    forall (m :: * -> *) a. Monad m => a -> m a
    return Bool
    True
            else do Errno
    err <- IO Errno
    getErrno
                    if (Errno
    err Errno -> Errno -> Bool
    forall a. Eq a => a -> a -> Bool
    == Errno
    eACCES Bool -> Bool -> Bool
    || Errno
    err Errno -> Errno -> Bool
    forall a. Eq a => a -> a -> Bool
    == Errno
    eROFS Bool -> Bool -> Bool
    || Errno
    err Errno -> Errno -> Bool
    forall a. Eq a => a -> a -> Bool
    == Errno
    eTXTBSY Bool -> Bool -> Bool
    ||
                        Errno
    err Errno -> Errno -> Bool
    forall a. Eq a => a -> a -> Bool
    == Errno
    ePERM)
                       then Bool -> IO Bool
    forall a. a -> IO a
    forall (m :: * -> *) a. Monad m => a -> m a
    return Bool
    False
                       else FilePath -> FilePath -> IO Bool
    forall a. FilePath -> FilePath -> IO a
    throwErrnoPath FilePath
    "fileAccess" FilePath
    name

    -- | @getFileStatus path@ calls gets the @FileStatus@ information (user ID,
    -- size, access times, etc.) for the file @path@.
    --
    -- Note: calls @stat@.
    getFileStatus :: FilePath -> IO FileStatus
    getFileStatus :: FilePath -> IO FileStatus
    getFileStatus FilePath
    path = do
      ForeignPtr CStat
    fp <- Int -> IO (ForeignPtr CStat)
    forall a. Int -> IO (ForeignPtr a)
    mallocForeignPtrBytes (Int
    144)
    {-# LINE 172 "libraries/unix/System/Posix/Files.hsc" #-}
      withForeignPtr fp $ \p ->
        withFilePath path $ \s ->
          throwErrnoPathIfMinus1Retry_ "getFileStatus" path (c_stat s p)
      FileStatus -> IO FileStatus
    forall a. a -> IO a
    forall (m :: * -> *) a. Monad m => a -> m a
    return (ForeignPtr CStat -> FileStatus
    FileStatus ForeignPtr CStat
    fp)

    -- | Acts as 'getFileStatus' except when the 'FilePath' 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@.
    getSymbolicLinkStatus :: FilePath -> IO FileStatus
    getSymbolicLinkStatus :: FilePath -> IO FileStatus
    getSymbolicLinkStatus FilePath
    path = do
      ForeignPtr CStat
    fp <- Int -> IO (ForeignPtr CStat)
    forall a. Int -> IO (ForeignPtr a)
    mallocForeignPtrBytes (Int
    144)
    {-# LINE 185 "libraries/unix/System/Posix/Files.hsc" #-}
      withForeignPtr fp $ \p ->
        withFilePath path $ \s ->
          throwErrnoPathIfMinus1_ "getSymbolicLinkStatus" path (c_lstat s p)
      FileStatus -> IO FileStatus
    forall a. a -> IO a
    forall (m :: * -> *) a. Monad m => a -> m a
    return (ForeignPtr CStat -> FileStatus
    FileStatus ForeignPtr CStat
    fp)

    foreign import capi unsafe "HsUnix.h lstat"
      c_lstat :: CString -> Ptr CStat -> IO CInt

    -- | @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@.
    createNamedPipe :: FilePath -> FileMode -> IO ()
    createNamedPipe :: FilePath -> CMode -> IO ()
    createNamedPipe FilePath
    name CMode
    mode = do
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "createNamedPipe" FilePath
    name (CString -> CMode -> IO CInt
    c_mkfifo CString
    s CMode
    mode)

    -- | @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@.
    createDevice :: FilePath -> FileMode -> DeviceID -> IO ()
    createDevice :: FilePath -> CMode -> DeviceID -> IO ()
    createDevice FilePath
    path CMode
    mode DeviceID
    dev =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    path ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "createDevice" FilePath
    path (CString -> CMode -> DeviceID -> IO CInt
    c_mknod CString
    s CMode
    mode DeviceID
    dev)

    foreign import capi unsafe "HsUnix.h mknod"
      c_mknod :: CString -> CMode -> CDev -> IO CInt

    -- -----------------------------------------------------------------------------
    -- Hard links

    -- | @createLink old new@ creates a new path, @new@, linked to an existing file,
    -- @old@.
    --
    -- Note: calls @link@.
    createLink :: FilePath -> FilePath -> IO ()
    createLink :: FilePath -> FilePath -> IO ()
    createLink FilePath
    name1 FilePath
    name2 =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name1 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s1 ->
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name2 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s2 ->
      FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "createLink" FilePath
    name1 (CString -> CString -> IO CInt
    c_link CString
    s1 CString
    s2)

    -- | @removeLink path@ removes the link named @path@.
    --
    -- Note: calls @unlink@.
    removeLink :: FilePath -> IO ()
    removeLink :: FilePath -> IO ()
    removeLink FilePath
    name =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
      FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "removeLink" FilePath
    name (CString -> IO CInt
    c_unlink CString
    s)

    -- -----------------------------------------------------------------------------
    -- Symbolic Links

    -- | @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@.
    createSymbolicLink :: FilePath -> FilePath -> IO ()
    createSymbolicLink :: FilePath -> FilePath -> IO ()
    createSymbolicLink FilePath
    file1 FilePath
    file2 =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    file1 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s1 ->
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    file2 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s2 ->
      FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "createSymbolicLink" FilePath
    file2 (CString -> CString -> IO CInt
    c_symlink CString
    s1 CString
    s2)

    foreign import ccall unsafe "symlink"
      c_symlink :: CString -> CString -> IO CInt

    -- ToDo: should really use SYMLINK_MAX, but not everyone supports it yet,
    -- and it seems that the intention is that SYMLINK_MAX is no larger than
    -- PATH_MAX.

    {-# LINE 269 "libraries/unix/System/Posix/Files.hsc" #-}

    -- | Reads the @FilePath@ pointed to by the symbolic link and returns it.
    --
    -- Note: calls @readlink@.
    readSymbolicLink :: FilePath -> IO FilePath
    readSymbolicLink :: FilePath -> IO FilePath
    readSymbolicLink FilePath
    file =
      Int -> (CString -> IO FilePath) -> IO FilePath
    forall a b. Storable a => Int -> (Ptr a -> IO b) -> IO b
    allocaArray0 (Int
    4096) ((CString -> IO FilePath) -> IO FilePath)
    -> (CString -> IO FilePath) -> IO FilePath
    forall a b. (a -> b) -> a -> b
    $ \CString
    buf -> do
    {-# LINE 276 "libraries/unix/System/Posix/Files.hsc" #-}
        withFilePath file $ \s -> do
          len <- throwErrnoPathIfMinus1 "readSymbolicLink" file $
            c_readlink s buf (4096)
    {-# LINE 279 "libraries/unix/System/Posix/Files.hsc" #-}
          peekFilePathLen (buf,fromIntegral len)

    foreign import ccall unsafe "readlink"
      c_readlink :: CString -> CString -> CSize -> IO CInt

    -- -----------------------------------------------------------------------------
    -- Renaming files

    -- | @rename old new@ renames a file or directory from @old@ to @new@.
    --
    -- Note: calls @rename@.
    rename :: FilePath -> FilePath -> IO ()
    rename :: FilePath -> FilePath -> IO ()
    rename FilePath
    name1 FilePath
    name2 =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name1 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s1 ->
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name2 ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s2 ->
      FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "rename" FilePath
    name1 (CString -> CString -> IO CInt
    c_rename CString
    s1 CString
    s2)

    foreign import ccall unsafe "rename"
       c_rename :: CString -> CString -> IO CInt

    -- -----------------------------------------------------------------------------
    -- chown()

    -- | @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@.
    setOwnerAndGroup :: FilePath -> UserID -> GroupID -> IO ()
    setOwnerAndGroup :: FilePath -> UserID -> GroupID -> IO ()
    setOwnerAndGroup FilePath
    name UserID
    uid GroupID
    gid = do
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "setOwnerAndGroup" FilePath
    name (CString -> UserID -> GroupID -> IO CInt
    c_chown CString
    s UserID
    uid GroupID
    gid)

    foreign import ccall unsafe "chown"
      c_chown :: CString -> CUid -> CGid -> IO CInt

    {-# LINE 317 "libraries/unix/System/Posix/Files.hsc" #-}
    -- | Acts as 'setOwnerAndGroup' but does not follow symlinks (and thus
    -- changes permissions on the link itself).
    --
    -- Note: calls @lchown@.
    setSymbolicLinkOwnerAndGroup :: FilePath -> UserID -> GroupID -> IO ()
    setSymbolicLinkOwnerAndGroup :: FilePath -> UserID -> GroupID -> IO ()
    setSymbolicLinkOwnerAndGroup FilePath
    name UserID
    uid GroupID
    gid = do
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "setSymbolicLinkOwnerAndGroup" FilePath
    name
            (CString -> UserID -> GroupID -> IO CInt
    c_lchown CString
    s UserID
    uid GroupID
    gid)

    foreign import ccall unsafe "lchown"
      c_lchown :: CString -> CUid -> CGid -> IO CInt

    {-# LINE 330 "libraries/unix/System/Posix/Files.hsc" #-}

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

    -- | @setFileTimes path atime mtime@ sets the access and modification times
    -- associated with file @path@ to @atime@ and @mtime@, respectively.
    --
    -- Note: calls @utime@.
    setFileTimes :: FilePath -> EpochTime -> EpochTime -> IO ()
    setFileTimes :: FilePath -> EpochTime -> EpochTime -> IO ()
    setFileTimes FilePath
    name EpochTime
    atime EpochTime
    mtime = do
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
       Int -> (Ptr CUtimbuf -> IO ()) -> IO ()
    forall a b. Int -> (Ptr a -> IO b) -> IO b
    allocaBytes (Int
    16) ((Ptr CUtimbuf -> IO ()) -> IO ())
    -> (Ptr CUtimbuf -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \Ptr CUtimbuf
    p -> do
    {-# LINE 342 "libraries/unix/System/Posix/Files.hsc" #-}
         ((\hsc_ptr -> pokeByteOff hsc_ptr 0))  p atime
    {-# LINE 343 "libraries/unix/System/Posix/Files.hsc" #-}
         ((\hsc_ptr -> pokeByteOff hsc_ptr 8)) p mtime
    {-# LINE 344 "libraries/unix/System/Posix/Files.hsc" #-}
         throwErrnoPathIfMinus1_ "setFileTimes" name (c_utime s p)

    -- | Like 'setFileTimes' but timestamps can have sub-second resolution.
    --
    -- Note: calls @utimensat@ or @utimes@.
    --
    -- @since 2.7.0.0
    setFileTimesHiRes :: FilePath -> POSIXTime -> POSIXTime -> IO ()

    {-# LINE 353 "libraries/unix/System/Posix/Files.hsc" #-}
    setFileTimesHiRes name atime mtime =
      withFilePath name $ \s ->
        withArray [toCTimeSpec atime, toCTimeSpec mtime] $ \times ->
          throwErrnoPathIfMinus1_ "setFileTimesHiRes" name $
            c_utimensat (-100) s times 0
    {-# LINE 358 "libraries/unix/System/Posix/Files.hsc" #-}

    {-# LINE 364 "libraries/unix/System/Posix/Files.hsc" #-}

    -- | 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@.
    --
    -- @since 2.7.0.0
    setSymbolicLinkTimesHiRes :: FilePath -> POSIXTime -> POSIXTime -> IO ()

    {-# LINE 374 "libraries/unix/System/Posix/Files.hsc" #-}
    setSymbolicLinkTimesHiRes name atime mtime =
      withFilePath name $ \s ->
        withArray [toCTimeSpec atime, toCTimeSpec mtime] $ \times ->
          throwErrnoPathIfMinus1_ "setSymbolicLinkTimesHiRes" name $
            c_utimensat (-100) s times (256)
    {-# LINE 379 "libraries/unix/System/Posix/Files.hsc" #-}

    {-# LINE 389 "libraries/unix/System/Posix/Files.hsc" #-}

    -- | @touchFile path@ sets the access and modification times associated with
    -- file @path@ to the current time.
    --
    -- Note: calls @utime@.
    touchFile :: FilePath -> IO ()
    touchFile :: FilePath -> IO ()
    touchFile FilePath
    name = do
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
       FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "touchFile" FilePath
    name (CString -> Ptr CUtimbuf -> IO CInt
    c_utime CString
    s Ptr CUtimbuf
    forall a. Ptr a
    nullPtr)

    -- | 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@.
    --
    -- @since 2.7.0.0
    touchSymbolicLink :: FilePath -> IO ()

    {-# LINE 408 "libraries/unix/System/Posix/Files.hsc" #-}
    touchSymbolicLink name =
      withFilePath name $ \s ->
        throwErrnoPathIfMinus1_ "touchSymbolicLink" name (c_lutimes s nullPtr)

    {-# LINE 415 "libraries/unix/System/Posix/Files.hsc" #-}

    -- -----------------------------------------------------------------------------
    -- Setting file sizes

    -- | 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@.
    setFileSize :: FilePath -> FileOffset -> IO ()
    setFileSize :: FilePath -> FileOffset -> IO ()
    setFileSize FilePath
    file FileOffset
    off =
      FilePath -> (CString -> IO ()) -> IO ()
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    file ((CString -> IO ()) -> IO ()) -> (CString -> IO ()) -> IO ()
    forall a b. (a -> b) -> a -> b
    $ \CString
    s ->
        FilePath -> FilePath -> IO CInt -> IO ()
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO ()
    throwErrnoPathIfMinus1_ FilePath
    "setFileSize" FilePath
    file (CString -> FileOffset -> IO CInt
    c_truncate CString
    s FileOffset
    off)

    foreign import capi unsafe "HsUnix.h truncate"
      c_truncate :: CString -> COff -> IO CInt

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

    -- | @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@.
    getPathVar :: FilePath -> PathVar -> IO Limit
    getPathVar :: FilePath -> PathVar -> IO CLong
    getPathVar FilePath
    name PathVar
    v = do
      FilePath -> (CString -> IO CLong) -> IO CLong
    forall a. FilePath -> (CString -> IO a) -> IO a
    withFilePath FilePath
    name ((CString -> IO CLong) -> IO CLong)
    -> (CString -> IO CLong) -> IO CLong
    forall a b. (a -> b) -> a -> b
    $ \ CString
    nameP ->
        FilePath -> FilePath -> IO CLong -> IO CLong
    forall a. (Eq a, Num a) => FilePath -> FilePath -> IO a -> IO a
    throwErrnoPathIfMinus1 FilePath
    "getPathVar" FilePath
    name (IO CLong -> IO CLong) -> IO CLong -> IO CLong
    forall a b. (a -> b) -> a -> b
    $
          CString -> CInt -> IO CLong
    c_pathconf CString
    nameP (PathVar -> CInt
    pathVarConst PathVar
    v)

    foreign import ccall unsafe "pathconf"
      c_pathconf :: CString -> CInt -> IO CLong