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