What is the Frege equivalent to Haskell "readFile"?

Question

While preparing the Frege equivalents for the Real-world Haskell code examples (chapter 2), I could not find the equivalent for

:type readFile

What would be the closest match?

Answer 1

It seems you will have to use openReader :: String -> IO BufferedReader function along with getLines :: BufferedReader -> IO [String] function. Then you can just combine the list of string into a single string.

Answer 2

Ok, I made this

readFile :: String -> IO [String]
readFile fileName = do
    file <- openReader fileName
    file.getLines

(This wouldn't be displayed nicely as a comment, so I made it an answer)