annotate lib/ur/char.ur @ 1332:4dd5d23bace2

minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
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