Agda-2.2.10: 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 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.