Module System.IO

Library for IO operations like reading and writing files that are not already contained in the prelude.

Author
Michael Hanus, Bernd Brassel
Version
March 2021

Exported Datatypes: Handle, IOMode, SeekMode

Exported Functions: getContents, hClose, hFlush, hGetChar, hGetContents, hGetLine, hIsEOF, hIsReadable, hIsTerminalDevice, hIsWritable, hPrint, hPutChar, hPutStr, hPutStrLn, hReady, hSeek, hWaitForInput, hWaitForInputs, isEOF, openFile, stderr, stdin, stdout


Exported Datatypes


data Handle

The abstract type of a handle for a stream.

Known instances:


data IOMode

The modes for opening a file.

Constructors:

  • ReadMode :: IOMode
  • WriteMode :: IOMode
  • AppendMode :: IOMode

data SeekMode

The modes for positioning with hSeek in a file.

Constructors:

  • AbsoluteSeek :: SeekMode
  • RelativeSeek :: SeekMode
  • SeekFromEnd :: SeekMode

Exported Functions


stdin :: Handle  Deterministic 

Standard input stream.

Further infos:
  • externally defined

stdout :: Handle  Deterministic 

Standard output stream.

Further infos:
  • externally defined

stderr :: Handle  Deterministic 

Standard error stream.

Further infos:
  • externally defined

openFile :: String -> IOMode -> IO Handle  Deterministic 

Opens a file in specified mode and returns a handle to it.


hClose :: Handle -> IO ()  Deterministic 

Closes a file handle and flushes the buffer in case of output file.


hFlush :: Handle -> IO ()  Deterministic 

Flushes the buffer associated to handle in case of output file.


hIsEOF :: Handle -> IO Bool  Deterministic 

Is handle at end of file?


isEOF :: IO Bool  Deterministic 

Is standard input at end of file?


hSeek :: Handle -> SeekMode -> Int -> IO ()  Deterministic 

Set the position of a handle to a seekable stream (e.g., a file). If the second argument is AbsoluteSeek, SeekFromEnd, or RelativeSeek, the position is set relative to the beginning of the file, to the end of the file, or to the current position, respectively.


hWaitForInput :: Handle -> Int -> IO Bool  Deterministic 

Waits until input is available on the given handle. If no input is available within t milliseconds, it returns False, otherwise it returns True.

:: Handle  a handle for an input stream
-> Int  milliseconds to wait for input (< 0 : no time out)
-> IO Bool 

hWaitForInputs :: [Handle] -> Int -> IO Int  Deterministic 

Waits until input is available on some of the given handles. If no input is available within the given milliseconds, it returns -1, otherwise it returns the index of the corresponding handle with the available data.

:: [Handle]  a list of handles for input streams
-> Int  milliseconds to wait for input (< 0 : no time out)
-> IO Int  -1 if no input is available within the time out, otherwise i if (handles!!i) has data available

hReady :: Handle -> IO Bool  Deterministic 

Checks whether an input is available on a given handle.


hGetChar :: Handle -> IO Char  Deterministic 

Reads a character from an input handle and returns it. Throws an error if the end of file has been reached.


hGetLine :: Handle -> IO String  Deterministic 

Reads a line from an input handle and returns it. Throws an error if the end of file has been reached while reading the first character. If the end of file is reached later in the line, it ist treated as a line terminator and the (partial) line is returned.


hGetContents :: Handle -> IO String  Deterministic 

Reads the complete contents from an input handle and closes the input handle before returning the contents.


getContents :: IO String  Deterministic 

Reads the complete contents from the standard input stream until EOF.


hPutChar :: Handle -> Char -> IO ()  Deterministic 

Puts a character to an output handle.


hPutStr :: Handle -> String -> IO ()  Deterministic 

Puts a string to an output handle.


hPutStrLn :: Handle -> String -> IO ()  Deterministic 

Puts a string with a newline to an output handle.


hPrint :: Show a => Handle -> a -> IO ()  Deterministic 

Converts a term into a string and puts it to an output handle.


hIsReadable :: Handle -> IO Bool  Deterministic 

Is the handle readable?


hIsWritable :: Handle -> IO Bool  Deterministic 

Is the handle writable?


hIsTerminalDevice :: Handle -> IO Bool  Deterministic 

Is the handle connected to a terminal?