Agda.Utils.String
quote
showIndex
addFinalNewLine
indent
data
Str
showThousandSep
ltrim
rtrim
trim