Agda.Utils.String

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

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

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

Turns the string into a Haskell string literal, avoiding escape codes.

Adds hyphens around the given string

>>> putStrLn $ delimiter "Title"———— Title —————————————————————————————————————————————————

Adds a final newline if there is not already one.

Indents every line the given number of steps.

unwords, but remove empty words first.

Show a number using comma to separate powers of 1,000.

Remove leading whitespace.

Remove trailing whitespace.

Remove leading and trailing whitesapce.