Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.IO.UTF8
Description
Text IO using the UTF8 character encoding.
Synopsis
- readTextFile :: FilePath -> IO Text
- 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'.
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.