Agda-2.2.4: A dependently typed functional programming language and proof assistant Source code Contents Index

Agda.Utils.IO

Synopsis

readBinaryFile' :: FilePath -> IO (ByteString, IO ()) readTextFile :: FilePath -> IO String module System.IO.UTF8

Documentation

readBinaryFile' :: FilePath -> IO (ByteString, IO ()) Source

Returns a close function for the file together with the contents.

readTextFile :: FilePath -> IO String Source

Reads a UTF8-encoded file in binary mode and converts all Unicode line endings into '\n'.

module System.IO.UTF8

Produced by Haddock version 2.4.2