Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.IO.UTF8

Description

Text IO using the UTF8 character encoding.

Synopsis

Documentation

data ReadException Source #

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

Instances

Instances details
Exception ReadException Source # 
Instance details

Defined in Agda.Utils.IO.UTF8

Methods

toException :: ReadException -> SomeException

fromException :: SomeException -> Maybe ReadException

displayException :: ReadException -> String

backtraceDesired :: ReadException -> Bool

Show ReadException Source # 
Instance details

Defined in Agda.Utils.IO.UTF8

Methods

showsPrec :: Int -> ReadException -> ShowS

show :: ReadException -> String

showList :: [ReadException] -> ShowS

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

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

readFile :: FilePath -> IO String Source #

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.

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.