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



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.



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.