Data.OI.IO

Interaction enable to handle I/O error

type :~> a b = OI (IOResult a) -> IOResult b

I/O oprations

openFile :: FilePath -> IOMode -> Handle :~> Handle

hIsClosed :: Handle -> Bool :~> Bool

hIsEOF :: Handle -> Bool :~> Bool

hGetLine :: Handle -> String :~> String

hClose :: Handle -> () :~> ()

hPutStrLn :: Handle -> String -> () :~> ()

isEOF :: Bool :~> Bool

getLine :: String :~> String

putStrLn :: String -> () :~> ()