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