String toPersian(String input) => input.replaceAllMapped(_asciiDigits, (Match m) => "۰۱۲۳۴۵۶۷۸۹"[int.parse(m.group(0)!)]);