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'.

hPutStr :: Handle -> String -> IO ()

Writes UTF8-encoded text to the handle, which should be opened for writing and in text mode. The native convention for line endings is used.

The handle's text encoding is not necessarily preserved, it is changed to UTF8.

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

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

writeTextToFile :: FilePath -> Text -> IO ()

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