module System.IO (
    Handle,             -- abstract, instance of: Eq, Show.
    HandlePosn(..),     -- abstract, instance of: Eq, Show.

    IOMode(ReadMode,WriteMode,AppendMode,ReadWriteMode),
    BufferMode(NoBuffering,LineBuffering,BlockBuffering),
    SeekMode(AbsoluteSeek,RelativeSeek,SeekFromEnd),

    stdin, stdout, stderr,   -- :: Handle

    openFile,                  -- :: FilePath -> IOMode -> IO Handle
    hClose,                    -- :: Handle -> IO ()
    hFileSize,                 -- :: Handle -> IO Integer
    hIsEOF,                    -- :: Handle -> IO Bool
    isEOF,                     -- :: IO Bool

    hSetBuffering,             -- :: Handle -> BufferMode -> IO ()
    hGetBuffering,             -- :: Handle -> IO BufferMode
    hFlush,                    -- :: Handle -> IO ()
    hGetPosn,                  -- :: Handle -> IO HandlePosn
    hSetPosn,                  -- :: HandlePosn -> IO ()
    hSeek,                     -- :: Handle -> SeekMode -> Integer -> IO ()
 -- hTell,                     -- :: Handle -> IO Integer
    hWaitForInput,             -- :: Handle -> Int -> IO Bool
    hReady,                    -- :: Handle -> IO Bool
    hGetChar,                  -- :: Handle -> IO Char
    hGetLine,                  -- :: Handle -> IO [Char]
    hLookAhead,                -- :: Handle -> IO Char
    hGetContents,              -- :: Handle -> IO [Char]
    hPutChar,                  -- :: Handle -> Char -> IO ()
    hPutStr,                   -- :: Handle -> [Char] -> IO ()
    hPutStrLn,                 -- :: Handle -> [Char] -> IO ()
    hPrint,                    -- :: Show a => Handle -> a -> IO ()
    hIsOpen, hIsClosed,        -- :: Handle -> IO Bool
    hIsReadable, hIsWritable,  -- :: Handle -> IO Bool
    hIsSeekable,               -- :: Handle -> IO Bool

    isAlreadyExistsError, isDoesNotExistError,  -- :: IOError -> Bool
    isAlreadyInUseError, isFullError, 
    isEOFError, isIllegalOperation, 
    isPermissionError, isUserError, 

    ioeGetErrorString,         -- :: IOError -> String
    ioeGetHandle,              -- :: IOError -> Maybe Handle
    ioeGetFileName,            -- :: IOError -> Maybe FilePath

    try,                       -- :: IO a -> IO (Either IOError a)
    bracket,                   -- :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c
    bracket_,                  -- :: IO a -> (a -> IO b) -> IO c -> IO c

    IO,                        -- instance MonadFix
    FilePath,                  -- :: String
    IOError,
    ioError,                   -- :: IOError -> IO a
    userError,                 -- :: String  -> IOError
    catch,                     -- :: IO a    -> (IOError -> IO a) -> IO a
    interact,                  -- :: (String -> String) -> IO ()

    putChar,                   -- :: Char   -> IO ()
    putStr,                    -- :: String -> IO () 
    putStrLn,                  -- :: String -> IO ()
    print,                     -- :: Show a => a -> IO ()
    getChar,                   -- :: IO Char
    getLine,                   -- :: IO String
    getContents,               -- :: IO String
    readFile,                  -- :: FilePath -> IO String
    writeFile,                 -- :: FilePath -> String -> IO ()
    appendFile,                -- :: FilePath -> String -> IO ()
    readIO,                    -- :: Read a => String -> IO a
    readLn,                    -- :: Read a => IO a

    fixIO,                     -- :: (a -> IO a) -> IO a

  ) where

import Prelude
import IO
import System.IO.Unsafe

fixIO           :: (a -> IO a) -> IO a
fixIO f         = let x = unsafePerformIO (f x) in return x