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




quote :: String -> StringSource

quote adds double quotes around the string, and escapes double quotes and backslashes within the string. This is different from the behaviour of show:

 > putStrLn $ show "\x2200"
 > putStrLn $ quote "\x2200"

(The code examples above have been tested using version of the base library.)

showIndex :: Integral i => i -> StringSource

Shows a non-negative integer using the characters - instead of 0-9.

addFinalNewLine :: String -> StringSource

Adds a final newline if there is not already one.

indent :: Integral i => i -> String -> StringSource

Indents every line the given number of steps.