| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.IO.UTF8
Description
Text IO using the UTF8 character encoding.
Documentation
data ReadException Source #
A kind of exception that can be thrown by readTextFile and
readFile.
Instances
| Exception ReadException Source # | |
Defined in Agda.Utils.IO.UTF8 Methods toException :: ReadException -> SomeException # fromException :: SomeException -> Maybe ReadException # displayException :: ReadException -> String # | |
| Show ReadException Source # | |
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.