Mercurial > urweb
annotate lib/ur/char.urs @ 2276:c05f9a5e0f0f
Progress on free paths, but consolidation seems to fail more with them.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Mon, 09 Nov 2015 13:37:31 -0500 |
| parents | e1cf925e2074 |
| children |
| rev | line source |
|---|---|
| adamc@1061 | 1 type t = char |
| adamc@1061 | 2 |
| adamc@1061 | 3 val isAlnum : t -> bool |
| adamc@1061 | 4 val isAlpha : t -> bool |
| adamc@1061 | 5 val isBlank : t -> bool |
| adamc@1061 | 6 val isCntrl : t -> bool |
| adamc@1061 | 7 val isDigit : t -> bool |
| adamc@1061 | 8 val isGraph : t -> bool |
| adamc@1061 | 9 val isLower : t -> bool |
| adamc@1061 | 10 val isPrint : t -> bool |
| adamc@1061 | 11 val isPunct : t -> bool |
| adamc@1061 | 12 val isSpace : t -> bool |
| adamc@1061 | 13 val isUpper : t -> bool |
| adamc@1061 | 14 val isXdigit : t -> bool |
| adamc@1061 | 15 val toLower : t -> t |
| adamc@1061 | 16 val toUpper : t -> t |
| adamc@1128 | 17 |
| adamc@1128 | 18 val toInt : t -> int |
| adamc@1128 | 19 val fromInt : int -> t |