GHC.IO.Device

Type classes for I/O providers.

Documentation

class RawIO a where

A low-level I/O provider where the data is bytes in memory. The Word64 offsets currently have no effect on POSIX system or consoles where the implicit behaviour of the C runtime is assume to move the file pointer on every read/write without needing an explicit seek.

Methods

read :: a -> Ptr Word8 -> Word64 -> Int -> IO Int

Read up to the specified number of bytes starting from a specified offset, returning the number of bytes actually read. This function should only block if there is no data available. If there is not enough data available, then the function should just return the available data. A return value of zero indicates that the end of the data stream (e.g. end of file) has been reached.

readNonBlocking :: a -> Ptr Word8 -> Word64 -> Int -> IO (Maybe Int)

Read up to the specified number of bytes starting from a specified offset, returning the number of bytes actually read, or Nothing if the end of the stream has been reached.

write :: a -> Ptr Word8 -> Word64 -> Int -> IO ()

Write the specified number of bytes starting at a given offset.

writeNonBlocking :: a -> Ptr Word8 -> Word64 -> Int -> IO Int

Write up to the specified number of bytes without blocking starting at a given offset. Returns the actual number of bytes written.

Instances

RawIO FD

Since: base-4.1.0.0

Defined in GHC.IO.FD

Methods

read :: FD -> Ptr Word8 -> Word64 -> Int -> IO Int

readNonBlocking :: FD -> Ptr Word8 -> Word64 -> Int -> IO (Maybe Int)

write :: FD -> Ptr Word8 -> Word64 -> Int -> IO ()

writeNonBlocking :: FD -> Ptr Word8 -> Word64 -> Int -> IO Int

class IODevice a where

I/O operations required for implementing a Handle.

Minimal complete definition

ready, close, devType

Methods

ready :: a -> Bool -> Int -> IO Bool

ready dev write msecs returns True if the device has data to read (if write is False) or space to write new data (if write is True). msecs specifies how long to wait, in milliseconds.

close :: a -> IO ()

closes the device. Further operations on the device should produce exceptions.

isTerminal :: a -> IO Bool

returns True if the device is a terminal or console.

isSeekable :: a -> IO Bool

returns True if the device supports seek operations.

seek :: a -> SeekMode -> Integer -> IO Integer

seek to the specified position in the data.

tell :: a -> IO Integer

return the current position in the data.

getSize :: a -> IO Integer

return the size of the data.

setSize :: a -> Integer -> IO ()

change the size of the data.

setEcho :: a -> Bool -> IO ()

for terminal devices, changes whether characters are echoed on the device.

getEcho :: a -> IO Bool

returns the current echoing status.

setRaw :: a -> Bool -> IO ()

some devices (e.g. terminals) support a "raw" mode where characters entered are immediately made available to the program. If available, this operations enables raw mode.

devType :: a -> IO IODeviceType

returns the IODeviceType corresponding to this device.

dup :: a -> IO a

duplicates the device, if possible. The new device is expected to share a file pointer with the original device (like Unix dup).

dup2 :: a -> a -> IO a

dup2 source target replaces the target device with the source device. The target device is closed first, if necessary, and then it is made into a duplicate of the first device (like Unix dup2).

Instances

IODevice FD

Since: base-4.1.0.0

Defined in GHC.IO.FD

Methods

ready :: FD -> Bool -> Int -> IO Bool

close :: FD -> IO ()

isTerminal :: FD -> IO Bool

isSeekable :: FD -> IO Bool

seek :: FD -> SeekMode -> Integer -> IO Integer

tell :: FD -> IO Integer

getSize :: FD -> IO Integer

setSize :: FD -> Integer -> IO ()

setEcho :: FD -> Bool -> IO ()

getEcho :: FD -> IO Bool

setRaw :: FD -> Bool -> IO ()

devType :: FD -> IO IODeviceType

dup :: FD -> IO FD

dup2 :: FD -> FD -> IO FD

data IODeviceType

Type of a device that can be used to back a Handle (see also mkFileHandle). The standard libraries provide creation of Handles via Posix file operations with file descriptors (see mkHandleFromFD) with FD being the underlying IODevice instance.

Users may provide custom instances of IODevice which are expected to conform the following rules:

Constructors

Directory

The standard libraries do not have direct support for this device type, but a user implementation is expected to provide a list of file names in the directory, in any order, separated by '\0' characters, excluding the "." and ".." names. See also getDirectoryContents. Seek operations are not supported on directories (other than to the zero position).

Stream

A duplex communications channel (results in creation of a duplex Handle). The standard libraries use this device type when creating Handles for open sockets.

RegularFile

A file that may be read or written, and also may be seekable.

RawDevice

A "raw" (disk) device which supports block binary read and write operations and may be seekable only to positions of certain granularity (block- aligned).

Instances

Eq IODeviceType

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

(==) :: IODeviceType -> IODeviceType -> Bool

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

data SeekMode

A mode that determines the effect of hSeek hdl mode i.

Constructors

AbsoluteSeek

the position of hdl is set to i.

RelativeSeek

the position of hdl is set to offset i from the current position.

SeekFromEnd

the position of hdl is set to offset i from the end of the file.

Instances

Enum SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

succ :: SeekMode -> SeekMode

pred :: SeekMode -> SeekMode

toEnum :: Int -> SeekMode

fromEnum :: SeekMode -> Int

enumFrom :: SeekMode -> [SeekMode]

enumFromThen :: SeekMode -> SeekMode -> [SeekMode]

enumFromTo :: SeekMode -> SeekMode -> [SeekMode]

enumFromThenTo :: SeekMode -> SeekMode -> SeekMode -> [SeekMode]

Ix SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

range :: (SeekMode, SeekMode) -> [SeekMode]

index :: (SeekMode, SeekMode) -> SeekMode -> Int

unsafeIndex :: (SeekMode, SeekMode) -> SeekMode -> Int

inRange :: (SeekMode, SeekMode) -> SeekMode -> Bool

rangeSize :: (SeekMode, SeekMode) -> Int

unsafeRangeSize :: (SeekMode, SeekMode) -> Int

Read SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

readsPrec :: Int -> ReadS SeekMode

readList :: ReadS [SeekMode]

readPrec :: ReadPrec SeekMode

readListPrec :: ReadPrec [SeekMode]

Show SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

showsPrec :: Int -> SeekMode -> ShowS

show :: SeekMode -> String

showList :: [SeekMode] -> ShowS

Eq SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

(==) :: SeekMode -> SeekMode -> Bool

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

Ord SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

compare :: SeekMode -> SeekMode -> Ordering

(<) :: SeekMode -> SeekMode -> Bool

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

(>) :: SeekMode -> SeekMode -> Bool

(>=) :: SeekMode -> SeekMode -> Bool

max :: SeekMode -> SeekMode -> SeekMode

min :: SeekMode -> SeekMode -> SeekMode