| Copyright | (c) The University of Glasgow 1994-2008 |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | libraries@haskell.org |
| Stability | internal |
| Portability | non-portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
GHC.Internal.IO.FD
Description
Raw read/write operations on file descriptors
Synopsis
- data FD = FD {
- fdFD :: !CInt
- fdIsNonBlocking :: !Int
- openFileWith :: FilePath -> IOMode -> Bool -> (FD -> IODeviceType -> IO r) -> ((forall x. IO x -> IO x) -> r -> IO s) -> IO s
- openFile :: FilePath -> IOMode -> Bool -> IO (FD, IODeviceType)
- mkFD :: CInt -> IOMode -> Maybe (IODeviceType, CDev, CIno) -> Bool -> Bool -> IO (FD, IODeviceType)
- release :: FD -> IO ()
- setNonBlockingMode :: FD -> Bool -> IO FD
- readRawBufferPtr :: String -> FD -> Ptr Word8 -> Int -> CSize -> IO Int
- readRawBufferPtrNoBlock :: String -> FD -> Ptr Word8 -> Int -> CSize -> IO Int
- writeRawBufferPtr :: String -> FD -> Ptr Word8 -> Int -> CSize -> IO CInt
- stdin :: FD
- stdout :: FD
- stderr :: FD
Documentation
Constructors
| FD | |
Fields
| |
Instances
Arguments
| :: FilePath | file to open |
| -> IOMode | mode in which to open the file |
| -> Bool | open the file in non-blocking mode?
This has no effect on regular files and block devices:
they are always opened in blocking mode.
See |
| -> (FD -> IODeviceType -> IO r) |
|
| -> ((forall x. IO x -> IO x) -> r -> IO s) |
|
| -> IO s |
Open a file and make an FD for it. Truncates the file to zero size when
the IOMode is WriteMode.
openFileWith takes two actions, act1 and act2, to perform after
opening the file.
act1 is passed a file descriptor and I/O device type for the newly opened
file. If an exception occurs in act1, then the file will be closed.
act1 must not close the file itself. If it does so and then receives an
exception, then the exception handler will attempt to close it again, which
is impermissible.
act2 is performed with asynchronous exceptions masked. It is passed a
function to restore the masking state and the result of act1. It /must
not/ throw an exception (or deliver one via an interruptible operation)
without first closing the file or arranging for it to be closed. act2
may close the file, but is not required to do so. If act2 leaves the
file open, then the file will remain open on return from openFileWith.
Code calling openFileWith that wishes to install a finalizer to close
the file should do so in act2. Doing so in act1 could potentially close
the file in the finalizer first and then in the exception handler. See
openFile' for an example of this use. Regardless, the
caller is responsible for ensuring that the file is eventually closed,
perhaps using bracket.
Arguments
| :: FilePath | file to open |
| -> IOMode | mode in which to open the file |
| -> Bool | open the file in non-blocking mode? |
| -> IO (FD, IODeviceType) |
Open a file and make an FD for it. Truncates the file to zero
size when the IOMode is WriteMode. This function is difficult
to use without potentially leaking the file descriptor on exception.
In particular, it must be used with exceptions masked, which is a
bit rude because the thread will be uninterruptible while the file
path is being encoded. Use openFileWith instead.