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.

Append an "s" to the second argument if the first has cardinality /= 1.

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

Remove leading whitespace.

Remove trailing whitespace.

Remove leading and trailing whitesapce.