[{"name":"DecimalChar","comment":" Provide functions to handle Unicode decimal characters, which are listed in [DerivedNumericType-15.0.0.txt](https://www.unicode.org/Public/15.0.0/ucd/extracted/DerivedNumericType.txt) as `Numeric_Type=Decimal`.\n\nYou can use this library to normalize user inputs, which will free users from the hassle of entering numbers in the \"correct\" format.\n\n@docs isDecimal\n@docs isBasicLatin\n@docs toBasicLatin\n@docs normalizeAsDigits\n@docs normalizeAsText\n\n","unions":[],"aliases":[],"values":[{"name":"isBasicLatin","comment":" Check if a character is the Basic Latin digit (i.e., between 0x0030 and 0x0039 in code points).\n\n    isBasicLatin '3'\n    --> True\n\n    isBasicLatin '３'\n    --> False\n\n","type":"Char.Char -> Basics.Bool"},{"name":"isDecimal","comment":" Check if a character is decimal (i.e., `Numeric_Type=Decimal`).\n\n    isDecimal '3'\n    --> True\n\n    isDecimal '３'\n    --> True\n\n    isDecimal '🐐'\n    --> False\n\n    -- Roman digit is numeric, but not decimal.\n    isDecimal 'Ⅵ'\n    --> False\n\n","type":"Char.Char -> Basics.Bool"},{"name":"normalizeAsDigits","comment":" Extract only the decimal characters contained in a given string, and convert them to the corresponding Basic Latin characters.\n\n    normalizeAsDigits \"０１２３🐐４５٩🌱\"\n    --> \"0123459\"\n\n","type":"String.String -> String.String"},{"name":"normalizeAsText","comment":" Similar to `normalizeAsDigits`, but `normalizeAsText` leaves non-decimal characters as they are.\n\n    normalizeAsText \"０１２３🐐４５٩🌱\"\n    --> \"0123🐐459🌱\"\n\n","type":"String.String -> String.String"},{"name":"toBasicLatin","comment":" Convert a character to the corresponding Basic Latin digit character.\n\nIf the character is not decimal, it returns `Nothing`.\n\n    toBasicLatin '３'\n    --> Just '3'\n\n    -- Arabic numeral representing '9'\n    toBasicLatin '٩'\n    --> Just '9'\n\n    toBasicLatin '🐐'\n    --> Nothing\n\n","type":"Char.Char -> Maybe.Maybe Char.Char"}],"binops":[]}]