Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.Utils.IO.Locale

Description

IO functions which are used when reading from standard input and writing to standard output. Uses the UTF-8 character encoding under versions of the base library up to 4.1, and whatever the locale specifies under base 4.2 (and later?; only if the locale is supported, see System.IO).

Note that hSetEncoding can be used to change the behaviour of the functions below if base 4.2 (or later?) is used.

Synopsis

Documentation

print :: Show a => a -> IO ()

Prints the value.

putStr :: String -> IO ()

Prints the string.

putStrLn :: String -> IO ()

Prints the string with an appended newline.

hGetContents :: Handle -> IO String

Returns the stream represented by the handle lazily.