Agda.Utils.IO.UTF8

Text IO using the UTF8 character encoding.

Documentation

readTextFile :: FilePath -> IO Text

Reads a UTF8-encoded text file and converts many character sequences which may be interpreted as line or paragraph separators 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.