annotate lib/ur/char.ur @ 1164:8679ba87cf3c

sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -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