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

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 String | Source

Returns the stream represented by the handle lazily.
Produced by Haddock version 2.4.2