ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.IO.UTF8

Text IO using the UTF8 character encoding.

newtypenewtype ReadException

A kind of exception that can be thrown by readTextFile and readFile.

Instances2Show, Exception

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

If the file cannot be decoded, then a ReadException is raised.

valuereadFile :: FilePath -> IO String

Reads a UTF8-encoded text file and converts many character sequences which may be interpreted as line or paragraph separators into 'n'.

If the file cannot be decoded, then a ReadException is raised.

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

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

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

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