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
stdin
:: Handle
Standard input stream. |
stdout
:: Handle
Standard output stream. |
stderr
:: Handle
Standard error stream. |
openFile
:: String -> IOMode -> IO Handle
Opens a file in specified mode and returns a handle to it. |
hClose
:: Handle -> IO ()
Closes a file handle and flushes the buffer in case of output file. |
hFlush
:: Handle -> IO ()
Flushes the buffer associated to handle in case of output file. |
hIsEOF
:: Handle -> IO Bool
Is handle at end of file? |
isEOF
:: IO Bool
Is standard input at end of file? |
hSeek
:: Handle -> SeekMode -> Int -> IO ()
Set the position of a handle to a seekable stream (e.g., a file). |
hWaitForInput
:: Handle -> Int -> IO Bool
Waits until input is available on the given handle. |
hWaitForInputs
:: [Handle] -> Int -> IO Int
Waits until input is available on some of the given handles. |
hReady
:: Handle -> IO Bool
Checks whether an input is available on a given handle. |
hGetChar
:: Handle -> IO Char
Reads a character from an input handle and returns it. |
hGetLine
:: Handle -> IO String
Reads a line from an input handle and returns it. |
hGetContents
:: Handle -> IO String
Reads the complete contents from an input handle and closes the input handle before returning the contents. |
getContents
:: IO String
Reads the complete contents from the standard input stream until EOF. |
hPutChar
:: Handle -> Char -> IO ()
Puts a character to an output handle. |
hPutStr
:: Handle -> String -> IO ()
Puts a string to an output handle. |
hPutStrLn
:: Handle -> String -> IO ()
Puts a string with a newline to an output handle. |
hPrint
:: Show a => Handle -> a -> IO ()
Converts a term into a string and puts it to an output handle. |
hIsReadable
:: Handle -> IO Bool
Is the handle readable? |
hIsWritable
:: Handle -> IO Bool
Is the handle writable? |
hIsTerminalDevice
:: Handle -> IO Bool
Is the handle connected to a terminal? |
Constructors:
The modes for opening a file.
Constructors:
ReadMode
:: IOMode
WriteMode
:: IOMode
AppendMode
:: IOMode
The modes for positioning with hSeek
in a file.
Constructors:
AbsoluteSeek
:: SeekMode
RelativeSeek
:: SeekMode
SeekFromEnd
:: SeekMode
Opens a file in specified mode and returns a handle to it. |
Is standard input at end of file? |
Set the position of a handle to a seekable stream (e.g., a file).
If the second argument is |
Waits until input is available on the given handle. If no input is available within t milliseconds, it returns False, otherwise it returns True.
|
Waits until input is available on some of the given handles.
If no input is available within the given milliseconds, it returns
|
Reads a character from an input handle and returns it. Throws an error if the end of file has been reached. |
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. |
Reads the complete contents from an input handle and closes the input handle before returning the contents. |
Reads the complete contents from the standard input stream until EOF. |
Converts a term into a string and puts it to an output handle. |
Is the handle readable? |
Is the handle writable? |
Is the handle connected to a terminal? |