Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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 stdin and hSetEncoding stdout can be used to change the behaviour of the functions below if base 4.2 (or later?) is used.

Synopsis
print :: Show a => a -> IO ()
putStr :: String -> IO ()
putStrLn :: String -> IO ()
hGetContents :: Handle -> IO String
Documentation
print :: Show a => a -> IO ()Source
Prints the value.
putStr :: String -> IO ()Source
Prints the string.
putStrLn :: String -> IO ()Source
Prints the string with an appended newline.
hGetContents :: Handle -> IO StringSource
Returns the stream represented by the handle lazily.
Produced by Haddock version 2.6.0