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

Safe Haskell | Safe-Infered

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

- print :: Show a => a -> IO ()
- putStr :: String -> IO ()
- putStrLn :: String -> IO ()
- stdoutFlush :: IO ()
- hGetContents :: Handle -> IO String

# 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.

stdoutFlush :: IO ()

hGetContents :: Handle -> IO String

Returns the stream represented by the handle lazily.