Mercurial > urweb
annotate lib/ur/char.ur @ 1576:f6c74b4bc4e6
Change error message display order: only show disjointness/type class failures if all record unifications succeeded
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 15 Oct 2011 10:31:30 -0400 |
| parents | e1cf925e2074 |
| children |
| rev | line source |
|---|---|
| adamc@1061 | 1 type t = char |
| adamc@1061 | 2 |
| adamc@1061 | 3 val isAlnum = Basis.isalnum |
| adamc@1061 | 4 val isAlpha = Basis.isalpha |
| adamc@1061 | 5 val isBlank = Basis.isblank |
| adamc@1061 | 6 val isCntrl = Basis.iscntrl |
| adamc@1061 | 7 val isDigit = Basis.isdigit |
| adamc@1061 | 8 val isGraph = Basis.isgraph |
| adamc@1061 | 9 val isLower = Basis.islower |
| adamc@1061 | 10 val isPrint = Basis.isprint |
| adamc@1061 | 11 val isPunct = Basis.ispunct |
| adamc@1061 | 12 val isSpace = Basis.isspace |
| adamc@1061 | 13 val isUpper = Basis.isupper |
| adamc@1061 | 14 val isXdigit = Basis.isxdigit |
| adamc@1061 | 15 val toLower = Basis.tolower |
| adamc@1061 | 16 val toUpper = Basis.toupper |
| adamc@1128 | 17 |
| adamc@1128 | 18 val toInt = Basis.ord |
| adamc@1128 | 19 val fromInt = Basis.chr |