Agda.Utils.IO.UTF8

Text IO using the UTF8 character encoding.

Documentation

readTextFile :: FilePath -> IO String

Reads a UTF8-encoded text file and converts all Unicode line endings into '\n'.

writeFile :: FilePath -> String -> IO ()

Writes a UTF8-encoded text file. The native convention for line endings is used.