Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell98

Agda.Utils.IO.UTF8

Description

Text IO using the UTF8 character encoding.

Synopsis

Documentation

readTextFile :: FilePath -> IO String Source

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

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

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 () Source

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