Safe Haskell | Safe-Inferred |
---|
Agda.Utils.IO.UTF8
Description
Text IO using the UTF8 character encoding.
Documentation
readTextFile :: FilePath -> IO StringSource
Reads a UTF8-encoded text file and converts all Unicode line endings into '\n'.
Agda-2.3.2.1: A dependently typed functional programming language and proof assistant
Safe Haskell | Safe-Inferred |
---|
Agda.Utils.IO.UTF8
Description
Text IO using the UTF8 character encoding.
readTextFile :: FilePath -> IO StringSource
Reads a UTF8-encoded text file and converts all Unicode line endings into '\n'.