Agda.Utils.Char

decDigit

hexDigit

octDigit