Mercurial > urweb
annotate lib/ur/char.ur @ 1114:01b6c7144a44
Deadlines
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Jan 2010 15:58:34 -0500 |
parents | e8a35d710ab9 |
children | e1cf925e2074 |
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 |