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

Safe Haskell | Safe
Language | Haskell2010

Agda.Utils.IO.UTF8

Description

Text IO using the UTF8 character encoding.

Synopsis

- readTextFile :: FilePath -> IO Text
- hPutStr :: Handle -> String -> IO ()
- writeFile :: FilePath -> String -> IO ()
- writeTextToFile :: FilePath -> Text -> IO ()

# Documentation

readTextFile :: FilePath -> IO Text Source #

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

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

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